diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-03-08 23:27:03 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-09 07:27:03 +0000 |
commit | b302cb1f92aae1c0954c86065469e5c2b7206e74 (patch) | |
tree | f2b4cad1effdfe8041f00f23b6fe255b0c4004bb /examples/api/python | |
parent | 86ce1c18f8ea7a397a8b12405a196b126e82b648 (diff) |
Update copyright headers to 2021. (#6081)
Diffstat (limited to 'examples/api/python')
-rw-r--r-- | examples/api/python/CMakeLists.txt | 2 | ||||
-rw-r--r-- | examples/api/python/bitvectors.py | 2 | ||||
-rw-r--r-- | examples/api/python/bitvectors_and_arrays.py | 2 | ||||
-rw-r--r-- | examples/api/python/combination.py | 2 | ||||
-rw-r--r-- | examples/api/python/datatypes.py | 2 | ||||
-rw-r--r-- | examples/api/python/exceptions.py | 2 | ||||
-rw-r--r-- | examples/api/python/extract.py | 2 | ||||
-rw-r--r-- | examples/api/python/floating_point.py | 2 | ||||
-rw-r--r-- | examples/api/python/helloworld.py | 2 | ||||
-rw-r--r-- | examples/api/python/linear_arith.py | 2 | ||||
-rw-r--r-- | examples/api/python/sequences.py | 2 | ||||
-rw-r--r-- | examples/api/python/sets.py | 2 | ||||
-rw-r--r-- | examples/api/python/strings.py | 2 | ||||
-rw-r--r-- | examples/api/python/sygus-fun.py | 2 | ||||
-rw-r--r-- | examples/api/python/sygus-grammar.py | 2 | ||||
-rw-r--r-- | examples/api/python/sygus-inv.py | 2 |
16 files changed, 16 insertions, 16 deletions
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. |