Update copyright headers.

diff --git a/examples/api/bitvectors-new.cpp b/examples/api/bitvectors-new.cpp
index dfe8c74207595aafde6efdd654ce1be0535366cb..6aea561639a278b2228e5191298eb72b95962144 100644 (file)
--- a/examples/api/bitvectors-new.cpp
+++ b/examples/api/bitvectors-new.cpp
@@ -2,7 +2,7 @@
 /*! \file bitvectors-new.cpp
  ** \verbatim
  ** Top contributors (to current version):
- **   Aina Niemetz
+ **   Aina Niemetz, Makai Mann
  ** This file is part of the CVC4 project.
  ** Copyright (c) 2009-2019 by the authors listed in the file AUTHORS
  ** in the top-level source directory) and their institutional affiliations.

diff --git a/examples/api/bitvectors_and_arrays-new.cpp b/examples/api/bitvectors_and_arrays-new.cpp
index 2abc5f9b4817296b43ff815d78e661c6ebd8f119..f0883d6345c804262512e3dcf575f20c8198b22c 100644 (file)
--- a/examples/api/bitvectors_and_arrays-new.cpp
+++ b/examples/api/bitvectors_and_arrays-new.cpp
@@ -2,7 +2,7 @@
 /*! \file bitvectors_and_arrays-new.cpp
  ** \verbatim
  ** Top contributors (to current version):
- **   Aina Niemetz
+ **   Aina Niemetz, Makai Mann
  ** This file is part of the CVC4 project.
  ** Copyright (c) 2009-2019 by the authors listed in the file AUTHORS
  ** in the top-level source directory) and their institutional affiliations.

diff --git a/examples/api/combination-new.cpp b/examples/api/combination-new.cpp
index de898352ea4dcf5893d51aee9172a69f7d603d8a..a3ff4421f052e81d5d46bae23988986e59f436ad 100644 (file)
--- a/examples/api/combination-new.cpp
+++ b/examples/api/combination-new.cpp
@@ -2,7 +2,7 @@
 /*! \file combination-new.cpp
  ** \verbatim
  ** Top contributors (to current version):
- **   Aina Niemetz
+ **   Aina Niemetz, Makai Mann
  ** This file is part of the CVC4 project.
  ** Copyright (c) 2009-2019 by the authors listed in the file AUTHORS
  ** in the top-level source directory) and their institutional affiliations.

diff --git a/examples/api/datatypes-new.cpp b/examples/api/datatypes-new.cpp
index 6efb1f7fc0d88550ab1259583a31ea490c4186f2..c499fa111326e56661f4fad53ac014b1921b630a 100644 (file)
--- a/examples/api/datatypes-new.cpp
+++ b/examples/api/datatypes-new.cpp
@@ -2,7 +2,7 @@
 /*! \file datatypes-new.cpp
  ** \verbatim
  ** Top contributors (to current version):
- **   Aina Niemetz
+ **   Aina Niemetz, Makai Mann
  ** This file is part of the CVC4 project.
  ** Copyright (c) 2009-2019 by the authors listed in the file AUTHORS
  ** in the top-level source directory) and their institutional affiliations.

diff --git a/examples/api/extract-new.cpp b/examples/api/extract-new.cpp
index 7d9f2771fc593216443ce24f66ad3dc6b72b7182..aad9e0fb59798e0eb9a32c3ba29f703a42c6da23 100644 (file)
--- a/examples/api/extract-new.cpp
+++ b/examples/api/extract-new.cpp
@@ -2,7 +2,7 @@
 /*! \file extract-new.cpp
  ** \verbatim
  ** Top contributors (to current version):
- **   Aina Niemetz
+ **   Aina Niemetz, Makai Mann
  ** This file is part of the CVC4 project.
  ** Copyright (c) 2009-2019 by the authors listed in the file AUTHORS
  ** in the top-level source directory) and their institutional affiliations.

diff --git a/examples/api/helloworld-new.cpp b/examples/api/helloworld-new.cpp
index 307b1638a8ccc870312b83b3ec917e0bb91205e1..a7fbe22e95dbe76e1a5e8fc675bc9c416fcdde98 100644 (file)
--- a/examples/api/helloworld-new.cpp
+++ b/examples/api/helloworld-new.cpp
@@ -2,7 +2,7 @@
 /*! \file helloworld-new.cpp
  ** \verbatim
  ** Top contributors (to current version):
- **   Aina Niemetz
+ **   Aina Niemetz, Makai Mann
  ** This file is part of the CVC4 project.
  ** Copyright (c) 2009-2019 by the authors listed in the file AUTHORS
  ** in the top-level source directory) and their institutional affiliations.

diff --git a/examples/api/linear_arith-new.cpp b/examples/api/linear_arith-new.cpp
index 359c12964e6c6b25b3075c8ba08096acbed0ebd4..aae2fa67ecb46e8caa9946c707fb1e6c22332e43 100644 (file)
--- a/examples/api/linear_arith-new.cpp
+++ b/examples/api/linear_arith-new.cpp
@@ -2,7 +2,7 @@
 /*! \file linear_arith-new.cpp
  ** \verbatim
  ** Top contributors (to current version):
- **   Aina Niemetz
+ **   Aina Niemetz, Makai Mann
  ** This file is part of the CVC4 project.
  ** Copyright (c) 2009-2019 by the authors listed in the file AUTHORS
  ** in the top-level source directory) and their institutional affiliations.

diff --git a/examples/api/sets-new.cpp b/examples/api/sets-new.cpp
index 94ce9d9a8218be17ca7af57428eaccdf1f5a6ab4..6c0352302c35786235e2677095f11be8cc828e70 100644 (file)
--- a/examples/api/sets-new.cpp
+++ b/examples/api/sets-new.cpp
@@ -2,7 +2,7 @@
 /*! \file sets-new.cpp
  ** \verbatim
  ** Top contributors (to current version):
- **   Aina Niemetz
+ **   Aina Niemetz, Makai Mann
  ** This file is part of the CVC4 project.
  ** Copyright (c) 2009-2019 by the authors listed in the file AUTHORS
  ** in the top-level source directory) and their institutional affiliations.

diff --git a/examples/api/strings-new.cpp b/examples/api/strings-new.cpp
index 432ee7b80670edd7f93b685392f8549c707527c3..a9c6dd49172b085756abbc37a15f59fc760db6d3 100644 (file)
--- a/examples/api/strings-new.cpp
+++ b/examples/api/strings-new.cpp
@@ -2,7 +2,7 @@
 /*! \file strings-new.cpp
  ** \verbatim
  ** Top contributors (to current version):
- **   Aina Niemetz
+ **   Aina Niemetz, Makai Mann
  ** This file is part of the CVC4 project.
  ** Copyright (c) 2009-2019 by the authors listed in the file AUTHORS
  ** in the top-level source directory) and their institutional affiliations.

diff --git a/src/options/bool_to_bv_mode.cpp b/src/options/bool_to_bv_mode.cpp
index b8fc4cb8396122fa089888e25c367bfe623507f7..12fd3c1f9a72dd3c831744d5d9ab88bd191eeeda 100644 (file)
--- a/src/options/bool_to_bv_mode.cpp
+++ b/src/options/bool_to_bv_mode.cpp
@@ -2,7 +2,7 @@
 /*! \file bool_to_bv_mode.cpp
  ** \verbatim
  ** Top contributors (to current version):
- **   Makai Mann, Tim King, Morgan Deters
+ **   Makai Mann
  ** This file is part of the CVC4 project.
  ** Copyright (c) 2009-2019 by the authors listed in the file AUTHORS
  ** in the top-level source directory) and their institutional affiliations.

diff --git a/src/options/bool_to_bv_mode.h b/src/options/bool_to_bv_mode.h
index 4e15f930b4132b658db7fab561b7f7ff001b144c..e4506087262763f62c09b70bf88e59fe7e8e45af 100644 (file)
--- a/src/options/bool_to_bv_mode.h
+++ b/src/options/bool_to_bv_mode.h
@@ -2,7 +2,7 @@
 /*! \file bool_to_bv_mode.h
  ** \verbatim
  ** Top contributors (to current version):
- **   Makai Mann, Tim King, Morgan Deters
+ **   Makai Mann
  ** This file is part of the CVC4 project.
  ** Copyright (c) 2009-2019 by the authors listed in the file AUTHORS
  ** in the top-level source directory) and their institutional affiliations.

diff --git a/src/preprocessing/passes/sep_skolem_emp.cpp b/src/preprocessing/passes/sep_skolem_emp.cpp
index e787fe08c4f5812326052be9bcb50c375167d055..a81dbb4b5db9462d1524ba8fb5aba777ac13dba3 100644 (file)
--- a/src/preprocessing/passes/sep_skolem_emp.cpp
+++ b/src/preprocessing/passes/sep_skolem_emp.cpp
@@ -2,7 +2,7 @@
 /*! \file sep_skolem_emp.cpp
  ** \verbatim
  ** Top contributors (to current version):
- **   Yoni Zohar, Andrew Reynolds, Paul Meng
+ **   Yoni Zohar, Andrew Reynolds
  ** This file is part of the CVC4 project.
  ** Copyright (c) 2009-2019 by the authors listed in the file AUTHORS
  ** in the top-level source directory) and their institutional affiliations.

diff --git a/src/theory/fp/theory_fp.cpp b/src/theory/fp/theory_fp.cpp
index 4652f62d1cb425948ac7f410ddd296720bb9b1be..9dae2a5c3ee73c807412867a8a744dc14cf1dc49 100644 (file)
--- a/src/theory/fp/theory_fp.cpp
+++ b/src/theory/fp/theory_fp.cpp
@@ -2,7 +2,7 @@
 /*! \file theory_fp.cpp
  ** \verbatim
  ** Top contributors (to current version):
- **   Martin Brain, Andrew Reynolds, Tim King
+ **   Martin Brain, Andres Noetzli, Andrew Reynolds
  ** This file is part of the CVC4 project.
  ** Copyright (c) 2009-2019 by the authors listed in the file AUTHORS
  ** in the top-level source directory) and their institutional affiliations.

diff --git a/src/theory/theory_model_builder.cpp b/src/theory/theory_model_builder.cpp
index 102979056df9cc27c4ddbad2fc104fbd402f4e5e..7a4a0f04145606c8099c06369826ad8b1e2afa40 100644 (file)
--- a/src/theory/theory_model_builder.cpp
+++ b/src/theory/theory_model_builder.cpp
@@ -2,7 +2,7 @@
 /*! \file theory_model_builder.cpp
  ** \verbatim
  ** Top contributors (to current version):
- **   Andrew Reynolds, Clark Barrett, Morgan Deters
+ **   Andrew Reynolds, Clark Barrett, Andres Noetzli
  ** This file is part of the CVC4 project.
  ** Copyright (c) 2009-2019 by the authors listed in the file AUTHORS
  ** in the top-level source directory) and their institutional affiliations.

diff --git a/test/system/sep_log_api.cpp b/test/system/sep_log_api.cpp
index 7241660483acd9fa6fab0de167f3b608f3c00886..c4bf2d50702d20bfe0910e830c8df3443da72738 100644 (file)
--- a/test/system/sep_log_api.cpp
+++ b/test/system/sep_log_api.cpp
@@ -2,7 +2,7 @@
 /*! \file sep_log_api.cpp
  ** \verbatim
  ** Top contributors (to current version):
- **   ayveejay, Paul Meng, Morgan Deters
+ **   Andrew V. Jones
  ** This file is part of the CVC4 project.
  ** Copyright (c) 2009-2019 by the authors listed in the file AUTHORS
  ** in the top-level source directory) and their institutional affiliations.

diff --git a/test/unit/expr/node_manager_white.h b/test/unit/expr/node_manager_white.h
index 0e5d550a901d248bdd53d993159aa61297ab1a8b..c2888a708dd1b5954c125dfe0252f13b927d580a 100644 (file)
--- a/test/unit/expr/node_manager_white.h
+++ b/test/unit/expr/node_manager_white.h
@@ -2,7 +2,7 @@
 /*! \file node_manager_white.h
  ** \verbatim
  ** Top contributors (to current version):
- **   Morgan Deters, Tim King, Andres Noetzli
+ **   Morgan Deters, Andres Noetzli, Tim King
  ** This file is part of the CVC4 project.
  ** Copyright (c) 2009-2019 by the authors listed in the file AUTHORS
  ** in the top-level source directory) and their institutional affiliations.