diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2020-12-02 19:55:00 -0800 |
---|---|---|
committer | Aina Niemetz <aina.niemetz@gmail.com> | 2020-12-02 19:55:00 -0800 |
commit | 92e9feab5f417fbbd3ac07d47fe9b6b49f5c4168 (patch) | |
tree | c7c533d12e91b68d350d5dcc5e77441a831f69a9 /src/smt | |
parent | 3a8e2f4e52f4debfb8eb6fb9c49934a66d742ec9 (diff) |
Update copyright headers.
Diffstat (limited to 'src/smt')
27 files changed, 30 insertions, 30 deletions
diff --git a/src/smt/check_models.cpp b/src/smt/check_models.cpp index 56d54eec9..a41c750ec 100644 --- a/src/smt/check_models.cpp +++ b/src/smt/check_models.cpp @@ -2,7 +2,7 @@ /*! \file check_models.cpp ** \verbatim ** Top contributors (to current version): - ** Andrew Reynolds + ** Andrew Reynolds, Morgan Deters, Yoni Zohar ** This file is part of the CVC4 project. ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. diff --git a/src/smt/command.cpp b/src/smt/command.cpp index 14b9ed0aa..d02c1631e 100644 --- a/src/smt/command.cpp +++ b/src/smt/command.cpp @@ -2,7 +2,7 @@ /*! \file command.cpp ** \verbatim ** Top contributors (to current version): - ** Tim King, Morgan Deters, Andrew Reynolds + ** Tim King, Abdalrhman Mohamed, Morgan Deters ** This file is part of the CVC4 project. ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. diff --git a/src/smt/command.h b/src/smt/command.h index bfe5e737a..399050d94 100644 --- a/src/smt/command.h +++ b/src/smt/command.h @@ -2,7 +2,7 @@ /*! \file command.h ** \verbatim ** Top contributors (to current version): - ** Tim King, Morgan Deters, Abdalrhman Mohamed + ** Abdalrhman Mohamed, Tim King, Morgan Deters ** This file is part of the CVC4 project. ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. diff --git a/src/smt/dump_manager.cpp b/src/smt/dump_manager.cpp index 51fcf8b5b..706c2e886 100644 --- a/src/smt/dump_manager.cpp +++ b/src/smt/dump_manager.cpp @@ -2,7 +2,7 @@ /*! \file dump_manager.cpp ** \verbatim ** Top contributors (to current version): - ** Andrew Reynolds, Morgan Deters, Abdalrhman Mohamed + ** Andrew Reynolds, Gereon Kremer, Abdalrhman Mohamed ** This file is part of the CVC4 project. ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. diff --git a/src/smt/dump_manager.h b/src/smt/dump_manager.h index eaedf39a1..3238d3a8d 100644 --- a/src/smt/dump_manager.h +++ b/src/smt/dump_manager.h @@ -2,7 +2,7 @@ /*! \file dump_manager.h ** \verbatim ** Top contributors (to current version): - ** Andrew Reynolds, Morgan Deters, Abdalrhman Mohamed + ** Andrew Reynolds, Morgan Deters, Aina Niemetz ** This file is part of the CVC4 project. ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. diff --git a/src/smt/expand_definitions.cpp b/src/smt/expand_definitions.cpp index b0460fcc5..4f49e1bbe 100644 --- a/src/smt/expand_definitions.cpp +++ b/src/smt/expand_definitions.cpp @@ -2,7 +2,7 @@ /*! \file expand_definitions.cpp ** \verbatim ** Top contributors (to current version): - ** Andrew Reynolds, Tim King, Haniel Barbosa + ** Andrew Reynolds, Morgan Deters, Andres Noetzli ** This file is part of the CVC4 project. ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. diff --git a/src/smt/expand_definitions.h b/src/smt/expand_definitions.h index 5b75ddadd..486aa0c3a 100644 --- a/src/smt/expand_definitions.h +++ b/src/smt/expand_definitions.h @@ -1,8 +1,8 @@ /********************* */ -/*! \file process_assertions.h +/*! \file expand_definitions.h ** \verbatim ** Top contributors (to current version): - ** Andrew Reynolds, Tim King, Morgan Deters + ** Andrew Reynolds ** This file is part of the CVC4 project. ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. diff --git a/src/smt/interpolation_solver.cpp b/src/smt/interpolation_solver.cpp index c47d99951..09ddfde75 100644 --- a/src/smt/interpolation_solver.cpp +++ b/src/smt/interpolation_solver.cpp @@ -2,10 +2,10 @@ /*! \file interpolation_solver.cpp ** \verbatim ** Top contributors (to current version): - ** Ying Sheng + ** Ying Sheng, Andrew Reynolds, Abdalrhman Mohamed ** This file is part of the CVC4 project. ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS - ** in the top-level source directory) and their institutional affiliations. + ** 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/smt/interpolation_solver.h b/src/smt/interpolation_solver.h index 096cf8983..c52614f74 100644 --- a/src/smt/interpolation_solver.h +++ b/src/smt/interpolation_solver.h @@ -2,10 +2,10 @@ /*! \file interpolation_solver.h ** \verbatim ** Top contributors (to current version): - ** Ying Sheng + ** Ying Sheng, Andrew Reynolds, Morgan Deters ** This file is part of the CVC4 project. ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS - ** in the top-level source directory) and their institutional affiliations. + ** 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/smt/listeners.h b/src/smt/listeners.h index 150ee7ba8..ce174e872 100644 --- a/src/smt/listeners.h +++ b/src/smt/listeners.h @@ -2,7 +2,7 @@ /*! \file listeners.h ** \verbatim ** Top contributors (to current version): - ** Andrew Reynolds, Mathias Preiner + ** Andrew Reynolds, Abdalrhman Mohamed, Mathias Preiner ** This file is part of the CVC4 project. ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. diff --git a/src/smt/managed_ostreams.cpp b/src/smt/managed_ostreams.cpp index 27a90cb56..6056dd3d9 100644 --- a/src/smt/managed_ostreams.cpp +++ b/src/smt/managed_ostreams.cpp @@ -2,7 +2,7 @@ /*! \file managed_ostreams.cpp ** \verbatim ** Top contributors (to current version): - ** Tim King + ** Tim King, Aina Niemetz ** This file is part of the CVC4 project. ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. diff --git a/src/smt/model.cpp b/src/smt/model.cpp index ccf73dda0..557f9959f 100644 --- a/src/smt/model.cpp +++ b/src/smt/model.cpp @@ -2,7 +2,7 @@ /*! \file model.cpp ** \verbatim ** Top contributors (to current version): - ** Morgan Deters, Andrew Reynolds, Tim King + ** Andrew Reynolds, Morgan Deters, Tim King ** This file is part of the CVC4 project. ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. diff --git a/src/smt/model_core_builder.cpp b/src/smt/model_core_builder.cpp index cb8494e85..c2d92d394 100644 --- a/src/smt/model_core_builder.cpp +++ b/src/smt/model_core_builder.cpp @@ -2,7 +2,7 @@ /*! \file model_core_builder.cpp ** \verbatim ** Top contributors (to current version): - ** Andrew Reynolds, Mathias Preiner, Haniel Barbosa + ** Andrew Reynolds, Mathias Preiner ** This file is part of the CVC4 project. ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. diff --git a/src/smt/node_command.cpp b/src/smt/node_command.cpp index 815f99132..33b5d9953 100644 --- a/src/smt/node_command.cpp +++ b/src/smt/node_command.cpp @@ -2,7 +2,7 @@ /*! \file node_command.cpp ** \verbatim ** Top contributors (to current version): - ** Abdalrhman Mohamed + ** Abdalrhman Mohamed, Yoni Zohar, Andrew Reynolds ** This file is part of the CVC4 project. ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. diff --git a/src/smt/options_manager.cpp b/src/smt/options_manager.cpp index e028068ee..f449e79cb 100644 --- a/src/smt/options_manager.cpp +++ b/src/smt/options_manager.cpp @@ -2,7 +2,7 @@ /*! \file options_manager.cpp ** \verbatim ** Top contributors (to current version): - ** Andrew Reynolds + ** Andrew Reynolds, Aina Niemetz ** This file is part of the CVC4 project. ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. diff --git a/src/smt/preprocess_proof_generator.cpp b/src/smt/preprocess_proof_generator.cpp index bab56a0d2..cb2887ec0 100644 --- a/src/smt/preprocess_proof_generator.cpp +++ b/src/smt/preprocess_proof_generator.cpp @@ -2,7 +2,7 @@ /*! \file preprocess_proof_generator.cpp ** \verbatim ** Top contributors (to current version): - ** Andrew Reynolds + ** Andrew Reynolds, Gereon Kremer ** This file is part of the CVC4 project. ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. diff --git a/src/smt/preprocess_proof_generator.h b/src/smt/preprocess_proof_generator.h index 41add5583..01d9c89da 100644 --- a/src/smt/preprocess_proof_generator.h +++ b/src/smt/preprocess_proof_generator.h @@ -2,7 +2,7 @@ /*! \file preprocess_proof_generator.h ** \verbatim ** Top contributors (to current version): - ** Andrew Reynolds + ** Andrew Reynolds, Gereon Kremer ** This file is part of the CVC4 project. ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. diff --git a/src/smt/preprocessor.cpp b/src/smt/preprocessor.cpp index 9f2c8f3e7..c2b8f73f1 100644 --- a/src/smt/preprocessor.cpp +++ b/src/smt/preprocessor.cpp @@ -2,7 +2,7 @@ /*! \file preprocessor.cpp ** \verbatim ** Top contributors (to current version): - ** Andrew Reynolds, Morgan Deters, Aina Niemetz + ** Andrew Reynolds, Morgan Deters, Abdalrhman Mohamed ** This file is part of the CVC4 project. ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. diff --git a/src/smt/process_assertions.cpp b/src/smt/process_assertions.cpp index c68b73336..fe3dbc62b 100644 --- a/src/smt/process_assertions.cpp +++ b/src/smt/process_assertions.cpp @@ -2,7 +2,7 @@ /*! \file process_assertions.cpp ** \verbatim ** Top contributors (to current version): - ** Andrew Reynolds, Tim King, Haniel Barbosa + ** Andrew Reynolds, Yoni Zohar, Mathias Preiner ** This file is part of the CVC4 project. ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. diff --git a/src/smt/proof_post_processor.cpp b/src/smt/proof_post_processor.cpp index 53608fa0a..049eb02c0 100644 --- a/src/smt/proof_post_processor.cpp +++ b/src/smt/proof_post_processor.cpp @@ -2,7 +2,7 @@ /*! \file proof_post_processor.cpp ** \verbatim ** Top contributors (to current version): - ** Andrew Reynolds + ** Andrew Reynolds, Haniel Barbosa ** This file is part of the CVC4 project. ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. diff --git a/src/smt/proof_post_processor.h b/src/smt/proof_post_processor.h index 3c0d4fbaa..885608b38 100644 --- a/src/smt/proof_post_processor.h +++ b/src/smt/proof_post_processor.h @@ -2,7 +2,7 @@ /*! \file proof_post_processor.h ** \verbatim ** Top contributors (to current version): - ** Andrew Reynolds + ** Andrew Reynolds, Haniel Barbosa ** This file is part of the CVC4 project. ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. diff --git a/src/smt/set_defaults.cpp b/src/smt/set_defaults.cpp index aaff29479..7e6bed464 100644 --- a/src/smt/set_defaults.cpp +++ b/src/smt/set_defaults.cpp @@ -2,7 +2,7 @@ /*! \file set_defaults.cpp ** \verbatim ** Top contributors (to current version): - ** Andrew Reynolds, Andres Noetzli, Haniel Barbosa + ** Andrew Reynolds, Andres Noetzli, Gereon Kremer ** This file is part of the CVC4 project. ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. diff --git a/src/smt/smt_engine_state.cpp b/src/smt/smt_engine_state.cpp index dada78d9a..e51d17c44 100644 --- a/src/smt/smt_engine_state.cpp +++ b/src/smt/smt_engine_state.cpp @@ -2,7 +2,7 @@ /*! \file smt_engine_state.cpp ** \verbatim ** Top contributors (to current version): - ** Andrew Reynolds, Morgan Deters, Aina Niemetz + ** Andrew Reynolds, Morgan Deters, Ying Sheng ** This file is part of the CVC4 project. ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. diff --git a/src/smt/smt_engine_state.h b/src/smt/smt_engine_state.h index f033be031..b085c26a3 100644 --- a/src/smt/smt_engine_state.h +++ b/src/smt/smt_engine_state.h @@ -2,7 +2,7 @@ /*! \file smt_engine_state.h ** \verbatim ** Top contributors (to current version): - ** Andrew Reynolds, Aina Niemetz, Morgan Deters + ** Andrew Reynolds, Ying Sheng, Aina Niemetz ** This file is part of the CVC4 project. ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. diff --git a/src/smt/sygus_solver.cpp b/src/smt/sygus_solver.cpp index 0b40bf894..42dbcd43e 100644 --- a/src/smt/sygus_solver.cpp +++ b/src/smt/sygus_solver.cpp @@ -2,7 +2,7 @@ /*! \file sygus_solver.cpp ** \verbatim ** Top contributors (to current version): - ** Andrew Reynolds, Haniel Barbosa, Andres Noetzli + ** Andrew Reynolds, Haniel Barbosa, Abdalrhman Mohamed ** This file is part of the CVC4 project. ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. diff --git a/src/smt/sygus_solver.h b/src/smt/sygus_solver.h index b523ff5b7..c9de7b7e9 100644 --- a/src/smt/sygus_solver.h +++ b/src/smt/sygus_solver.h @@ -2,7 +2,7 @@ /*! \file sygus_solver.h ** \verbatim ** Top contributors (to current version): - ** Andrew Reynolds, Haniel Barbosa, Morgan Deters + ** Andrew Reynolds, Haniel Barbosa, Abdalrhman Mohamed ** This file is part of the CVC4 project. ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. diff --git a/src/smt/update_ostream.h b/src/smt/update_ostream.h index fd33beec7..98aaead88 100644 --- a/src/smt/update_ostream.h +++ b/src/smt/update_ostream.h @@ -2,7 +2,7 @@ /*! \file update_ostream.h ** \verbatim ** Top contributors (to current version): - ** Tim King, Mathias Preiner + ** Tim King, Mathias Preiner, Aina Niemetz ** This file is part of the CVC4 project. ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. |