Updating the copyright headers and scripts.

13 files changed, 79 insertions, 79 deletions

diff --git a/src/base/configuration.cpp b/src/base/configuration.cpp
index c3ba39075..ce8967a18 100644
--- a/src/base/configuration.cpp
+++ b/src/base/configuration.cpp
@@ -1,13 +1,13 @@
 /*********************                                                        */
 /*! \file configuration.cpp
  ** \verbatim
- ** Original author: Morgan Deters
- ** Major contributors: none
- ** Minor contributors (to current version): Liana Hadarean, Tim King, ACSYS, Christopher L. Conway, Dejan Jovanovic, Francois Bobot
+ ** Top contributors (to current version):
+ **   Morgan Deters, Francois Bobot, Tim King
  ** This file is part of the CVC4 project.
- ** Copyright (c) 2009-2014  New York University and The University of Iowa
- ** See the file COPYING in the top-level source directory for licensing
- ** information.\endverbatim
+ ** Copyright (c) 2009-2016 by the authors listed in the file AUTHORS
+ ** in the 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 Implementation of Configuration class, which provides compile-time
  ** configuration information about the CVC4 library
diff --git a/src/base/configuration.h b/src/base/configuration.h
index 818652db0..498337c4c 100644
--- a/src/base/configuration.h
+++ b/src/base/configuration.h
@@ -1,13 +1,13 @@
 /*********************                                                        */
 /*! \file configuration.h
  ** \verbatim
- ** Original author: Morgan Deters
- ** Major contributors: none
- ** Minor contributors (to current version): ACSYS, Liana Hadarean, Tim King, Francois Bobot
+ ** Top contributors (to current version):
+ **   Morgan Deters, Tim King, Francois Bobot
  ** This file is part of the CVC4 project.
- ** Copyright (c) 2009-2014  New York University and The University of Iowa
- ** See the file COPYING in the top-level source directory for licensing
- ** information.\endverbatim
+ ** Copyright (c) 2009-2016 by the authors listed in the file AUTHORS
+ ** in the 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 Interface to a public class that provides compile-time information
  ** about the CVC4 library.
diff --git a/src/base/configuration_private.h b/src/base/configuration_private.h
index 902fdad09..74ce00bdf 100644
--- a/src/base/configuration_private.h
+++ b/src/base/configuration_private.h
@@ -1,13 +1,13 @@
 /*********************                                                        */
 /*! \file configuration_private.h
  ** \verbatim
- ** Original author: Christopher L. Conway
- ** Major contributors: ACSYS, Morgan Deters
- ** Minor contributors (to current version): Liana Hadarean, Tim King
+ ** Top contributors (to current version):
+ **   Morgan Deters, Christopher L. Conway, ACSYS
  ** This file is part of the CVC4 project.
- ** Copyright (c) 2009-2014  New York University and The University of Iowa
- ** See the file COPYING in the top-level source directory for licensing
- ** information.\endverbatim
+ ** Copyright (c) 2009-2016 by the authors listed in the file AUTHORS
+ ** in the 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 Provides compile-time configuration information about the
  ** CVC4 library.
diff --git a/src/base/cvc4_assert.cpp b/src/base/cvc4_assert.cpp
index efc71c986..8d5b9e508 100644
--- a/src/base/cvc4_assert.cpp
+++ b/src/base/cvc4_assert.cpp
@@ -1,13 +1,13 @@
 /*********************                                                        */
 /*! \file cvc4_assert.cpp
  ** \verbatim
- ** Original author: Morgan Deters
- ** Major contributors: none
- ** Minor contributors (to current version): none
+ ** Top contributors (to current version):
+ **   Morgan Deters, Tim King
  ** This file is part of the CVC4 project.
- ** Copyright (c) 2009-2014  New York University and The University of Iowa
- ** See the file COPYING in the top-level source directory for licensing
- ** information.\endverbatim
+ ** Copyright (c) 2009-2016 by the authors listed in the file AUTHORS
+ ** in the 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 Assertion utility classes, functions, and exceptions.
  **
diff --git a/src/base/cvc4_assert.h b/src/base/cvc4_assert.h
index 63ed6d53e..5f67ba57d 100644
--- a/src/base/cvc4_assert.h
+++ b/src/base/cvc4_assert.h
@@ -1,13 +1,13 @@
 /*********************                                                        */
 /*! \file cvc4_assert.h
  ** \verbatim
- ** Original author: Morgan Deters
- ** Major contributors: none
- ** Minor contributors (to current version): ACSYS
+ ** Top contributors (to current version):
+ **   Morgan Deters, Tim King
  ** This file is part of the CVC4 project.
- ** Copyright (c) 2009-2014  New York University and The University of Iowa
- ** See the file COPYING in the top-level source directory for licensing
- ** information.\endverbatim
+ ** Copyright (c) 2009-2016 by the authors listed in the file AUTHORS
+ ** in the 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 Assertion utility classes, functions, exceptions, and macros.
  **
diff --git a/src/base/exception.cpp b/src/base/exception.cpp
index cdad92d5d..4f62f68db 100644
--- a/src/base/exception.cpp
+++ b/src/base/exception.cpp
@@ -1,13 +1,13 @@
 /*********************                                                        */
 /*! \file exception.cpp
  ** \verbatim
- ** Original author: Morgan Deters
- ** Major contributors: none
- ** Minor contributors (to current version): none
+ ** Top contributors (to current version):
+ **   Tim King, Morgan Deters
  ** This file is part of the CVC4 project.
- ** Copyright (c) 2009-2014  New York University and The University of Iowa
- ** See the file COPYING in the top-level source directory for licensing
- ** information.\endverbatim
+ ** Copyright (c) 2009-2016 by the authors listed in the file AUTHORS
+ ** in the 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 CVC4's exception base class and some associated utilities
  **
diff --git a/src/base/exception.h b/src/base/exception.h
index 38bbe47a4..8f3016e4e 100644
--- a/src/base/exception.h
+++ b/src/base/exception.h
@@ -1,13 +1,13 @@
 /*********************                                                        */
 /*! \file exception.h
  ** \verbatim
- ** Original author: Morgan Deters
- ** Major contributors: none
- ** Minor contributors (to current version): none
+ ** Top contributors (to current version):
+ **   Morgan Deters, Tim King
  ** This file is part of the CVC4 project.
- ** Copyright (c) 2009-2014  New York University and The University of Iowa
- ** See the file COPYING in the top-level source directory for licensing
- ** information.\endverbatim
+ ** Copyright (c) 2009-2016 by the authors listed in the file AUTHORS
+ ** in the 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 CVC4's exception base class and some associated utilities
  **
diff --git a/src/base/listener.cpp b/src/base/listener.cpp
index 2daced1f5..1f7c6158b 100644
--- a/src/base/listener.cpp
+++ b/src/base/listener.cpp
@@ -1,13 +1,13 @@
 /*********************                                                        */
-/*! \file managed_listener.h
+/*! \file listener.cpp
  ** \verbatim
- ** Original author: Tim King
- ** Major contributors: none
- ** Minor contributors (to current version): none
+ ** Top contributors (to current version):
+ **   Tim King
  ** This file is part of the CVC4 project.
- ** Copyright (c) 2009-2016  New York University and The University of Iowa
- ** See the file COPYING in the top-level source directory for licensing
- ** information.\endverbatim
+ ** Copyright (c) 2009-2016 by the authors listed in the file AUTHORS
+ ** in the 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 Output utility classes and functions
  **
diff --git a/src/base/listener.h b/src/base/listener.h
index 8094c634d..724935ae7 100644
--- a/src/base/listener.h
+++ b/src/base/listener.h
@@ -1,13 +1,13 @@
 /*********************                                                        */
 /*! \file listener.h
  ** \verbatim
- ** Original author: Tim King
- ** Major contributors: none
- ** Minor contributors (to current version): none
+ ** Top contributors (to current version):
+ **   Tim King
  ** This file is part of the CVC4 project.
- ** Copyright (c) 2009-2016  New York University and The University of Iowa
- ** See the file COPYING in the top-level source directory for licensing
- ** information.\endverbatim
+ ** Copyright (c) 2009-2016 by the authors listed in the file AUTHORS
+ ** in the 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 Utility classes for listeners and collections of listeners.
  **
diff --git a/src/base/modal_exception.h b/src/base/modal_exception.h
index 44f133372..c662da2c8 100644
--- a/src/base/modal_exception.h
+++ b/src/base/modal_exception.h
@@ -1,13 +1,13 @@
 /*********************                                                        */
 /*! \file modal_exception.h
  ** \verbatim
- ** Original author: Morgan Deters
- ** Major contributors: none
- ** Minor contributors (to current version): none
+ ** Top contributors (to current version):
+ **   Morgan Deters, Tim King
  ** This file is part of the CVC4 project.
- ** Copyright (c) 2009-2014  New York University and The University of Iowa
- ** See the file COPYING in the top-level source directory for licensing
- ** information.\endverbatim
+ ** Copyright (c) 2009-2016 by the authors listed in the file AUTHORS
+ ** in the 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 An exception that is thrown when an interactive-only
  ** feature while CVC4 is being used in a non-interactive setting
diff --git a/src/base/output.cpp b/src/base/output.cpp
index be0f10fda..1d4525701 100644
--- a/src/base/output.cpp
+++ b/src/base/output.cpp
@@ -1,13 +1,13 @@
 /*********************                                                        */
 /*! \file output.cpp
  ** \verbatim
- ** Original author: Morgan Deters
- ** Major contributors: none
- ** Minor contributors (to current version): none
+ ** Top contributors (to current version):
+ **   Morgan Deters, Tim King
  ** This file is part of the CVC4 project.
- ** Copyright (c) 2009-2014  New York University and The University of Iowa
- ** See the file COPYING in the top-level source directory for licensing
- ** information.\endverbatim
+ ** Copyright (c) 2009-2016 by the authors listed in the file AUTHORS
+ ** in the 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 Output utility classes and functions
  **
diff --git a/src/base/output.h b/src/base/output.h
index 9d1ab03ae..30b5c8ea5 100644
--- a/src/base/output.h
+++ b/src/base/output.h
@@ -1,13 +1,13 @@
 /*********************                                                        */
 /*! \file output.h
  ** \verbatim
- ** Original author: Morgan Deters
- ** Major contributors: none
- ** Minor contributors (to current version): Tim King, Dejan Jovanovic
+ ** Top contributors (to current version):
+ **   Morgan Deters, Tim King, Dejan Jovanovic
  ** This file is part of the CVC4 project.
- ** Copyright (c) 2009-2014  New York University and The University of Iowa
- ** See the file COPYING in the top-level source directory for licensing
- ** information.\endverbatim
+ ** Copyright (c) 2009-2016 by the authors listed in the file AUTHORS
+ ** in the 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 Output utility classes and functions
  **
diff --git a/src/base/tls.h.in b/src/base/tls.h.in
index 88969e250..a61eb79be 100644
--- a/src/base/tls.h.in
+++ b/src/base/tls.h.in
@@ -1,13 +1,13 @@
 /*********************                                                        */
 /*! \file tls.h.in
  ** \verbatim
- ** Original author: ACSYS
- ** Major contributors: Morgan Deters
- ** Minor contributors (to current version): none
+ ** Top contributors (to current version):
+ **   Morgan Deters, ACSYS, Tim King
  ** This file is part of the CVC4 project.
- ** Copyright (c) 2009-2014  New York University and The University of Iowa
- ** See the file COPYING in the top-level source directory for licensing
- ** information.\endverbatim
+ ** Copyright (c) 2009-2016 by the authors listed in the file AUTHORS
+ ** in the 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 Header to define CVC4_THREAD whether or not TLS is
  ** supported by the compiler/runtime platform