diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-03-08 23:27:03 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-09 07:27:03 +0000 |
commit | b302cb1f92aae1c0954c86065469e5c2b7206e74 (patch) | |
tree | f2b4cad1effdfe8041f00f23b6fe255b0c4004bb /src/theory/bags | |
parent | 86ce1c18f8ea7a397a8b12405a196b126e82b648 (diff) |
Update copyright headers to 2021. (#6081)
Diffstat (limited to 'src/theory/bags')
27 files changed, 34 insertions, 34 deletions
diff --git a/src/theory/bags/bag_solver.cpp b/src/theory/bags/bag_solver.cpp index c39e0198b..869b229ea 100644 --- a/src/theory/bags/bag_solver.cpp +++ b/src/theory/bags/bag_solver.cpp @@ -2,9 +2,9 @@ /*! \file bag_solver.cpp ** \verbatim ** Top contributors (to current version): - ** Mudathir Mohamed + ** Mudathir Mohamed, Andrew Reynolds ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/src/theory/bags/bag_solver.h b/src/theory/bags/bag_solver.h index b19e1f11e..e524f7422 100644 --- a/src/theory/bags/bag_solver.h +++ b/src/theory/bags/bag_solver.h @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Mudathir Mohamed ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/src/theory/bags/bags_rewriter.cpp b/src/theory/bags/bags_rewriter.cpp index 9f53c29ca..314a0498d 100644 --- a/src/theory/bags/bags_rewriter.cpp +++ b/src/theory/bags/bags_rewriter.cpp @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Mudathir Mohamed ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/src/theory/bags/bags_rewriter.h b/src/theory/bags/bags_rewriter.h index d9f736c4f..3718aedb7 100644 --- a/src/theory/bags/bags_rewriter.h +++ b/src/theory/bags/bags_rewriter.h @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Mudathir Mohamed ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/src/theory/bags/bags_statistics.cpp b/src/theory/bags/bags_statistics.cpp index ea3d3046e..8ec686d87 100644 --- a/src/theory/bags/bags_statistics.cpp +++ b/src/theory/bags/bags_statistics.cpp @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Mudathir Mohamed ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/src/theory/bags/bags_statistics.h b/src/theory/bags/bags_statistics.h index 457e3a32e..caf4070ec 100644 --- a/src/theory/bags/bags_statistics.h +++ b/src/theory/bags/bags_statistics.h @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Mudathir Mohamed ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/src/theory/bags/infer_info.cpp b/src/theory/bags/infer_info.cpp index 969c6b3de..d7638c89c 100644 --- a/src/theory/bags/infer_info.cpp +++ b/src/theory/bags/infer_info.cpp @@ -2,9 +2,9 @@ /*! \file infer_info.cpp ** \verbatim ** Top contributors (to current version): - ** Mudathir Mohamed + ** Mudathir Mohamed, Andrew Reynolds, Gereon Kremer ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/src/theory/bags/infer_info.h b/src/theory/bags/infer_info.h index a533acf58..c76f74c0c 100644 --- a/src/theory/bags/infer_info.h +++ b/src/theory/bags/infer_info.h @@ -2,9 +2,9 @@ /*! \file infer_info.h ** \verbatim ** Top contributors (to current version): - ** Mudathir Mohamed + ** Mudathir Mohamed, Andrew Reynolds, Gereon Kremer ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/src/theory/bags/inference_generator.cpp b/src/theory/bags/inference_generator.cpp index bc1ed771c..c61075f51 100644 --- a/src/theory/bags/inference_generator.cpp +++ b/src/theory/bags/inference_generator.cpp @@ -2,9 +2,9 @@ /*! \file inference_generator.cpp ** \verbatim ** Top contributors (to current version): - ** Mudathir Mohamed + ** Mudathir Mohamed, Andrew Reynolds, Gereon Kremer ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/src/theory/bags/inference_generator.h b/src/theory/bags/inference_generator.h index f10a1051f..d6fc184c7 100644 --- a/src/theory/bags/inference_generator.h +++ b/src/theory/bags/inference_generator.h @@ -2,9 +2,9 @@ /*! \file inference_generator.h ** \verbatim ** Top contributors (to current version): - ** Mudathir Mohamed + ** Mudathir Mohamed, Andrew Reynolds ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/src/theory/bags/inference_manager.cpp b/src/theory/bags/inference_manager.cpp index 827be4c7f..44a18bcc4 100644 --- a/src/theory/bags/inference_manager.cpp +++ b/src/theory/bags/inference_manager.cpp @@ -2,9 +2,9 @@ /*! \file inference_manager.cpp ** \verbatim ** Top contributors (to current version): - ** Mudathir Mohamed, Morgan Deters, Dejan Jovanovic + ** Mudathir Mohamed, Morgan Deters, Gereon Kremer ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/src/theory/bags/inference_manager.h b/src/theory/bags/inference_manager.h index 1b132fc37..8b0fe0590 100644 --- a/src/theory/bags/inference_manager.h +++ b/src/theory/bags/inference_manager.h @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Mudathir Mohamed ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/src/theory/bags/make_bag_op.cpp b/src/theory/bags/make_bag_op.cpp index ac3d8942a..92cf49203 100644 --- a/src/theory/bags/make_bag_op.cpp +++ b/src/theory/bags/make_bag_op.cpp @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Mudathir Mohamed ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/src/theory/bags/make_bag_op.h b/src/theory/bags/make_bag_op.h index 36bd3f5df..3021c5a53 100644 --- a/src/theory/bags/make_bag_op.h +++ b/src/theory/bags/make_bag_op.h @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Mudathir Mohamed ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/src/theory/bags/normal_form.cpp b/src/theory/bags/normal_form.cpp index 2a5c09125..ad723d293 100644 --- a/src/theory/bags/normal_form.cpp +++ b/src/theory/bags/normal_form.cpp @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Mudathir Mohamed ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/src/theory/bags/normal_form.h b/src/theory/bags/normal_form.h index acb13bb44..a779d3321 100644 --- a/src/theory/bags/normal_form.h +++ b/src/theory/bags/normal_form.h @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Mudathir Mohamed ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/src/theory/bags/rewrites.cpp b/src/theory/bags/rewrites.cpp index 85d0820af..ab2ca2901 100644 --- a/src/theory/bags/rewrites.cpp +++ b/src/theory/bags/rewrites.cpp @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Mudathir Mohamed ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/src/theory/bags/rewrites.h b/src/theory/bags/rewrites.h index 5574aa080..5d0b8a087 100644 --- a/src/theory/bags/rewrites.h +++ b/src/theory/bags/rewrites.h @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Mudathir Mohamed ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/src/theory/bags/solver_state.cpp b/src/theory/bags/solver_state.cpp index adca85068..4fead8ab7 100644 --- a/src/theory/bags/solver_state.cpp +++ b/src/theory/bags/solver_state.cpp @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Mudathir Mohamed, Morgan Deters, Dejan Jovanovic ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/src/theory/bags/solver_state.h b/src/theory/bags/solver_state.h index 7670e5dec..93f1af11d 100644 --- a/src/theory/bags/solver_state.h +++ b/src/theory/bags/solver_state.h @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Mudathir Mohamed ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/src/theory/bags/term_registry.cpp b/src/theory/bags/term_registry.cpp index c413a7f90..38c494219 100644 --- a/src/theory/bags/term_registry.cpp +++ b/src/theory/bags/term_registry.cpp @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Mudathir Mohamed, Morgan Deters, Dejan Jovanovic ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/src/theory/bags/term_registry.h b/src/theory/bags/term_registry.h index abf6f180c..fcd822e16 100644 --- a/src/theory/bags/term_registry.h +++ b/src/theory/bags/term_registry.h @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Mudathir Mohamed ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/src/theory/bags/theory_bags.cpp b/src/theory/bags/theory_bags.cpp index 48fc38b8f..253fe2b7f 100644 --- a/src/theory/bags/theory_bags.cpp +++ b/src/theory/bags/theory_bags.cpp @@ -2,9 +2,9 @@ /*! \file theory_bags.cpp ** \verbatim ** Top contributors (to current version): - ** Mudathir Mohamed + ** Mudathir Mohamed, Andrew Reynolds ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/src/theory/bags/theory_bags.h b/src/theory/bags/theory_bags.h index aeae3810e..3839629d4 100644 --- a/src/theory/bags/theory_bags.h +++ b/src/theory/bags/theory_bags.h @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Mudathir Mohamed ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/src/theory/bags/theory_bags_type_enumerator.cpp b/src/theory/bags/theory_bags_type_enumerator.cpp index a1a1d13c2..d9284b862 100644 --- a/src/theory/bags/theory_bags_type_enumerator.cpp +++ b/src/theory/bags/theory_bags_type_enumerator.cpp @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Mudathir Mohamed ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/src/theory/bags/theory_bags_type_enumerator.h b/src/theory/bags/theory_bags_type_enumerator.h index dda87c85e..aa59a72e6 100644 --- a/src/theory/bags/theory_bags_type_enumerator.h +++ b/src/theory/bags/theory_bags_type_enumerator.h @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Mudathir Mohamed ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/src/theory/bags/theory_bags_type_rules.h b/src/theory/bags/theory_bags_type_rules.h index dd8c75328..f55cfcc88 100644 --- a/src/theory/bags/theory_bags_type_rules.h +++ b/src/theory/bags/theory_bags_type_rules.h @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Mudathir Mohamed ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim |