From: Mathias Preiner Date: Tue, 5 Apr 2022 20:38:57 +0000 (-0700) Subject: Update copyright headers for release 1.0 (#8539) X-Git-Tag: cvc5-1.0.0~2 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d01e59c13b7337e68806be72145b3e45e4cad89c;p=cvc5.git Update copyright headers for release 1.0 (#8539) --- diff --git a/CMakeLists.txt b/CMakeLists.txt index 56e83b1c8..83bd70992 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -4,7 +4,7 @@ # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/cmake/CMakeGraphVizOptions.cmake.in b/cmake/CMakeGraphVizOptions.cmake.in index d3be598b3..4ca946e11 100644 --- a/cmake/CMakeGraphVizOptions.cmake.in +++ b/cmake/CMakeGraphVizOptions.cmake.in @@ -4,7 +4,7 @@ # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/cmake/ConfigCompetition.cmake b/cmake/ConfigCompetition.cmake index 8ce9296ec..a152a87c0 100644 --- a/cmake/ConfigCompetition.cmake +++ b/cmake/ConfigCompetition.cmake @@ -1,10 +1,10 @@ ############################################################################### # Top contributors (to current version): -# Aina Niemetz, Andres Noetzli, Mathias Preiner +# Mathias Preiner, Aina Niemetz, Andres Noetzli # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/cmake/ConfigDebug.cmake b/cmake/ConfigDebug.cmake index 39ec7e77f..87a872bf3 100644 --- a/cmake/ConfigDebug.cmake +++ b/cmake/ConfigDebug.cmake @@ -1,10 +1,10 @@ ############################################################################### # Top contributors (to current version): -# Aina Niemetz, Mathias Preiner +# Mathias Preiner, Aina Niemetz # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/cmake/ConfigProduction.cmake b/cmake/ConfigProduction.cmake index 38cceea92..1176f2880 100644 --- a/cmake/ConfigProduction.cmake +++ b/cmake/ConfigProduction.cmake @@ -1,10 +1,10 @@ ############################################################################### # Top contributors (to current version): -# Aina Niemetz +# Aina Niemetz, Mathias Preiner # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/cmake/ConfigTesting.cmake b/cmake/ConfigTesting.cmake index 623c1a9da..9af2fb5d0 100644 --- a/cmake/ConfigTesting.cmake +++ b/cmake/ConfigTesting.cmake @@ -4,7 +4,7 @@ # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/cmake/ConfigureCvc5.cmake b/cmake/ConfigureCvc5.cmake index 7de13f046..d36d6ee77 100644 --- a/cmake/ConfigureCvc5.cmake +++ b/cmake/ConfigureCvc5.cmake @@ -1,10 +1,10 @@ ############################################################################### # Top contributors (to current version): -# Mathias Preiner, Gereon Kremer, Makai Mann +# Mathias Preiner, Gereon Kremer, Aina Niemetz # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/cmake/FindANTLR3.cmake b/cmake/FindANTLR3.cmake index a1812e695..f91286a69 100644 --- a/cmake/FindANTLR3.cmake +++ b/cmake/FindANTLR3.cmake @@ -1,10 +1,10 @@ ############################################################################### # Top contributors (to current version): -# Gereon Kremer, Andrew V. Jones +# Gereon Kremer, Andres Noetzli, Mathias Preiner # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/cmake/FindCLN.cmake b/cmake/FindCLN.cmake index 8b6a7f865..f9cd66419 100644 --- a/cmake/FindCLN.cmake +++ b/cmake/FindCLN.cmake @@ -1,10 +1,10 @@ ############################################################################### # Top contributors (to current version): -# Gereon Kremer, Mathias Preiner +# Gereon Kremer, Mathias Preiner, Andrew V. Jones # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/cmake/FindCVC5PythonicAPI.cmake b/cmake/FindCVC5PythonicAPI.cmake index 43d6254c8..7d2dfb58c 100644 --- a/cmake/FindCVC5PythonicAPI.cmake +++ b/cmake/FindCVC5PythonicAPI.cmake @@ -1,10 +1,10 @@ ############################################################################### # Top contributors (to current version): -# Gereon Kremer, Aina Niemetz +# Gereon Kremer, Alex Ozdemir # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/cmake/FindCaDiCaL.cmake b/cmake/FindCaDiCaL.cmake index f0e0f5652..5e94a7ee0 100644 --- a/cmake/FindCaDiCaL.cmake +++ b/cmake/FindCaDiCaL.cmake @@ -1,10 +1,10 @@ ############################################################################### # Top contributors (to current version): -# Gereon Kremer, Mathias Preiner +# Gereon Kremer, Mathias Preiner, Andres Noetzli # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/cmake/FindCoCoA.cmake b/cmake/FindCoCoA.cmake index d84bf0f2c..c6232807a 100644 --- a/cmake/FindCoCoA.cmake +++ b/cmake/FindCoCoA.cmake @@ -1,10 +1,10 @@ ############################################################################### # Top contributors (to current version): -# Gereon Kremer +# Gereon Kremer, Andres Noetzli # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/cmake/FindCryptoMiniSat.cmake b/cmake/FindCryptoMiniSat.cmake index b88eaa33e..48c287d65 100644 --- a/cmake/FindCryptoMiniSat.cmake +++ b/cmake/FindCryptoMiniSat.cmake @@ -1,10 +1,10 @@ ############################################################################### # Top contributors (to current version): -# Gereon Kremer, Mathias Preiner +# Gereon Kremer, Mathias Preiner, Andrew V. Jones # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/cmake/FindDrat2Er.cmake b/cmake/FindDrat2Er.cmake index daa0ec6a5..353023e7a 100644 --- a/cmake/FindDrat2Er.cmake +++ b/cmake/FindDrat2Er.cmake @@ -4,7 +4,7 @@ # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/cmake/FindDummy.cmake.template b/cmake/FindDummy.cmake.template index a9d75bc9a..65177e9eb 100644 --- a/cmake/FindDummy.cmake.template +++ b/cmake/FindDummy.cmake.template @@ -4,7 +4,7 @@ # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/cmake/FindEditline.cmake b/cmake/FindEditline.cmake index 1038424a3..b884a9de4 100644 --- a/cmake/FindEditline.cmake +++ b/cmake/FindEditline.cmake @@ -1,10 +1,10 @@ ############################################################################### # Top contributors (to current version): -# Andrew V. Jones, Mathias Preiner +# Andrew V. Jones, Mathias Preiner, Gereon Kremer # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/cmake/FindGLPK.cmake b/cmake/FindGLPK.cmake index 7489a7ac3..fe8213225 100644 --- a/cmake/FindGLPK.cmake +++ b/cmake/FindGLPK.cmake @@ -4,7 +4,7 @@ # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/cmake/FindGMP.cmake b/cmake/FindGMP.cmake index b6db90054..c4ed3fc20 100644 --- a/cmake/FindGMP.cmake +++ b/cmake/FindGMP.cmake @@ -4,7 +4,7 @@ # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/cmake/FindGTest.cmake b/cmake/FindGTest.cmake index d36829784..b75e0f624 100644 --- a/cmake/FindGTest.cmake +++ b/cmake/FindGTest.cmake @@ -1,10 +1,10 @@ ############################################################################### # Top contributors (to current version): -# Gereon Kremer +# Gereon Kremer, Mathias Preiner # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/cmake/FindHamcrest.cmake b/cmake/FindHamcrest.cmake index a2ed92796..283633e38 100644 --- a/cmake/FindHamcrest.cmake +++ b/cmake/FindHamcrest.cmake @@ -4,7 +4,7 @@ # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/cmake/FindJUnit.cmake b/cmake/FindJUnit.cmake index 1532042a4..f88240600 100644 --- a/cmake/FindJUnit.cmake +++ b/cmake/FindJUnit.cmake @@ -1,10 +1,10 @@ ############################################################################### # Top contributors (to current version): -# Mathias Preiner, Mudathir Mohamed +# Mudathir Mohamed, Mathias Preiner # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/cmake/FindKissat.cmake b/cmake/FindKissat.cmake index e257d2b3d..ff355cbec 100644 --- a/cmake/FindKissat.cmake +++ b/cmake/FindKissat.cmake @@ -1,10 +1,10 @@ ############################################################################### # Top contributors (to current version): -# Gereon Kremer, Aina Niemetz +# Gereon Kremer, Mathias Preiner, Aina Niemetz # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/cmake/FindLFSC.cmake b/cmake/FindLFSC.cmake index cad90df45..757306a1e 100644 --- a/cmake/FindLFSC.cmake +++ b/cmake/FindLFSC.cmake @@ -4,7 +4,7 @@ # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/cmake/FindPoly.cmake b/cmake/FindPoly.cmake index 9c72afc23..01100f3a0 100644 --- a/cmake/FindPoly.cmake +++ b/cmake/FindPoly.cmake @@ -1,10 +1,10 @@ ############################################################################### # Top contributors (to current version): -# Gereon Kremer +# Gereon Kremer, Andres Noetzli, Mathias Preiner # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/cmake/FindSphinx.cmake b/cmake/FindSphinx.cmake index c0521eb44..cc22438e4 100644 --- a/cmake/FindSphinx.cmake +++ b/cmake/FindSphinx.cmake @@ -4,7 +4,7 @@ # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/cmake/FindSymFPU.cmake b/cmake/FindSymFPU.cmake index 65191156a..a633e2528 100644 --- a/cmake/FindSymFPU.cmake +++ b/cmake/FindSymFPU.cmake @@ -1,10 +1,10 @@ ############################################################################### # Top contributors (to current version): -# Gereon Kremer, Mathias Preiner +# Gereon Kremer, Mathias Preiner, Aina Niemetz # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/cmake/FindValgrind.cmake b/cmake/FindValgrind.cmake index 590509761..ae1439fa6 100644 --- a/cmake/FindValgrind.cmake +++ b/cmake/FindValgrind.cmake @@ -4,7 +4,7 @@ # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/cmake/Helpers.cmake b/cmake/Helpers.cmake index 465967f21..34487bbc6 100644 --- a/cmake/Helpers.cmake +++ b/cmake/Helpers.cmake @@ -1,10 +1,10 @@ ############################################################################### # Top contributors (to current version): -# Mathias Preiner, Aina Niemetz, Andres Noetzli +# Mathias Preiner, Aina Niemetz, Andrew V. Jones # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/cmake/IWYU.cmake b/cmake/IWYU.cmake index 5eb9271c9..9ff426940 100644 --- a/cmake/IWYU.cmake +++ b/cmake/IWYU.cmake @@ -4,7 +4,7 @@ # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/cmake/Toolchain-aarch64.cmake b/cmake/Toolchain-aarch64.cmake index 55012c6be..cec586246 100644 --- a/cmake/Toolchain-aarch64.cmake +++ b/cmake/Toolchain-aarch64.cmake @@ -1,10 +1,10 @@ ############################################################################### # Top contributors (to current version): -# Mathias Preiner +# Mathias Preiner, Andres Noetzli, Gereon Kremer # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/cmake/Toolchain-mingw64.cmake b/cmake/Toolchain-mingw64.cmake index c4c2473cf..6bd3443ff 100644 --- a/cmake/Toolchain-mingw64.cmake +++ b/cmake/Toolchain-mingw64.cmake @@ -1,10 +1,10 @@ ############################################################################### # Top contributors (to current version): -# Mathias Preiner, Gereon Kremer +# Mathias Preiner, Andres Noetzli # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/cmake/cvc5Config.cmake.in b/cmake/cvc5Config.cmake.in index 11217e087..10676b164 100644 --- a/cmake/cvc5Config.cmake.in +++ b/cmake/cvc5Config.cmake.in @@ -1,10 +1,10 @@ ############################################################################### # Top contributors (to current version): -# Mudathir Mohamed, Mathias Preiner, Andres Noetzli +# Mudathir Mohamed, Mathias Preiner, Aina Niemetz # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/cmake/deps-helper.cmake b/cmake/deps-helper.cmake index 9a92928b6..d9c554c22 100644 --- a/cmake/deps-helper.cmake +++ b/cmake/deps-helper.cmake @@ -1,10 +1,10 @@ ############################################################################### # Top contributors (to current version): -# Gereon Kremer +# Gereon Kremer, Mathias Preiner, Andrew V. Jones # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/cmake/fuzzing-murxla.cmake b/cmake/fuzzing-murxla.cmake index 7f3919f3e..061e07e2f 100644 --- a/cmake/fuzzing-murxla.cmake +++ b/cmake/fuzzing-murxla.cmake @@ -1,10 +1,10 @@ ############################################################################### # Top contributors (to current version): -# Gereon Kremer +# Gereon Kremer, Mathias Preiner # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/cmake/target-graphs.cmake b/cmake/target-graphs.cmake index ad1023cd7..7ec643ea0 100644 --- a/cmake/target-graphs.cmake +++ b/cmake/target-graphs.cmake @@ -4,7 +4,7 @@ # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/cmake/version.cmake b/cmake/version.cmake index 87ba19933..4353ba70f 100644 --- a/cmake/version.cmake +++ b/cmake/version.cmake @@ -1,10 +1,10 @@ ############################################################################### # Top contributors (to current version): -# Aina Niemetz, Mathias Preiner +# Gereon Kremer, Mathias Preiner, Aina Niemetz # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/contrib/get-authors b/contrib/get-authors index 3bec55130..c066e86d8 100755 --- a/contrib/get-authors +++ b/contrib/get-authors @@ -72,6 +72,10 @@ while [ $# -gt 0 ]; do sed 's/FabianWolff/Fabian Wolff/' | \ sed 's/mudathirmahgoub/Mudathir Mohamed/' | \ sed 's/mcjuneho/Michael Chang/' | \ + sed 's/MikolasJanota/Mikolas Janota/' | \ + sed 's/Ouyancheng/Yancheng Ou/' | \ + sed 's/Lachnitt/Hanna Lachnitt/' | \ + sed 's/vinciusb/Vinícius Braga Freire/' | \ # Determine top three contributors sort | uniq -c | sort -rn | head -n3 | \ diff --git a/contrib/update-copyright.pl b/contrib/update-copyright.pl index a9bf1fe0b..25e8813f7 100755 --- a/contrib/update-copyright.pl +++ b/contrib/update-copyright.pl @@ -1,7 +1,7 @@ #!/usr/bin/perl -w # # update-copyright.pl -# Copyright (c) 2009-2021 The cvc5 Project +# Copyright (c) 2009-2022 The cvc5 Project # # usage: update-copyright [-m] [files/directories...] # update-copyright [-h | --help] @@ -42,6 +42,7 @@ $excluded_paths .= '|cmake/FindCython.cmake'; $excluded_paths .= '|cmake/FindPythonExtensions.cmake'; $excluded_paths .= '|cmake/UseCython.cmake'; $excluded_paths .= '|cmake/targetLinkLibrariesWithDynamicLookup.cmake'; +$excluded_paths .= '|cmake/version-base.cmake'; # minisat license $excluded_paths .= '|src/prop/(bv)?minisat/core/.*'; $excluded_paths .= '|src/prop/(bv)?minisat/mtl/.*'; @@ -51,7 +52,7 @@ $excluded_paths .= ')$'; # Years of copyright for the template. E.g., the string # "1985, 1987, 1992, 1997, 2008" or "2006-2009" or whatever. -my $years = '2009-2021'; +my $years = '2009-2022'; my $standard_template = < diff --git a/test/api/cpp/proj-issue345.cpp b/test/api/cpp/proj-issue345.cpp index 1bef8a05b..95544c726 100644 --- a/test/api/cpp/proj-issue345.cpp +++ b/test/api/cpp/proj-issue345.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Yoni Zohar + * Yoni Zohar, Mathias Preiner, Andrew Reynolds * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. @@ -14,7 +14,6 @@ * */ - #include "api/cpp/cvc5.h" #include diff --git a/test/api/cpp/proj-issue377.cpp b/test/api/cpp/proj-issue377.cpp index 3206fb82b..472b659f7 100644 --- a/test/api/cpp/proj-issue377.cpp +++ b/test/api/cpp/proj-issue377.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Yoni Zohar + * Andrew Reynolds, Mathias Preiner * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. @@ -14,7 +14,6 @@ * */ - #include "api/cpp/cvc5.h" #include diff --git a/test/api/cpp/proj-issue395.cpp b/test/api/cpp/proj-issue395.cpp index 9706d0916..6d0695b41 100644 --- a/test/api/cpp/proj-issue395.cpp +++ b/test/api/cpp/proj-issue395.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Andres Noetzli + * Andres Noetzli, Mathias Preiner * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/api/cpp/proj-issue399.cpp b/test/api/cpp/proj-issue399.cpp index 270c8247a..e06f9c6a0 100644 --- a/test/api/cpp/proj-issue399.cpp +++ b/test/api/cpp/proj-issue399.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Andres Noetzli + * Andres Noetzli, Mathias Preiner * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/api/cpp/proj-issue445.cpp b/test/api/cpp/proj-issue445.cpp index 116486f55..14f998e5f 100644 --- a/test/api/cpp/proj-issue445.cpp +++ b/test/api/cpp/proj-issue445.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Andres Noetzli + * Andres Noetzli, Mathias Preiner * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/api/cpp/proj-issue484.cpp b/test/api/cpp/proj-issue484.cpp index 3698e420f..412739b13 100644 --- a/test/api/cpp/proj-issue484.cpp +++ b/test/api/cpp/proj-issue484.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Andrew Reynolds + * Andrew Reynolds, Mathias Preiner * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/api/cpp/reset_assertions.cpp b/test/api/cpp/reset_assertions.cpp index 72ce5fb64..735249d5d 100644 --- a/test/api/cpp/reset_assertions.cpp +++ b/test/api/cpp/reset_assertions.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Andres Noetzli, Mudathir Mohamed, Aina Niemetz + * Andres Noetzli, Mathias Preiner, Mudathir Mohamed * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/api/cpp/sep_log_api.cpp b/test/api/cpp/sep_log_api.cpp index 5bcc7f8e0..1985b3c3e 100644 --- a/test/api/cpp/sep_log_api.cpp +++ b/test/api/cpp/sep_log_api.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Andrew V. Jones, Andres Noetzli, Andrew Reynolds + * Andrew V. Jones, Andres Noetzli, Mathias Preiner * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/api/cpp/smt2_compliance.cpp b/test/api/cpp/smt2_compliance.cpp index 6b8866cae..06c5cb304 100644 --- a/test/api/cpp/smt2_compliance.cpp +++ b/test/api/cpp/smt2_compliance.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz, Morgan Deters, Tim King + * Aina Niemetz, Morgan Deters, Gereon Kremer * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/api/cpp/two_solvers.cpp b/test/api/cpp/two_solvers.cpp index 45886670b..e6d162493 100644 --- a/test/api/cpp/two_solvers.cpp +++ b/test/api/cpp/two_solvers.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Andres Noetzli, Morgan Deters, Aina Niemetz + * Morgan Deters, Andrew Reynolds, Andres Noetzli * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/api/python/CMakeLists.txt b/test/api/python/CMakeLists.txt index 966cfc06b..439b96bfd 100644 --- a/test/api/python/CMakeLists.txt +++ b/test/api/python/CMakeLists.txt @@ -1,10 +1,10 @@ ############################################################################### # Top contributors (to current version): -# Yoni Zohar, Aina Niemetz, Mathias Preiner +# Yoni Zohar, Aina Niemetz # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/test/api/python/boilerplate.py b/test/api/python/boilerplate.py index ee3e6ca57..4e0f6515c 100644 --- a/test/api/python/boilerplate.py +++ b/test/api/python/boilerplate.py @@ -1,14 +1,14 @@ -############################################################################## +############################################################################### # Top contributors (to current version): -# Yoni Zohar +# Andrew Reynolds, Alex Ozdemir # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. -# ############################################################################ +# ############################################################################# # # A simple start-up/tear-down test for cvc5. # diff --git a/test/api/python/issue4889.py b/test/api/python/issue4889.py index 929739ab0..d5cf8665b 100644 --- a/test/api/python/issue4889.py +++ b/test/api/python/issue4889.py @@ -1,14 +1,14 @@ -############################################################################## +############################################################################### # Top contributors (to current version): -# Yoni Zohar +# Yoni Zohar, Alex Ozdemir, Aina Niemetz # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. -# ############################################################################ +# ############################################################################# # # Test for issue #4889 ## diff --git a/test/api/python/issue5074.py b/test/api/python/issue5074.py index 5dd3f01a6..312448215 100644 --- a/test/api/python/issue5074.py +++ b/test/api/python/issue5074.py @@ -1,14 +1,14 @@ -############################################################################## +############################################################################### # Top contributors (to current version): -# Yoni Zohar +# Aina Niemetz, Alex Ozdemir, Yoni Zohar # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. -# ############################################################################ +# ############################################################################# # # Test for issue #5074 ## diff --git a/test/api/python/issue6111.py b/test/api/python/issue6111.py index 146a403a3..89334c7f2 100644 --- a/test/api/python/issue6111.py +++ b/test/api/python/issue6111.py @@ -1,14 +1,14 @@ -############################################################################## +############################################################################### # Top contributors (to current version): -# Yoni Zohar +# Yoni Zohar, Aina Niemetz, Alex Ozdemir # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. -# ############################################################################ +# ############################################################################# # # Test for issue #6111 ## diff --git a/test/api/python/proj-issue306.py b/test/api/python/proj-issue306.py index 9487ff3b0..e03724149 100644 --- a/test/api/python/proj-issue306.py +++ b/test/api/python/proj-issue306.py @@ -1,14 +1,14 @@ -############################################################################## +############################################################################### # Top contributors (to current version): -# Yoni Zohar +# Yoni Zohar, Alex Ozdemir, Aina Niemetz # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. -# ############################################################################ +# ############################################################################# # ## diff --git a/test/api/python/reset_assertions.py b/test/api/python/reset_assertions.py index 8883ea798..7946f49b7 100644 --- a/test/api/python/reset_assertions.py +++ b/test/api/python/reset_assertions.py @@ -1,14 +1,14 @@ -############################################################################## +############################################################################### # Top contributors (to current version): -# Yoni Zohar +# Yoni Zohar, Alex Ozdemir, Aina Niemetz # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. -# ############################################################################ +# ############################################################################# # # A simple test for SolverEngine::resetAssertions() # diff --git a/test/api/python/sep_log_api.py b/test/api/python/sep_log_api.py index 27d5eb41c..d1b4ccd0e 100644 --- a/test/api/python/sep_log_api.py +++ b/test/api/python/sep_log_api.py @@ -1,14 +1,14 @@ -############################################################################## +############################################################################### # Top contributors (to current version): -# Yoni Zohar +# Yoni Zohar, Aina Niemetz, Alex Ozdemir # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. -# ############################################################################ +# ############################################################################# # # Two tests to validate the use of the separation logic API. # diff --git a/test/api/python/two_solvers.py b/test/api/python/two_solvers.py index 7692d907c..93d97a539 100644 --- a/test/api/python/two_solvers.py +++ b/test/api/python/two_solvers.py @@ -1,14 +1,14 @@ -############################################################################## +############################################################################### # Top contributors (to current version): -# Yoni Zohar +# Andrew Reynolds, Alex Ozdemir # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. -# ############################################################################ +# ############################################################################# # # A simple test of multiple SmtEngines. ## diff --git a/test/binary/CMakeLists.txt b/test/binary/CMakeLists.txt index 39186813b..36359e084 100644 --- a/test/binary/CMakeLists.txt +++ b/test/binary/CMakeLists.txt @@ -1,10 +1,10 @@ ############################################################################### # Top contributors (to current version): -# Aina Niemetz, Andrew V. Jones, Gereon Kremer +# Yoni Zohar, Andrew V. Jones, Aina Niemetz # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/test/binary/interactive_shell.py b/test/binary/interactive_shell.py index 6577ce13e..534f82048 100644 --- a/test/binary/interactive_shell.py +++ b/test/binary/interactive_shell.py @@ -1,11 +1,11 @@ #!/usr/bin/env python3 ############################################################################### # Top contributors (to current version): -# Andrew V. Jones +# Andrew V. Jones, Mathias Preiner, Aina Niemetz # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/test/regress/cli/run_regression.py b/test/regress/cli/run_regression.py index 8ef0da532..c4c87fecd 100755 --- a/test/regress/cli/run_regression.py +++ b/test/regress/cli/run_regression.py @@ -1,11 +1,11 @@ #!/usr/bin/env python3 ############################################################################### # Top contributors (to current version): -# Andres Noetzli, Mathias Preiner, Yoni Zohar +# Andres Noetzli, Aina Niemetz, Yoni Zohar # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/test/unit/CMakeLists.txt b/test/unit/CMakeLists.txt index 12ef89983..038a508c6 100644 --- a/test/unit/CMakeLists.txt +++ b/test/unit/CMakeLists.txt @@ -1,10 +1,10 @@ ############################################################################### # Top contributors (to current version): -# Aina Niemetz, Mathias Preiner, Gereon Kremer +# Aina Niemetz, Mathias Preiner, Andres Noetzli # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/test/unit/api/CMakeLists.txt b/test/unit/api/CMakeLists.txt index 0701c3ca6..297c6322a 100644 --- a/test/unit/api/CMakeLists.txt +++ b/test/unit/api/CMakeLists.txt @@ -1,10 +1,10 @@ ############################################################################### # Top contributors (to current version): -# Aina Niemetz, Andres Noetzli +# Yoni Zohar, Mudathir Mohamed, Aina Niemetz # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/test/unit/api/cpp/CMakeLists.txt b/test/unit/api/cpp/CMakeLists.txt index cf6816981..7d2657ea1 100644 --- a/test/unit/api/cpp/CMakeLists.txt +++ b/test/unit/api/cpp/CMakeLists.txt @@ -1,10 +1,10 @@ ############################################################################### # Top contributors (to current version): -# Aina Niemetz +# Gereon Kremer, Andrew Reynolds # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/test/unit/api/cpp/datatype_api_black.cpp b/test/unit/api/cpp/datatype_api_black.cpp index b29e232e0..2a66a3b55 100644 --- a/test/unit/api/cpp/datatype_api_black.cpp +++ b/test/unit/api/cpp/datatype_api_black.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Andrew Reynolds, Aina Niemetz, Andres Noetzli + * Andrew Reynolds, Aina Niemetz, Yoni Zohar * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/api/cpp/grammar_black.cpp b/test/unit/api/cpp/grammar_black.cpp index be05d39c8..5340f0f7a 100644 --- a/test/unit/api/cpp/grammar_black.cpp +++ b/test/unit/api/cpp/grammar_black.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz, Abdalrhman Mohamed + * Aina Niemetz, Andrew Reynolds * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/api/cpp/op_black.cpp b/test/unit/api/cpp/op_black.cpp index ff4296de6..8b6157016 100644 --- a/test/unit/api/cpp/op_black.cpp +++ b/test/unit/api/cpp/op_black.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Makai Mann, Aina Niemetz + * Andres Noetzli, Mathias Preiner, Aina Niemetz * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/api/cpp/op_white.cpp b/test/unit/api/cpp/op_white.cpp index c74ee150f..29df830f6 100644 --- a/test/unit/api/cpp/op_white.cpp +++ b/test/unit/api/cpp/op_white.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz, Makai Mann + * Aina Niemetz, Andres Noetzli * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/api/cpp/parametric_datatype_black.cpp b/test/unit/api/cpp/parametric_datatype_black.cpp index 80c1fbc52..f8a089c6a 100644 --- a/test/unit/api/cpp/parametric_datatype_black.cpp +++ b/test/unit/api/cpp/parametric_datatype_black.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Andrew Reynolds + * Andrew Reynolds, Mathias Preiner * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/api/cpp/result_black.cpp b/test/unit/api/cpp/result_black.cpp index befaaf7d8..d062a17b2 100644 --- a/test/unit/api/cpp/result_black.cpp +++ b/test/unit/api/cpp/result_black.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz + * Aina Niemetz, Mathias Preiner, Andrew Reynolds * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/api/cpp/solver_black.cpp b/test/unit/api/cpp/solver_black.cpp index bcbbe0ac0..fbbf71595 100644 --- a/test/unit/api/cpp/solver_black.cpp +++ b/test/unit/api/cpp/solver_black.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz, Mudathir Mohamed, Andrew Reynolds + * Aina Niemetz, Andrew Reynolds, Mathias Preiner * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/api/cpp/solver_white.cpp b/test/unit/api/cpp/solver_white.cpp index 3cc89434b..35911b4e8 100644 --- a/test/unit/api/cpp/solver_white.cpp +++ b/test/unit/api/cpp/solver_white.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz, Makai Mann, Andrew Reynolds + * Aina Niemetz, Mathias Preiner, Andrew Reynolds * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/api/cpp/sort_black.cpp b/test/unit/api/cpp/sort_black.cpp index c42253dd9..38b781def 100644 --- a/test/unit/api/cpp/sort_black.cpp +++ b/test/unit/api/cpp/sort_black.cpp @@ -4,7 +4,7 @@ * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/api/cpp/synth_result_black.cpp b/test/unit/api/cpp/synth_result_black.cpp index b45240343..8ba5b0215 100644 --- a/test/unit/api/cpp/synth_result_black.cpp +++ b/test/unit/api/cpp/synth_result_black.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Andrew Reynolds + * Andrew Reynolds, Mathias Preiner, Aina Niemetz * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/api/cpp/term_black.cpp b/test/unit/api/cpp/term_black.cpp index a10740597..93a5b73f6 100644 --- a/test/unit/api/cpp/term_black.cpp +++ b/test/unit/api/cpp/term_black.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz, Makai Mann, Andrew Reynolds + * Aina Niemetz, Gereon Kremer, Mathias Preiner * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/api/cpp/term_white.cpp b/test/unit/api/cpp/term_white.cpp index 043cde805..083b63c6b 100644 --- a/test/unit/api/cpp/term_white.cpp +++ b/test/unit/api/cpp/term_white.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Makai Mann, Aina Niemetz, Andrew Reynolds + * Aina Niemetz, Makai Mann, Mathias Preiner * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/api/cpp/theory_arith_nl_black.cpp b/test/unit/api/cpp/theory_arith_nl_black.cpp index 18b426269..bf461ef66 100644 --- a/test/unit/api/cpp/theory_arith_nl_black.cpp +++ b/test/unit/api/cpp/theory_arith_nl_black.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Gereon Kremer + * Gereon Kremer, Andrew Reynolds * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/api/cpp/theory_uf_ho_black.cpp b/test/unit/api/cpp/theory_uf_ho_black.cpp index fc1d5fbaa..0de0af4a1 100644 --- a/test/unit/api/cpp/theory_uf_ho_black.cpp +++ b/test/unit/api/cpp/theory_uf_ho_black.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Andrew Reynolds + * Andrew Reynolds, Mathias Preiner * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/api/java/CMakeLists.txt b/test/unit/api/java/CMakeLists.txt index 697dff605..ec8c6194b 100644 --- a/test/unit/api/java/CMakeLists.txt +++ b/test/unit/api/java/CMakeLists.txt @@ -1,10 +1,10 @@ ############################################################################### # Top contributors (to current version): -# Mudathir Mohamed +# Mudathir Mohamed, Gereon Kremer, Andrew Reynolds # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/test/unit/api/java/DatatypeTest.java b/test/unit/api/java/DatatypeTest.java index 01e2d2989..0ed846778 100644 --- a/test/unit/api/java/DatatypeTest.java +++ b/test/unit/api/java/DatatypeTest.java @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Andrew Reynolds, Aina Niemetz, Andres Noetzli, Mudathir Mohamed + * Mudathir Mohamed, Andrew Reynolds, Aina Niemetz * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/api/java/GrammarTest.java b/test/unit/api/java/GrammarTest.java index f72190a09..41b3c989b 100644 --- a/test/unit/api/java/GrammarTest.java +++ b/test/unit/api/java/GrammarTest.java @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz, Abdalrhman Mohamed, Mudathir Mohamed + * Mudathir Mohamed, Andrew Reynolds, Andres Noetzli * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/api/java/OpTest.java b/test/unit/api/java/OpTest.java index 7530de371..6ee172862 100644 --- a/test/unit/api/java/OpTest.java +++ b/test/unit/api/java/OpTest.java @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Makai Mann, Aina Niemetz, Mudathir Mohamed + * Andres Noetzli, Mudathir Mohamed, Aina Niemetz * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/api/java/ResultTest.java b/test/unit/api/java/ResultTest.java index cca0c4244..ab4569a74 100644 --- a/test/unit/api/java/ResultTest.java +++ b/test/unit/api/java/ResultTest.java @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz, Mudathir Mohamed + * Mudathir Mohamed, Andrew Reynolds, Mathias Preiner * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/api/java/SolverTest.java b/test/unit/api/java/SolverTest.java index 4cfbfcb88..de2a8db6b 100644 --- a/test/unit/api/java/SolverTest.java +++ b/test/unit/api/java/SolverTest.java @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz, Mudathir Mohamed, Andrew Reynolds + * Mudathir Mohamed, Andrew Reynolds, Aina Niemetz * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/api/java/SortTest.java b/test/unit/api/java/SortTest.java index 2255153ab..beb301357 100644 --- a/test/unit/api/java/SortTest.java +++ b/test/unit/api/java/SortTest.java @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz, Andrew Reynolds, Mathias Preiner, Mudathir Mohamed + * Mudathir Mohamed, Aina Niemetz, Mathias Preiner * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/api/java/SynthResultTest.java b/test/unit/api/java/SynthResultTest.java index 8ea1e61ef..06330cc3f 100644 --- a/test/unit/api/java/SynthResultTest.java +++ b/test/unit/api/java/SynthResultTest.java @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Andrew Reynolds + * Andrew Reynolds, Mudathir Mohamed, Andres Noetzli * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/api/java/TermTest.java b/test/unit/api/java/TermTest.java index 5f88904a4..b7302b7f3 100644 --- a/test/unit/api/java/TermTest.java +++ b/test/unit/api/java/TermTest.java @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz, Makai Mann, Andrew Reynolds, Mudathir Mohamed + * Mudathir Mohamed, Andres Noetzli, Aina Niemetz * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/api/python/CMakeLists.txt b/test/unit/api/python/CMakeLists.txt index fe68f1eea..add579bc5 100644 --- a/test/unit/api/python/CMakeLists.txt +++ b/test/unit/api/python/CMakeLists.txt @@ -1,10 +1,10 @@ ############################################################################### # Top contributors (to current version): -# Yoni Zohar, Aina Niemetz, Mathias Preiner +# Gereon Kremer, Aina Niemetz, Yoni Zohar # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/test/unit/api/python/test_datatype_api.py b/test/unit/api/python/test_datatype_api.py index a2b79ca7e..9caedd3f8 100644 --- a/test/unit/api/python/test_datatype_api.py +++ b/test/unit/api/python/test_datatype_api.py @@ -1,10 +1,10 @@ ############################################################################### # Top contributors (to current version): -# Yoni Zohar +# Yoni Zohar, Andrew Reynolds, Aina Niemetz # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/test/unit/api/python/test_grammar.py b/test/unit/api/python/test_grammar.py index 1c00da13c..464f51648 100644 --- a/test/unit/api/python/test_grammar.py +++ b/test/unit/api/python/test_grammar.py @@ -1,10 +1,10 @@ ############################################################################### # Top contributors (to current version): -# Yoni Zohar, Makai Mann, Mudathir Mohamed +# Yoni Zohar, Andrew Reynolds, Alex Ozdemir # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/test/unit/api/python/test_op.py b/test/unit/api/python/test_op.py index 710f93ff4..c8cde5bb1 100644 --- a/test/unit/api/python/test_op.py +++ b/test/unit/api/python/test_op.py @@ -1,10 +1,10 @@ ############################################################################### # Top contributors (to current version): -# Yoni Zohar +# Aina Niemetz, Andres Noetzli, Yoni Zohar # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/test/unit/api/python/test_result.py b/test/unit/api/python/test_result.py index 72e4ba314..195e193a8 100644 --- a/test/unit/api/python/test_result.py +++ b/test/unit/api/python/test_result.py @@ -1,10 +1,10 @@ ############################################################################### # Top contributors (to current version): -# Yoni Zohar +# Yoni Zohar, Andrew Reynolds, Alex Ozdemir # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/test/unit/api/python/test_solver.py b/test/unit/api/python/test_solver.py index 019edc251..6f02bbe87 100644 --- a/test/unit/api/python/test_solver.py +++ b/test/unit/api/python/test_solver.py @@ -1,10 +1,10 @@ ############################################################################### # Top contributors (to current version): -# Yoni Zohar, Ying Sheng +# Ying Sheng, Yoni Zohar, Aina Niemetz # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/test/unit/api/python/test_sort.py b/test/unit/api/python/test_sort.py index b70ba22d3..75384aac4 100644 --- a/test/unit/api/python/test_sort.py +++ b/test/unit/api/python/test_sort.py @@ -1,10 +1,10 @@ ############################################################################### # Top contributors (to current version): -# Yoni Zohar, Makai Mann +# Yoni Zohar, Aina Niemetz, Makai Mann # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/test/unit/api/python/test_synth_result.py b/test/unit/api/python/test_synth_result.py index 4248efa0d..892e641a1 100644 --- a/test/unit/api/python/test_synth_result.py +++ b/test/unit/api/python/test_synth_result.py @@ -4,7 +4,7 @@ # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/test/unit/api/python/test_term.py b/test/unit/api/python/test_term.py index 9416c3a1f..f166ecd0a 100644 --- a/test/unit/api/python/test_term.py +++ b/test/unit/api/python/test_term.py @@ -1,10 +1,10 @@ ############################################################################### # Top contributors (to current version): -# Yoni Zohar, Makai Mann, Andres Noetzli +# Yoni Zohar, Aina Niemetz, Andres Noetzli # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/test/unit/api/python/test_to_python_obj.py b/test/unit/api/python/test_to_python_obj.py index 42f8bccbf..518867f9d 100644 --- a/test/unit/api/python/test_to_python_obj.py +++ b/test/unit/api/python/test_to_python_obj.py @@ -1,10 +1,10 @@ ############################################################################### # Top contributors (to current version): -# Makai Mann, Andres Noetzli, Mudathir Mohamed +# Makai Mann, Alex Ozdemir, Aina Niemetz # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/test/unit/base/CMakeLists.txt b/test/unit/base/CMakeLists.txt index 89f28390e..d7effc11f 100644 --- a/test/unit/base/CMakeLists.txt +++ b/test/unit/base/CMakeLists.txt @@ -1,10 +1,10 @@ ############################################################################### # Top contributors (to current version): -# Aina Niemetz +# Mathias Preiner, Aina Niemetz # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/test/unit/base/map_util_black.cpp b/test/unit/base/map_util_black.cpp index 5ef8c747c..521490628 100644 --- a/test/unit/base/map_util_black.cpp +++ b/test/unit/base/map_util_black.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz, Tim King + * Aina Niemetz, Mathias Preiner, Tim King * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/context/CMakeLists.txt b/test/unit/context/CMakeLists.txt index 565b828de..e3fd51ad4 100644 --- a/test/unit/context/CMakeLists.txt +++ b/test/unit/context/CMakeLists.txt @@ -1,10 +1,10 @@ ############################################################################### # Top contributors (to current version): -# Aina Niemetz +# Mathias Preiner, Aina Niemetz # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/test/unit/context/cdhashmap_black.cpp b/test/unit/context/cdhashmap_black.cpp index fde9517d0..daeadb004 100644 --- a/test/unit/context/cdhashmap_black.cpp +++ b/test/unit/context/cdhashmap_black.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz, Morgan Deters + * Aina Niemetz, Andrew Reynolds, Mathias Preiner * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/context/cdhashmap_white.cpp b/test/unit/context/cdhashmap_white.cpp index 038bc0138..4389598c6 100644 --- a/test/unit/context/cdhashmap_white.cpp +++ b/test/unit/context/cdhashmap_white.cpp @@ -4,7 +4,7 @@ * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/context/cdlist_black.cpp b/test/unit/context/cdlist_black.cpp index 2772e1503..2c331c41b 100644 --- a/test/unit/context/cdlist_black.cpp +++ b/test/unit/context/cdlist_black.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz, Morgan Deters + * Aina Niemetz, Andres Noetzli, Morgan Deters * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/context/cdo_black.cpp b/test/unit/context/cdo_black.cpp index 564d5f73e..45da7db9d 100644 --- a/test/unit/context/cdo_black.cpp +++ b/test/unit/context/cdo_black.cpp @@ -4,7 +4,7 @@ * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/context/context_black.cpp b/test/unit/context/context_black.cpp index 12efc52ca..f1c094ae5 100644 --- a/test/unit/context/context_black.cpp +++ b/test/unit/context/context_black.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz, Morgan Deters, Dejan Jovanovic + * Aina Niemetz, Andres Noetzli, Morgan Deters * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/context/context_mm_black.cpp b/test/unit/context/context_mm_black.cpp index 8c9101be5..058fdb8ef 100644 --- a/test/unit/context/context_mm_black.cpp +++ b/test/unit/context/context_mm_black.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz, Dejan Jovanovic, Andres Noetzli + * Aina Niemetz, Dejan Jovanovic, Morgan Deters * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/context/context_white.cpp b/test/unit/context/context_white.cpp index 2fef425b3..8a7e669e8 100644 --- a/test/unit/context/context_white.cpp +++ b/test/unit/context/context_white.cpp @@ -4,7 +4,7 @@ * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/main/CMakeLists.txt b/test/unit/main/CMakeLists.txt index b15e89bbd..e39d4f827 100644 --- a/test/unit/main/CMakeLists.txt +++ b/test/unit/main/CMakeLists.txt @@ -1,10 +1,10 @@ ############################################################################### # Top contributors (to current version): -# Aina Niemetz +# Mathias Preiner, Aina Niemetz # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/test/unit/main/interactive_shell_black.cpp b/test/unit/main/interactive_shell_black.cpp index 1d3cbedcd..134c5fcdf 100644 --- a/test/unit/main/interactive_shell_black.cpp +++ b/test/unit/main/interactive_shell_black.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz, Christopher L. Conway, Andrew Reynolds + * Aina Niemetz, Andres Noetzli, Christopher L. Conway * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/node/CMakeLists.txt b/test/unit/node/CMakeLists.txt index 989e408d2..b269501a8 100644 --- a/test/unit/node/CMakeLists.txt +++ b/test/unit/node/CMakeLists.txt @@ -1,10 +1,10 @@ ############################################################################### # Top contributors (to current version): -# Aina Niemetz +# Mathias Preiner, Gereon Kremer, Aina Niemetz # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/test/unit/node/attribute_black.cpp b/test/unit/node/attribute_black.cpp index 543e9f6a4..2b8e2b006 100644 --- a/test/unit/node/attribute_black.cpp +++ b/test/unit/node/attribute_black.cpp @@ -4,7 +4,7 @@ * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/node/attribute_white.cpp b/test/unit/node/attribute_white.cpp index c36746d91..5c7664e19 100644 --- a/test/unit/node/attribute_white.cpp +++ b/test/unit/node/attribute_white.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz, Morgan Deters + * Aina Niemetz, Gereon Kremer, Morgan Deters * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/node/kind_black.cpp b/test/unit/node/kind_black.cpp index 28097cbba..a287ec1dd 100644 --- a/test/unit/node/kind_black.cpp +++ b/test/unit/node/kind_black.cpp @@ -4,7 +4,7 @@ * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/node/kind_map_black.cpp b/test/unit/node/kind_map_black.cpp index 47d6d1288..848122634 100644 --- a/test/unit/node/kind_map_black.cpp +++ b/test/unit/node/kind_map_black.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz, Gereon Kremer + * Aina Niemetz, Gereon Kremer, Mathias Preiner * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/node/node_algorithm_black.cpp b/test/unit/node/node_algorithm_black.cpp index 517e1aab7..6c6ce1fe3 100644 --- a/test/unit/node/node_algorithm_black.cpp +++ b/test/unit/node/node_algorithm_black.cpp @@ -4,7 +4,7 @@ * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/node/node_algorithms_black.cpp b/test/unit/node/node_algorithms_black.cpp index 96440d4da..b1c5d1645 100644 --- a/test/unit/node/node_algorithms_black.cpp +++ b/test/unit/node/node_algorithms_black.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Gereon Kremer + * Gereon Kremer, Aina Niemetz * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/node/node_black.cpp b/test/unit/node/node_black.cpp index 8fd74b420..039d591cd 100644 --- a/test/unit/node/node_black.cpp +++ b/test/unit/node/node_black.cpp @@ -4,7 +4,7 @@ * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/node/node_builder_black.cpp b/test/unit/node/node_builder_black.cpp index 10bce9cd3..f066d36d8 100644 --- a/test/unit/node/node_builder_black.cpp +++ b/test/unit/node/node_builder_black.cpp @@ -4,7 +4,7 @@ * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/node/node_manager_black.cpp b/test/unit/node/node_manager_black.cpp index cfdffe116..ec0ee24f9 100644 --- a/test/unit/node/node_manager_black.cpp +++ b/test/unit/node/node_manager_black.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz, Dejan Jovanovic, Andrew Reynolds + * Aina Niemetz, Dejan Jovanovic, Christopher L. Conway * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/node/node_manager_white.cpp b/test/unit/node/node_manager_white.cpp index 0b206ebc8..c90625175 100644 --- a/test/unit/node/node_manager_white.cpp +++ b/test/unit/node/node_manager_white.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz, Andres Noetzli, Andrew Reynolds + * Aina Niemetz, Andres Noetzli, Mathias Preiner * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/node/node_self_iterator_black.cpp b/test/unit/node/node_self_iterator_black.cpp index d7f5fa492..55731b54c 100644 --- a/test/unit/node/node_self_iterator_black.cpp +++ b/test/unit/node/node_self_iterator_black.cpp @@ -4,7 +4,7 @@ * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/node/node_traversal_black.cpp b/test/unit/node/node_traversal_black.cpp index 012fe3532..da187159a 100644 --- a/test/unit/node/node_traversal_black.cpp +++ b/test/unit/node/node_traversal_black.cpp @@ -4,7 +4,7 @@ * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/node/node_white.cpp b/test/unit/node/node_white.cpp index 8ed563320..edc9a2855 100644 --- a/test/unit/node/node_white.cpp +++ b/test/unit/node/node_white.cpp @@ -4,7 +4,7 @@ * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/node/symbol_table_black.cpp b/test/unit/node/symbol_table_black.cpp index 9710a38f7..3d5ba7cfa 100644 --- a/test/unit/node/symbol_table_black.cpp +++ b/test/unit/node/symbol_table_black.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz, Morgan Deters, Christopher L. Conway + * Aina Niemetz, Mathias Preiner, Morgan Deters * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/node/type_cardinality_black.cpp b/test/unit/node/type_cardinality_black.cpp index 84bf0c788..937396691 100644 --- a/test/unit/node/type_cardinality_black.cpp +++ b/test/unit/node/type_cardinality_black.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz, Morgan Deters + * Aina Niemetz, Morgan Deters, Andrew Reynolds * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/node/type_node_white.cpp b/test/unit/node/type_node_white.cpp index a5367680d..83e74e078 100644 --- a/test/unit/node/type_node_white.cpp +++ b/test/unit/node/type_node_white.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz, Andrew Reynolds + * Aina Niemetz, Andres Noetzli * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/options/CMakeLists.txt b/test/unit/options/CMakeLists.txt index da7ac4371..5f25c6699 100644 --- a/test/unit/options/CMakeLists.txt +++ b/test/unit/options/CMakeLists.txt @@ -4,7 +4,7 @@ # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/test/unit/options/options_black.cpp b/test/unit/options/options_black.cpp index 4a4b7b26d..064e56f49 100644 --- a/test/unit/options/options_black.cpp +++ b/test/unit/options/options_black.cpp @@ -4,7 +4,7 @@ * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/parser/CMakeLists.txt b/test/unit/parser/CMakeLists.txt index 890a38f76..f9cb9beed 100644 --- a/test/unit/parser/CMakeLists.txt +++ b/test/unit/parser/CMakeLists.txt @@ -1,10 +1,10 @@ ############################################################################### # Top contributors (to current version): -# Aina Niemetz +# Mathias Preiner, Aina Niemetz # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/test/unit/parser/parser_black.cpp b/test/unit/parser/parser_black.cpp index 5de730b45..904f3d463 100644 --- a/test/unit/parser/parser_black.cpp +++ b/test/unit/parser/parser_black.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz, Christopher L. Conway, Morgan Deters + * Aina Niemetz, Christopher L. Conway, Gereon Kremer * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/parser/parser_builder_black.cpp b/test/unit/parser/parser_builder_black.cpp index 95d16cd0d..1dab98d80 100644 --- a/test/unit/parser/parser_builder_black.cpp +++ b/test/unit/parser/parser_builder_black.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz, Christopher L. Conway, Tim King + * Aina Niemetz, Mathias Preiner, Andres Noetzli * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/preprocessing/CMakeLists.txt b/test/unit/preprocessing/CMakeLists.txt index 0cebfb604..46042c1e2 100644 --- a/test/unit/preprocessing/CMakeLists.txt +++ b/test/unit/preprocessing/CMakeLists.txt @@ -1,10 +1,10 @@ ############################################################################### # Top contributors (to current version): -# Aina Niemetz +# Mathias Preiner, Aina Niemetz # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/test/unit/preprocessing/pass_bv_gauss_white.cpp b/test/unit/preprocessing/pass_bv_gauss_white.cpp index 18d6eabec..78da6031e 100644 --- a/test/unit/preprocessing/pass_bv_gauss_white.cpp +++ b/test/unit/preprocessing/pass_bv_gauss_white.cpp @@ -4,7 +4,7 @@ * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/preprocessing/pass_foreign_theory_rewrite_white.cpp b/test/unit/preprocessing/pass_foreign_theory_rewrite_white.cpp index f42187267..e4e6c35f7 100644 --- a/test/unit/preprocessing/pass_foreign_theory_rewrite_white.cpp +++ b/test/unit/preprocessing/pass_foreign_theory_rewrite_white.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz, Yoni Zohar + * Aina Niemetz, Mathias Preiner, Andrew Reynolds * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/printer/CMakeLists.txt b/test/unit/printer/CMakeLists.txt index 1b3e3c130..4df862a1c 100644 --- a/test/unit/printer/CMakeLists.txt +++ b/test/unit/printer/CMakeLists.txt @@ -1,10 +1,10 @@ ############################################################################### # Top contributors (to current version): -# Aina Niemetz +# Mathias Preiner, Aina Niemetz # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/test/unit/printer/smt2_printer_black.cpp b/test/unit/printer/smt2_printer_black.cpp index 99a043116..cddf93ae4 100644 --- a/test/unit/printer/smt2_printer_black.cpp +++ b/test/unit/printer/smt2_printer_black.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz, Andres Noetzli + * Aina Niemetz, Gereon Kremer, Andres Noetzli * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/proof/CMakeLists.txt b/test/unit/proof/CMakeLists.txt index 749948e39..d1a1f9d48 100644 --- a/test/unit/proof/CMakeLists.txt +++ b/test/unit/proof/CMakeLists.txt @@ -1 +1,18 @@ +############################################################################### +# Top contributors (to current version): +# Andrew Reynolds +# +# This file is part of the cvc5 project. +# +# Copyright (c) 2009-2022 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. +# ############################################################################# +# +# [[ Add one-line brief description here ]] +# +# [[ Add lengthier description here ]] +# \todo document this file +## cvc5_add_unit_test_black(lfsc_node_converter_black proof) diff --git a/test/unit/proof/lfsc_node_converter_black.cpp b/test/unit/proof/lfsc_node_converter_black.cpp index 8a776d85a..7885193db 100644 --- a/test/unit/proof/lfsc_node_converter_black.cpp +++ b/test/unit/proof/lfsc_node_converter_black.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Alex Ozdemir + * Andrew Reynolds, Mathias Preiner * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/prop/CMakeLists.txt b/test/unit/prop/CMakeLists.txt index 57143bf90..51956b61b 100644 --- a/test/unit/prop/CMakeLists.txt +++ b/test/unit/prop/CMakeLists.txt @@ -1,10 +1,10 @@ ############################################################################### # Top contributors (to current version): -# Aina Niemetz +# Mathias Preiner, Aina Niemetz # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/test/unit/prop/cnf_stream_white.cpp b/test/unit/prop/cnf_stream_white.cpp index 29c6f123c..e8795b3ce 100644 --- a/test/unit/prop/cnf_stream_white.cpp +++ b/test/unit/prop/cnf_stream_white.cpp @@ -4,7 +4,7 @@ * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/test.h b/test/unit/test.h index 8e680de4b..7469caf8e 100644 --- a/test/unit/test.h +++ b/test/unit/test.h @@ -4,7 +4,7 @@ * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/test_api.h b/test/unit/test_api.h index 95b7c3b17..d7660d04f 100644 --- a/test/unit/test_api.h +++ b/test/unit/test_api.h @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz + * Aina Niemetz, Mathias Preiner * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/test_context.h b/test/unit/test_context.h index 455319c6b..ffcce6ce5 100644 --- a/test/unit/test_context.h +++ b/test/unit/test_context.h @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz + * Aina Niemetz, Mathias Preiner * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/test_env.h b/test/unit/test_env.h index 376fd75db..699e3cf57 100644 --- a/test/unit/test_env.h +++ b/test/unit/test_env.h @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz, Andrew Reynolds + * Gereon Kremer, Andres Noetzli * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/test_node.h b/test/unit/test_node.h index b6f43b394..020def8e8 100644 --- a/test/unit/test_node.h +++ b/test/unit/test_node.h @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz, Andrew Reynolds + * Aina Niemetz, Andres Noetzli, Andrew Reynolds * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/test_smt.h b/test/unit/test_smt.h index 7d57d0b47..4ff66bdd6 100644 --- a/test/unit/test_smt.h +++ b/test/unit/test_smt.h @@ -4,7 +4,7 @@ * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/theory/CMakeLists.txt b/test/unit/theory/CMakeLists.txt index 82cd3cb58..ea6730179 100644 --- a/test/unit/theory/CMakeLists.txt +++ b/test/unit/theory/CMakeLists.txt @@ -1,10 +1,10 @@ ############################################################################### # Top contributors (to current version): -# Aina Niemetz, Yoni Zohar, Yancheng Ou +# Mathias Preiner, Gereon Kremer, Yoni Zohar # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/test/unit/theory/arith_poly_white.cpp b/test/unit/theory/arith_poly_white.cpp index c8f38e43d..4162ba611 100644 --- a/test/unit/theory/arith_poly_white.cpp +++ b/test/unit/theory/arith_poly_white.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Andrew Reynolds + * Andrew Reynolds, Aina Niemetz, Andres Noetzli * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/theory/evaluator_white.cpp b/test/unit/theory/evaluator_white.cpp index fd8b85f90..06106de2c 100644 --- a/test/unit/theory/evaluator_white.cpp +++ b/test/unit/theory/evaluator_white.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz, Andres Noetzli + * Aina Niemetz, Andrew Reynolds, Andres Noetzli * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/theory/logic_info_white.cpp b/test/unit/theory/logic_info_white.cpp index cc6ea757f..be4572e3c 100644 --- a/test/unit/theory/logic_info_white.cpp +++ b/test/unit/theory/logic_info_white.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz, Morgan Deters, Andres Noetzli + * Morgan Deters, Aina Niemetz, Mathias Preiner * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/theory/regexp_operation_black.cpp b/test/unit/theory/regexp_operation_black.cpp index 01999f527..98d471ab4 100644 --- a/test/unit/theory/regexp_operation_black.cpp +++ b/test/unit/theory/regexp_operation_black.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz, Andres Noetzli + * Andres Noetzli, Aina Niemetz, Andrew Reynolds * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/theory/sequences_rewriter_white.cpp b/test/unit/theory/sequences_rewriter_white.cpp index 15ec507b2..04c7d2502 100644 --- a/test/unit/theory/sequences_rewriter_white.cpp +++ b/test/unit/theory/sequences_rewriter_white.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz, Andres Noetzli, Andrew Reynolds + * Andres Noetzli, Aina Niemetz, Andrew Reynolds * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/theory/strings_rewriter_white.cpp b/test/unit/theory/strings_rewriter_white.cpp index e868a2062..9236e0440 100644 --- a/test/unit/theory/strings_rewriter_white.cpp +++ b/test/unit/theory/strings_rewriter_white.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz + * Aina Niemetz, Mathias Preiner * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/theory/theory_arith_coverings_white.cpp b/test/unit/theory/theory_arith_coverings_white.cpp index e4d4c1e09..cdc8282fb 100644 --- a/test/unit/theory/theory_arith_coverings_white.cpp +++ b/test/unit/theory/theory_arith_coverings_white.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Gereon Kremer + * Gereon Kremer, Andres Noetzli, Andrew Reynolds * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/theory/theory_arith_pow2_white.cpp b/test/unit/theory/theory_arith_pow2_white.cpp index 714eff579..1a60682bb 100644 --- a/test/unit/theory/theory_arith_pow2_white.cpp +++ b/test/unit/theory/theory_arith_pow2_white.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Yoni Zohar + * Yoni Zohar, Aina Niemetz, Andres Noetzli * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/theory/theory_arith_rewriter_black.cpp b/test/unit/theory/theory_arith_rewriter_black.cpp index 88af6b021..ec6277c14 100644 --- a/test/unit/theory/theory_arith_rewriter_black.cpp +++ b/test/unit/theory/theory_arith_rewriter_black.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz + * Gereon Kremer, Aina Niemetz * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/theory/theory_arith_white.cpp b/test/unit/theory/theory_arith_white.cpp index a358e5b60..8285c07e1 100644 --- a/test/unit/theory/theory_arith_white.cpp +++ b/test/unit/theory/theory_arith_white.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz, Tim King, Gereon Kremer + * Aina Niemetz, Andres Noetzli, Tim King * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/theory/theory_bags_normal_form_white.cpp b/test/unit/theory/theory_bags_normal_form_white.cpp index 469f532b0..37222a589 100644 --- a/test/unit/theory/theory_bags_normal_form_white.cpp +++ b/test/unit/theory/theory_bags_normal_form_white.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz, Mudathir Mohamed + * Aina Niemetz, Andres Noetzli, Mudathir Mohamed * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/theory/theory_bags_rewriter_white.cpp b/test/unit/theory/theory_bags_rewriter_white.cpp index 0ef2a564b..121d26171 100644 --- a/test/unit/theory/theory_bags_rewriter_white.cpp +++ b/test/unit/theory/theory_bags_rewriter_white.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz, Mudathir Mohamed, Andrew Reynolds + * Mudathir Mohamed, Aina Niemetz, Andres Noetzli * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/theory/theory_bags_type_rules_white.cpp b/test/unit/theory/theory_bags_type_rules_white.cpp index 815bcb67f..e98b248a8 100644 --- a/test/unit/theory/theory_bags_type_rules_white.cpp +++ b/test/unit/theory/theory_bags_type_rules_white.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz, Mudathir Mohamed + * Aina Niemetz, Mudathir Mohamed, Andres Noetzli * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/theory/theory_black.cpp b/test/unit/theory/theory_black.cpp index de936112e..cd65445b8 100644 --- a/test/unit/theory/theory_black.cpp +++ b/test/unit/theory/theory_black.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz + * Aina Niemetz, Andres Noetzli * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/theory/theory_bv_int_blaster_white.cpp b/test/unit/theory/theory_bv_int_blaster_white.cpp index ae96889ef..f1f3a4289 100644 --- a/test/unit/theory/theory_bv_int_blaster_white.cpp +++ b/test/unit/theory/theory_bv_int_blaster_white.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Yoni Zohar + * Yoni Zohar, Makai Mann, Andres Noetzli * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/theory/theory_bv_opt_white.cpp b/test/unit/theory/theory_bv_opt_white.cpp index d4deaab2c..dae852049 100644 --- a/test/unit/theory/theory_bv_opt_white.cpp +++ b/test/unit/theory/theory_bv_opt_white.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Yancheng Ou + * Yancheng Ou, Aina Niemetz, Michael Chang * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/theory/theory_bv_rewriter_white.cpp b/test/unit/theory/theory_bv_rewriter_white.cpp index c22bc3458..a3ca50346 100644 --- a/test/unit/theory/theory_bv_rewriter_white.cpp +++ b/test/unit/theory/theory_bv_rewriter_white.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz + * Aina Niemetz, Andres Noetzli * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/theory/theory_bv_white.cpp b/test/unit/theory/theory_bv_white.cpp index 90ab3facd..6a6295a45 100644 --- a/test/unit/theory/theory_bv_white.cpp +++ b/test/unit/theory/theory_bv_white.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz, Abdalrhman Mohamed, Mathias Preiner + * Aina Niemetz, Andrew Reynolds * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/theory/theory_engine_white.cpp b/test/unit/theory/theory_engine_white.cpp index 0f643397d..6a54baa30 100644 --- a/test/unit/theory/theory_engine_white.cpp +++ b/test/unit/theory/theory_engine_white.cpp @@ -4,7 +4,7 @@ * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/theory/theory_int_opt_white.cpp b/test/unit/theory/theory_int_opt_white.cpp index 40ecd376a..d6573f3a7 100644 --- a/test/unit/theory/theory_int_opt_white.cpp +++ b/test/unit/theory/theory_int_opt_white.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Michael Chang, Yancheng Ou + * Michael Chang, Yancheng Ou, Aina Niemetz * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/theory/theory_opt_multigoal_white.cpp b/test/unit/theory/theory_opt_multigoal_white.cpp index 0f46f6a6e..1c2fdc442 100644 --- a/test/unit/theory/theory_opt_multigoal_white.cpp +++ b/test/unit/theory/theory_opt_multigoal_white.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Yancheng Ou + * Yancheng Ou, Aina Niemetz, Andrew Reynolds * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/theory/theory_quantifiers_bv_instantiator_white.cpp b/test/unit/theory/theory_quantifiers_bv_instantiator_white.cpp index 249969b79..92f21d31c 100644 --- a/test/unit/theory/theory_quantifiers_bv_instantiator_white.cpp +++ b/test/unit/theory/theory_quantifiers_bv_instantiator_white.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz, Mathias Preiner, Andres Noetzli + * Aina Niemetz, Mathias Preiner * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/theory/theory_quantifiers_bv_inverter_white.cpp b/test/unit/theory/theory_quantifiers_bv_inverter_white.cpp index 528aadbc7..e6450c39b 100644 --- a/test/unit/theory/theory_quantifiers_bv_inverter_white.cpp +++ b/test/unit/theory/theory_quantifiers_bv_inverter_white.cpp @@ -4,7 +4,7 @@ * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/theory/theory_sets_rewriter_white.cpp b/test/unit/theory/theory_sets_rewriter_white.cpp index 4d6fc035d..8a1af2667 100644 --- a/test/unit/theory/theory_sets_rewriter_white.cpp +++ b/test/unit/theory/theory_sets_rewriter_white.cpp @@ -4,7 +4,7 @@ * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/theory/theory_sets_type_enumerator_white.cpp b/test/unit/theory/theory_sets_type_enumerator_white.cpp index 2d8909e01..5402f668e 100644 --- a/test/unit/theory/theory_sets_type_enumerator_white.cpp +++ b/test/unit/theory/theory_sets_type_enumerator_white.cpp @@ -4,7 +4,7 @@ * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/theory/theory_sets_type_rules_white.cpp b/test/unit/theory/theory_sets_type_rules_white.cpp index f73311e34..c5b8a3bd3 100644 --- a/test/unit/theory/theory_sets_type_rules_white.cpp +++ b/test/unit/theory/theory_sets_type_rules_white.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz, Mudathir Mohamed + * Aina Niemetz, Mudathir Mohamed, Mathias Preiner * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/theory/theory_strings_skolem_cache_black.cpp b/test/unit/theory/theory_strings_skolem_cache_black.cpp index e30912422..04742cfdb 100644 --- a/test/unit/theory/theory_strings_skolem_cache_black.cpp +++ b/test/unit/theory/theory_strings_skolem_cache_black.cpp @@ -4,7 +4,7 @@ * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/theory/theory_strings_utils_white.cpp b/test/unit/theory/theory_strings_utils_white.cpp index 4fef34066..300864afe 100644 --- a/test/unit/theory/theory_strings_utils_white.cpp +++ b/test/unit/theory/theory_strings_utils_white.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Andres Noetzli + * Andres Noetzli, Mathias Preiner * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/theory/theory_strings_word_white.cpp b/test/unit/theory/theory_strings_word_white.cpp index 6ee23cc56..570821e1b 100644 --- a/test/unit/theory/theory_strings_word_white.cpp +++ b/test/unit/theory/theory_strings_word_white.cpp @@ -4,7 +4,7 @@ * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/theory/theory_white.cpp b/test/unit/theory/theory_white.cpp index d9f22b11e..635815abb 100644 --- a/test/unit/theory/theory_white.cpp +++ b/test/unit/theory/theory_white.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz, Dejan Jovanovic + * Aina Niemetz, Dejan Jovanovic, Gereon Kremer * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/theory/type_enumerator_white.cpp b/test/unit/theory/type_enumerator_white.cpp index 2fbd5bbd9..745df9a41 100644 --- a/test/unit/theory/type_enumerator_white.cpp +++ b/test/unit/theory/type_enumerator_white.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz, Andrew Reynolds, Morgan Deters + * Aina Niemetz, Andres Noetzli, Andrew Reynolds * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/util/CMakeLists.txt b/test/unit/util/CMakeLists.txt index 03348f6e1..cd72b3fee 100644 --- a/test/unit/util/CMakeLists.txt +++ b/test/unit/util/CMakeLists.txt @@ -1,10 +1,10 @@ ############################################################################### # Top contributors (to current version): -# Aina Niemetz, Yoni Zohar, Gereon Kremer +# Mathias Preiner, Gereon Kremer, Aina Niemetz # # This file is part of the cvc5 project. # -# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS +# Copyright (c) 2009-2022 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. diff --git a/test/unit/util/array_store_all_white.cpp b/test/unit/util/array_store_all_white.cpp index 0ceb256be..0f4016698 100644 --- a/test/unit/util/array_store_all_white.cpp +++ b/test/unit/util/array_store_all_white.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz + * Aina Niemetz, Andres Noetzli, Mathias Preiner * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/util/assert_white.cpp b/test/unit/util/assert_white.cpp index 28fdbecb9..665f8c851 100644 --- a/test/unit/util/assert_white.cpp +++ b/test/unit/util/assert_white.cpp @@ -4,7 +4,7 @@ * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/util/binary_heap_black.cpp b/test/unit/util/binary_heap_black.cpp index 3de0d2047..fba7a7acd 100644 --- a/test/unit/util/binary_heap_black.cpp +++ b/test/unit/util/binary_heap_black.cpp @@ -4,7 +4,7 @@ * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/util/bitvector_black.cpp b/test/unit/util/bitvector_black.cpp index 967e8b347..83dfcb71d 100644 --- a/test/unit/util/bitvector_black.cpp +++ b/test/unit/util/bitvector_black.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz + * Aina Niemetz, Alex Ozdemir * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/util/boolean_simplification_black.cpp b/test/unit/util/boolean_simplification_black.cpp index 28fc06f7b..f6d48b7d2 100644 --- a/test/unit/util/boolean_simplification_black.cpp +++ b/test/unit/util/boolean_simplification_black.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz, Morgan Deters, Andrew Reynolds + * Aina Niemetz, Andres Noetzli, Andrew Reynolds * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/util/cardinality_black.cpp b/test/unit/util/cardinality_black.cpp index 7f8f31c9c..7b8ec172b 100644 --- a/test/unit/util/cardinality_black.cpp +++ b/test/unit/util/cardinality_black.cpp @@ -4,7 +4,7 @@ * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/util/check_white.cpp b/test/unit/util/check_white.cpp index 15d2371fa..b331fe97f 100644 --- a/test/unit/util/check_white.cpp +++ b/test/unit/util/check_white.cpp @@ -4,7 +4,7 @@ * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/util/configuration_black.cpp b/test/unit/util/configuration_black.cpp index 237aec700..f0d51aa6d 100644 --- a/test/unit/util/configuration_black.cpp +++ b/test/unit/util/configuration_black.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Morgan Deters, Aina Niemetz + * Aina Niemetz, Morgan Deters, Mathias Preiner * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/util/datatype_black.cpp b/test/unit/util/datatype_black.cpp index b3ad83f83..da41b41e6 100644 --- a/test/unit/util/datatype_black.cpp +++ b/test/unit/util/datatype_black.cpp @@ -4,7 +4,7 @@ * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/util/didyoumean_black.cpp b/test/unit/util/didyoumean_black.cpp index d60fed62f..bc927f417 100644 --- a/test/unit/util/didyoumean_black.cpp +++ b/test/unit/util/didyoumean_black.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz, Andres Noetzli, Gereon Kremer + * Gereon Kremer * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/util/exception_black.cpp b/test/unit/util/exception_black.cpp index c8f0ab05f..cff49aab9 100644 --- a/test/unit/util/exception_black.cpp +++ b/test/unit/util/exception_black.cpp @@ -4,7 +4,7 @@ * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/util/floatingpoint_black.cpp b/test/unit/util/floatingpoint_black.cpp index 09d934f63..df6375533 100644 --- a/test/unit/util/floatingpoint_black.cpp +++ b/test/unit/util/floatingpoint_black.cpp @@ -4,7 +4,7 @@ * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/util/integer_black.cpp b/test/unit/util/integer_black.cpp index 4b11ad7f4..be62b8659 100644 --- a/test/unit/util/integer_black.cpp +++ b/test/unit/util/integer_black.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz, Tim King + * Aina Niemetz, Tim King, Gereon Kremer * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/util/integer_white.cpp b/test/unit/util/integer_white.cpp index 92426d6cb..e5410de02 100644 --- a/test/unit/util/integer_white.cpp +++ b/test/unit/util/integer_white.cpp @@ -4,7 +4,7 @@ * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/util/output_black.cpp b/test/unit/util/output_black.cpp index 5b26a3624..4b179ff03 100644 --- a/test/unit/util/output_black.cpp +++ b/test/unit/util/output_black.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz, Morgan Deters, Mathias Preiner + * Aina Niemetz, Gereon Kremer, Morgan Deters * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/util/rational_black.cpp b/test/unit/util/rational_black.cpp index 442c89a9b..0b10bef2a 100644 --- a/test/unit/util/rational_black.cpp +++ b/test/unit/util/rational_black.cpp @@ -4,7 +4,7 @@ * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/util/rational_white.cpp b/test/unit/util/rational_white.cpp index 2b05cf5c4..534f90bc8 100644 --- a/test/unit/util/rational_white.cpp +++ b/test/unit/util/rational_white.cpp @@ -4,7 +4,7 @@ * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/util/real_algebraic_number_black.cpp b/test/unit/util/real_algebraic_number_black.cpp index b90e8d364..45f33707c 100644 --- a/test/unit/util/real_algebraic_number_black.cpp +++ b/test/unit/util/real_algebraic_number_black.cpp @@ -4,7 +4,7 @@ * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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. diff --git a/test/unit/util/stats_black.cpp b/test/unit/util/stats_black.cpp index cf01d39d6..21886dbd8 100644 --- a/test/unit/util/stats_black.cpp +++ b/test/unit/util/stats_black.cpp @@ -1,10 +1,10 @@ /****************************************************************************** * Top contributors (to current version): - * Aina Niemetz, Andres Noetzli, Gereon Kremer + * Gereon Kremer, Aina Niemetz * * This file is part of the cvc5 project. * - * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + * Copyright (c) 2009-2022 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.