diff options
Diffstat (limited to 'examples')
67 files changed, 68 insertions, 68 deletions
diff --git a/examples/CMakeLists.txt b/examples/CMakeLists.txt index d253c9779..7022aa674 100644 --- a/examples/CMakeLists.txt +++ b/examples/CMakeLists.txt @@ -3,7 +3,7 @@ ## Top contributors (to current version): ## Aina Niemetz, Mathias Preiner, Andres Noetzli ## This file is part of the CVC4 project. -## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS +## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ## in the top-level source directory and their institutional affiliations. ## All rights reserved. See the file COPYING in the top-level source ## directory for licensing information. diff --git a/examples/SimpleVC.java b/examples/SimpleVC.java index 0972d4019..b597c80ea 100644 --- a/examples/SimpleVC.java +++ b/examples/SimpleVC.java @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Morgan Deters, Aina Niemetz, Andres Noetzli ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/examples/SimpleVC.py b/examples/SimpleVC.py index 088ab7514..d0a7914d8 100644 --- a/examples/SimpleVC.py +++ b/examples/SimpleVC.py @@ -4,7 +4,7 @@ ## Top contributors (to current version): ## Morgan Deters, Aina Niemetz, Andres Noetzli ## This file is part of the CVC4 project. -## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS +## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ## in the top-level source directory and their institutional affiliations. ## All rights reserved. See the file COPYING in the top-level source ## directory for licensing information. diff --git a/examples/api/CMakeLists.txt b/examples/api/CMakeLists.txt index cbf5fee7b..a19349669 100644 --- a/examples/api/CMakeLists.txt +++ b/examples/api/CMakeLists.txt @@ -3,7 +3,7 @@ ## Top contributors (to current version): ## Mathias Preiner, Abdalrhman Mohamed, Aina Niemetz ## This file is part of the CVC4 project. -## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS +## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ## in the top-level source directory and their institutional affiliations. ## All rights reserved. See the file COPYING in the top-level source ## directory for licensing information. diff --git a/examples/api/bitvectors.cpp b/examples/api/bitvectors.cpp index 2e0874b77..6c0a1e875 100644 --- a/examples/api/bitvectors.cpp +++ b/examples/api/bitvectors.cpp @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Aina Niemetz, Liana Hadarean, Makai Mann ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/examples/api/bitvectors_and_arrays.cpp b/examples/api/bitvectors_and_arrays.cpp index 2096c379e..ebc1da9fe 100644 --- a/examples/api/bitvectors_and_arrays.cpp +++ b/examples/api/bitvectors_and_arrays.cpp @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Aina Niemetz, Liana Hadarean ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/examples/api/combination.cpp b/examples/api/combination.cpp index f4dc72e56..9e0b47f33 100644 --- a/examples/api/combination.cpp +++ b/examples/api/combination.cpp @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Aina Niemetz, Tim King, Mudathir Mohamed ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/examples/api/datatypes.cpp b/examples/api/datatypes.cpp index d9d3c9e9c..fcd2757d7 100644 --- a/examples/api/datatypes.cpp +++ b/examples/api/datatypes.cpp @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Aina Niemetz, Morgan Deters, Andrew Reynolds ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/examples/api/extract.cpp b/examples/api/extract.cpp index 42baca4bc..cbb1468b2 100644 --- a/examples/api/extract.cpp +++ b/examples/api/extract.cpp @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Aina Niemetz, Makai Mann, Clark Barrett ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/examples/api/helloworld.cpp b/examples/api/helloworld.cpp index f7cb3908d..79477c9b8 100644 --- a/examples/api/helloworld.cpp +++ b/examples/api/helloworld.cpp @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Aina Niemetz, Tim King ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/examples/api/java/BitVectors.java b/examples/api/java/BitVectors.java index 5f2950a0e..4fcc814da 100644 --- a/examples/api/java/BitVectors.java +++ b/examples/api/java/BitVectors.java @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Morgan Deters, Liana Hadarean, Aina Niemetz ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/examples/api/java/BitVectorsAndArrays.java b/examples/api/java/BitVectorsAndArrays.java index 64eb3c5db..474a3af16 100644 --- a/examples/api/java/BitVectorsAndArrays.java +++ b/examples/api/java/BitVectorsAndArrays.java @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Morgan Deters, Liana Hadarean, Andres Noetzli ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/examples/api/java/CMakeLists.txt b/examples/api/java/CMakeLists.txt index ce01c2ea9..ca4f467ab 100644 --- a/examples/api/java/CMakeLists.txt +++ b/examples/api/java/CMakeLists.txt @@ -3,7 +3,7 @@ ## Top contributors (to current version): ## Andres Noetzli, Aina Niemetz, Mathias Preiner ## This file is part of the CVC4 project. -## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS +## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ## in the top-level source directory and their institutional affiliations. ## All rights reserved. See the file COPYING in the top-level source ## directory for licensing information. diff --git a/examples/api/java/CVC4Streams.java b/examples/api/java/CVC4Streams.java index e16a9f3f3..37e04e588 100644 --- a/examples/api/java/CVC4Streams.java +++ b/examples/api/java/CVC4Streams.java @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Morgan Deters, Andres Noetzli ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/examples/api/java/Combination.java b/examples/api/java/Combination.java index 47828085e..6e5ec538b 100644 --- a/examples/api/java/Combination.java +++ b/examples/api/java/Combination.java @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Morgan Deters, Tim King, Aina Niemetz ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/examples/api/java/Datatypes.java b/examples/api/java/Datatypes.java index 3eb64ed7d..8985ea006 100644 --- a/examples/api/java/Datatypes.java +++ b/examples/api/java/Datatypes.java @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Morgan Deters, Andres Noetzli, Andrew Reynolds ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/examples/api/java/Exceptions.java b/examples/api/java/Exceptions.java index dfe5e63fe..9c8b66a73 100644 --- a/examples/api/java/Exceptions.java +++ b/examples/api/java/Exceptions.java @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Andres Noetzli ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/examples/api/java/FloatingPointArith.java b/examples/api/java/FloatingPointArith.java index fd8e7dd2d..69d6b3b10 100644 --- a/examples/api/java/FloatingPointArith.java +++ b/examples/api/java/FloatingPointArith.java @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Andres Noetzli ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/examples/api/java/HelloWorld.java b/examples/api/java/HelloWorld.java index cff384803..b1f8b560a 100644 --- a/examples/api/java/HelloWorld.java +++ b/examples/api/java/HelloWorld.java @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Morgan Deters, Tim King, Andres Noetzli ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/examples/api/java/LinearArith.java b/examples/api/java/LinearArith.java index a363477d2..886b501dd 100644 --- a/examples/api/java/LinearArith.java +++ b/examples/api/java/LinearArith.java @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Morgan Deters, Tim King, Aina Niemetz ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/examples/api/java/PipedInput.java b/examples/api/java/PipedInput.java index 1642991a3..064f59b7e 100644 --- a/examples/api/java/PipedInput.java +++ b/examples/api/java/PipedInput.java @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Morgan Deters, Andres Noetzli ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/examples/api/java/Relations.java b/examples/api/java/Relations.java index 10d172332..f462515c0 100644 --- a/examples/api/java/Relations.java +++ b/examples/api/java/Relations.java @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Mudathir Mohamed, Andres Noetzli ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/examples/api/java/Statistics.java b/examples/api/java/Statistics.java index ac7e9ce13..c0049050c 100644 --- a/examples/api/java/Statistics.java +++ b/examples/api/java/Statistics.java @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Andres Noetzli ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/examples/api/java/Strings.java b/examples/api/java/Strings.java index 24c1fa7dc..8bc9d7f26 100644 --- a/examples/api/java/Strings.java +++ b/examples/api/java/Strings.java @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Tianyi Liang, Andres Noetzli ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/examples/api/java/UnsatCores.java b/examples/api/java/UnsatCores.java index 5713d98fe..968639b00 100644 --- a/examples/api/java/UnsatCores.java +++ b/examples/api/java/UnsatCores.java @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Andres Noetzli ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/examples/api/linear_arith.cpp b/examples/api/linear_arith.cpp index 77c1e196f..039ae586f 100644 --- a/examples/api/linear_arith.cpp +++ b/examples/api/linear_arith.cpp @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Aina Niemetz, Tim King, Mudathir Mohamed ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/examples/api/python/CMakeLists.txt b/examples/api/python/CMakeLists.txt index 04bb8a818..0a8b8cefd 100644 --- a/examples/api/python/CMakeLists.txt +++ b/examples/api/python/CMakeLists.txt @@ -3,7 +3,7 @@ ## Top contributors (to current version): ## Andres Noetzli ## This file is part of the CVC4 project. -## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS +## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ## in the top-level source directory and their institutional affiliations. ## All rights reserved. See the file COPYING in the top-level source ## directory for licensing information. diff --git a/examples/api/python/bitvectors.py b/examples/api/python/bitvectors.py index c370e50be..0bd6dc38a 100644 --- a/examples/api/python/bitvectors.py +++ b/examples/api/python/bitvectors.py @@ -4,7 +4,7 @@ ## Top contributors (to current version): ## Makai Mann, Aina Niemetz ## This file is part of the CVC4 project. -## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS +## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ## in the top-level source directory and their institutional affiliations. ## All rights reserved. See the file COPYING in the top-level source ## directory for licensing information. diff --git a/examples/api/python/bitvectors_and_arrays.py b/examples/api/python/bitvectors_and_arrays.py index be88f690e..69acf3de7 100644 --- a/examples/api/python/bitvectors_and_arrays.py +++ b/examples/api/python/bitvectors_and_arrays.py @@ -4,7 +4,7 @@ ## Top contributors (to current version): ## Makai Mann ## This file is part of the CVC4 project. -## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS +## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ## in the top-level source directory and their institutional affiliations. ## All rights reserved. See the file COPYING in the top-level source ## directory for licensing information. diff --git a/examples/api/python/combination.py b/examples/api/python/combination.py index 7733437a1..0289f07d3 100644 --- a/examples/api/python/combination.py +++ b/examples/api/python/combination.py @@ -4,7 +4,7 @@ ## Top contributors (to current version): ## Makai Mann, Mudathir Mohamed, Aina Niemetz ## This file is part of the CVC4 project. -## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS +## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ## in the top-level source directory and their institutional affiliations. ## All rights reserved. See the file COPYING in the top-level source ## directory for licensing information. diff --git a/examples/api/python/datatypes.py b/examples/api/python/datatypes.py index 6eef4478d..1c972da13 100644 --- a/examples/api/python/datatypes.py +++ b/examples/api/python/datatypes.py @@ -4,7 +4,7 @@ ## Top contributors (to current version): ## Makai Mann, Andrew Reynolds, Aina Niemetz ## This file is part of the CVC4 project. -## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS +## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ## in the top-level source directory and their institutional affiliations. ## All rights reserved. See the file COPYING in the top-level source ## directory for licensing information. diff --git a/examples/api/python/exceptions.py b/examples/api/python/exceptions.py index 97b186b26..017aa82be 100644 --- a/examples/api/python/exceptions.py +++ b/examples/api/python/exceptions.py @@ -4,7 +4,7 @@ ## Top contributors (to current version): ## Andres Noetzli ## This file is part of the CVC4 project. -## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS +## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ## in the top-level source directory and their institutional affiliations. ## All rights reserved. See the file COPYING in the top-level source ## directory for licensing information. diff --git a/examples/api/python/extract.py b/examples/api/python/extract.py index dfe339003..e4378674c 100644 --- a/examples/api/python/extract.py +++ b/examples/api/python/extract.py @@ -4,7 +4,7 @@ ## Top contributors (to current version): ## Makai Mann, Aina Niemetz ## This file is part of the CVC4 project. -## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS +## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ## in the top-level source directory and their institutional affiliations. ## All rights reserved. See the file COPYING in the top-level source ## directory for licensing information. diff --git a/examples/api/python/floating_point.py b/examples/api/python/floating_point.py index bee23b2c7..d22e2be5f 100644 --- a/examples/api/python/floating_point.py +++ b/examples/api/python/floating_point.py @@ -4,7 +4,7 @@ ## Top contributors (to current version): ## Makai Mann, Andres Noetzli ## This file is part of the CVC4 project. -## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS +## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ## in the top-level source directory and their institutional affiliations. ## All rights reserved. See the file COPYING in the top-level source ## directory for licensing information. diff --git a/examples/api/python/helloworld.py b/examples/api/python/helloworld.py index 2d05822e5..e4ca5ec93 100644 --- a/examples/api/python/helloworld.py +++ b/examples/api/python/helloworld.py @@ -4,7 +4,7 @@ ## Top contributors (to current version): ## Makai Mann, Aina Niemetz ## This file is part of the CVC4 project. -## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS +## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ## in the top-level source directory and their institutional affiliations. ## All rights reserved. See the file COPYING in the top-level source ## directory for licensing information. diff --git a/examples/api/python/linear_arith.py b/examples/api/python/linear_arith.py index f539d1e05..9b236777a 100644 --- a/examples/api/python/linear_arith.py +++ b/examples/api/python/linear_arith.py @@ -4,7 +4,7 @@ ## Top contributors (to current version): ## Makai Mann, Mudathir Mohamed, Aina Niemetz ## This file is part of the CVC4 project. -## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS +## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ## in the top-level source directory and their institutional affiliations. ## All rights reserved. See the file COPYING in the top-level source ## directory for licensing information. diff --git a/examples/api/python/sequences.py b/examples/api/python/sequences.py index 9e3e45dc2..d2cff87bf 100644 --- a/examples/api/python/sequences.py +++ b/examples/api/python/sequences.py @@ -4,7 +4,7 @@ ## Top contributors (to current version): ## Andres Noetzli, Makai Mann, Mudathir Mohamed ## This file is part of the CVC4 project. -## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS +## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ## in the top-level source directory and their institutional affiliations. ## All rights reserved. See the file COPYING in the top-level source ## directory for licensing information. diff --git a/examples/api/python/sets.py b/examples/api/python/sets.py index 5d2f842f5..0c5b37ad8 100644 --- a/examples/api/python/sets.py +++ b/examples/api/python/sets.py @@ -4,7 +4,7 @@ ## Top contributors (to current version): ## Makai Mann, Mudathir Mohamed, Aina Niemetz ## This file is part of the CVC4 project. -## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS +## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ## in the top-level source directory and their institutional affiliations. ## All rights reserved. See the file COPYING in the top-level source ## directory for licensing information. diff --git a/examples/api/python/strings.py b/examples/api/python/strings.py index 518a7b993..22ee24ae1 100644 --- a/examples/api/python/strings.py +++ b/examples/api/python/strings.py @@ -4,7 +4,7 @@ ## Top contributors (to current version): ## Makai Mann, Mudathir Mohamed, Andres Noetzli ## This file is part of the CVC4 project. -## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS +## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ## in the top-level source directory and their institutional affiliations. ## All rights reserved. See the file COPYING in the top-level source ## directory for licensing information. diff --git a/examples/api/python/sygus-fun.py b/examples/api/python/sygus-fun.py index 9fb7f4648..c3ae06140 100644 --- a/examples/api/python/sygus-fun.py +++ b/examples/api/python/sygus-fun.py @@ -5,7 +5,7 @@ ## Yoni Zohar, Andres Noetzli, Mudathir Mohamed ## Copyright (c) 2009-2018 by the authors listed in the file AUTHkinds.OrS ## This file is part of the CVC4 project. -## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS +## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ## in the top-level source directory and their institutional affiliations. ## All rights reserved. See the file COPYING in the top-level source ## directory for licensing information. diff --git a/examples/api/python/sygus-grammar.py b/examples/api/python/sygus-grammar.py index 1410e6739..881e488a7 100644 --- a/examples/api/python/sygus-grammar.py +++ b/examples/api/python/sygus-grammar.py @@ -4,7 +4,7 @@ ## Top contributors (to current version): ## Yoni Zohar, Mudathir Mohamed ## This file is part of the CVC4 project. -## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS +## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ## in the top-level source directory and their institutional affiliations. ## All rights reserved. See the file COPYING in the top-level source ## directory for licensing information. diff --git a/examples/api/python/sygus-inv.py b/examples/api/python/sygus-inv.py index ac28f8f1b..9d2216bef 100644 --- a/examples/api/python/sygus-inv.py +++ b/examples/api/python/sygus-inv.py @@ -4,7 +4,7 @@ ## Top contributors (to current version): ## Yoni Zohar, Mudathir Mohamed ## This file is part of the CVC4 project. -## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS +## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ## in the top-level source directory and their institutional affiliations. ## All rights reserved. See the file COPYING in the top-level source ## directory for licensing information. diff --git a/examples/api/sequences.cpp b/examples/api/sequences.cpp index 63d5aac96..ef479cbd3 100644 --- a/examples/api/sequences.cpp +++ b/examples/api/sequences.cpp @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Andres Noetzli, Aina Niemetz, Tianyi Liang ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/examples/api/sets.cpp b/examples/api/sets.cpp index 6033fb94e..b1090d19b 100644 --- a/examples/api/sets.cpp +++ b/examples/api/sets.cpp @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Aina Niemetz, Kshitij Bansal, Mudathir Mohamed ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/examples/api/strings.cpp b/examples/api/strings.cpp index c95600c30..bae9c9ec2 100644 --- a/examples/api/strings.cpp +++ b/examples/api/strings.cpp @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Aina Niemetz, Tianyi Liang, Mudathir Mohamed ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/examples/api/sygus-fun.cpp b/examples/api/sygus-fun.cpp index a5b421fae..dc6f4df0f 100644 --- a/examples/api/sygus-fun.cpp +++ b/examples/api/sygus-fun.cpp @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Abdalrhman Mohamed, Mudathir Mohamed ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/examples/api/sygus-grammar.cpp b/examples/api/sygus-grammar.cpp index e5481676a..9dc801e66 100644 --- a/examples/api/sygus-grammar.cpp +++ b/examples/api/sygus-grammar.cpp @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Abdalrhman Mohamed, Mudathir Mohamed ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/examples/api/sygus-inv.cpp b/examples/api/sygus-inv.cpp index f903b0242..8435eea44 100644 --- a/examples/api/sygus-inv.cpp +++ b/examples/api/sygus-inv.cpp @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Abdalrhman Mohamed, Mudathir Mohamed ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/examples/hashsmt/CMakeLists.txt b/examples/hashsmt/CMakeLists.txt index 48eec6022..c436f5e56 100644 --- a/examples/hashsmt/CMakeLists.txt +++ b/examples/hashsmt/CMakeLists.txt @@ -3,7 +3,7 @@ ## Top contributors (to current version): ## Mathias Preiner, Aina Niemetz ## This file is part of the CVC4 project. -## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS +## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ## in the top-level source directory and their institutional affiliations. ## All rights reserved. See the file COPYING in the top-level source ## directory for licensing information. diff --git a/examples/hashsmt/sha1.hpp b/examples/hashsmt/sha1.hpp index b1a0aec0e..98c33d47e 100644 --- a/examples/hashsmt/sha1.hpp +++ b/examples/hashsmt/sha1.hpp @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Dejan Jovanovic, Tim King ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/examples/hashsmt/sha1_collision.cpp b/examples/hashsmt/sha1_collision.cpp index dcf46c01f..7887cb3e9 100644 --- a/examples/hashsmt/sha1_collision.cpp +++ b/examples/hashsmt/sha1_collision.cpp @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Dejan Jovanovic, Aina Niemetz, Tim King ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/examples/hashsmt/sha1_inversion.cpp b/examples/hashsmt/sha1_inversion.cpp index cd05f2eef..e555486d2 100644 --- a/examples/hashsmt/sha1_inversion.cpp +++ b/examples/hashsmt/sha1_inversion.cpp @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Dejan Jovanovic, Aina Niemetz, Andres Noetzli ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/examples/hashsmt/word.cpp b/examples/hashsmt/word.cpp index 641fd80fa..4d86d062e 100644 --- a/examples/hashsmt/word.cpp +++ b/examples/hashsmt/word.cpp @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Dejan Jovanovic, Tim King, Morgan Deters ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/examples/hashsmt/word.h b/examples/hashsmt/word.h index f5d33a9f4..11871e951 100644 --- a/examples/hashsmt/word.h +++ b/examples/hashsmt/word.h @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Dejan Jovanovic ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/examples/nra-translate/CMakeLists.txt b/examples/nra-translate/CMakeLists.txt index 6c751bd5e..373560748 100644 --- a/examples/nra-translate/CMakeLists.txt +++ b/examples/nra-translate/CMakeLists.txt @@ -3,7 +3,7 @@ ## Top contributors (to current version): ## Aina Niemetz, Mathias Preiner ## This file is part of the CVC4 project. -## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS +## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ## in the top-level source directory and their institutional affiliations. ## All rights reserved. See the file COPYING in the top-level source ## directory for licensing information. diff --git a/examples/nra-translate/normalize.cpp b/examples/nra-translate/normalize.cpp index 033def34a..43e120f08 100644 --- a/examples/nra-translate/normalize.cpp +++ b/examples/nra-translate/normalize.cpp @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Dejan Jovanovic, Aina Niemetz, Tim King ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/examples/nra-translate/smt2info.cpp b/examples/nra-translate/smt2info.cpp index 385d749d4..b73b0d28f 100644 --- a/examples/nra-translate/smt2info.cpp +++ b/examples/nra-translate/smt2info.cpp @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Dejan Jovanovic, Aina Niemetz, Tim King ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/examples/nra-translate/smt2todreal.cpp b/examples/nra-translate/smt2todreal.cpp index 7607f370f..fe27b01bd 100644 --- a/examples/nra-translate/smt2todreal.cpp +++ b/examples/nra-translate/smt2todreal.cpp @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Dejan Jovanovic, Tim King, Aina Niemetz ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/examples/nra-translate/smt2toisat.cpp b/examples/nra-translate/smt2toisat.cpp index 62b9a32d3..33efcbbfe 100644 --- a/examples/nra-translate/smt2toisat.cpp +++ b/examples/nra-translate/smt2toisat.cpp @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Dejan Jovanovic, Andrew Reynolds, Aina Niemetz ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/examples/nra-translate/smt2tomathematica.cpp b/examples/nra-translate/smt2tomathematica.cpp index 675ebe0d3..0c7a4f275 100644 --- a/examples/nra-translate/smt2tomathematica.cpp +++ b/examples/nra-translate/smt2tomathematica.cpp @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Dejan Jovanovic, Andrew Reynolds, Aina Niemetz ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/examples/nra-translate/smt2toqepcad.cpp b/examples/nra-translate/smt2toqepcad.cpp index 9af41d750..6164f437c 100644 --- a/examples/nra-translate/smt2toqepcad.cpp +++ b/examples/nra-translate/smt2toqepcad.cpp @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Dejan Jovanovic, Tim King, Andrew Reynolds ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/examples/nra-translate/smt2toredlog.cpp b/examples/nra-translate/smt2toredlog.cpp index 4eb2985c4..97d600797 100644 --- a/examples/nra-translate/smt2toredlog.cpp +++ b/examples/nra-translate/smt2toredlog.cpp @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Dejan Jovanovic, Andrew Reynolds, Aina Niemetz ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/examples/sets-translate/CMakeLists.txt b/examples/sets-translate/CMakeLists.txt index 6859b444b..a1f5d70ef 100644 --- a/examples/sets-translate/CMakeLists.txt +++ b/examples/sets-translate/CMakeLists.txt @@ -3,7 +3,7 @@ ## Top contributors (to current version): ## Aina Niemetz, Mathias Preiner ## This file is part of the CVC4 project. -## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS +## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ## in the top-level source directory and their institutional affiliations. ## All rights reserved. See the file COPYING in the top-level source ## directory for licensing information. diff --git a/examples/sets-translate/sets_translate.cpp b/examples/sets-translate/sets_translate.cpp index e9ddddf7f..3e59eaa2a 100644 --- a/examples/sets-translate/sets_translate.cpp +++ b/examples/sets-translate/sets_translate.cpp @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Kshitij Bansal, Andres Noetzli, Tim King ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/examples/simple_vc_cxx.cpp b/examples/simple_vc_cxx.cpp index 94bbee564..f99a0170e 100644 --- a/examples/simple_vc_cxx.cpp +++ b/examples/simple_vc_cxx.cpp @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Andres Noetzli, Morgan Deters, Mudathir Mohamed ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim diff --git a/examples/simple_vc_quant_cxx.cpp b/examples/simple_vc_quant_cxx.cpp index b2dd0d3e6..9fb720652 100644 --- a/examples/simple_vc_quant_cxx.cpp +++ b/examples/simple_vc_quant_cxx.cpp @@ -4,14 +4,14 @@ ** Top contributors (to current version): ** Andres Noetzli, Andrew Reynolds, Mudathir Mohamed ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim ** ** \brief A simple demonstration of the C++ interface for quantifiers ** - ** A simple demonstration of the C++ interface for quantifiers. + ** A simple demonstration of the C++ interface for quantifiers. **/ #include <cvc4/api/cvc4cpp.h> diff --git a/examples/translator.cpp b/examples/translator.cpp index a76fa7e1d..0783989fc 100644 --- a/examples/translator.cpp +++ b/examples/translator.cpp @@ -4,7 +4,7 @@ ** Top contributors (to current version): ** Morgan Deters, Tim King, Andrew Reynolds ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim |