Update copyright year.

diff --git a/COPYING b/COPYING
index 8babef432f97545d8ec63907a841d5b461df0d4b..41e54c46728c5ecda21d830984cd8e0b8383b3bc 100644 (file)
--- a/COPYING
+++ b/COPYING
@@ -1,4 +1,4 @@
-CVC4 is copyright (C) 2009, 2010, 2011, 2012, 2013 New York University
+CVC4 is copyright (C) 2009, 2010, 2011, 2012, 2013, 2014 New York University
 and The University of Iowa.  All rights reserved.
 
 The source code of CVC4 is open and available to students, researchers,
@@ -23,7 +23,7 @@ THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
 (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
 OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 
--- Morgan Deters <mdeters@cs.nyu.edu>  Tue, 17 Dec 2013 14:35:55 -0500
+-- Morgan Deters <mdeters@cs.nyu.edu>  Thu, 02 Jan 2014 14:02:28 -0500
 
 CVC4 incorporates MiniSat code, excluded from the above copyright.
 See src/sat/minisat.  Its copyright:

diff --git a/contrib/configure-in-place b/contrib/configure-in-place
index 81517cfe43546f1d73a9eec6ec4efefb8ba8bcce..cc0e9e387361e10f8b61ea7d29821f689a5a18f9 100755 (executable)
--- a/contrib/configure-in-place
+++ b/contrib/configure-in-place
@@ -2,7 +2,7 @@
 #
 # configure-in-place
 # Morgan Deters <mdeters@cs.nyu.edu> for CVC4
-# Copyright (c) 2010-2013  The CVC4 Project
+# Copyright (c) 2010-2014  The CVC4 Project
 #
 # usage: configure-in-place [ arguments... ]
 #

diff --git a/contrib/get-authors b/contrib/get-authors
index 5084080065dd0d3b55a0002b448c2119298ba83c..2ff09b0ef435638a9a631c4a26962b5894b4d3c4 100755 (executable)
--- a/contrib/get-authors
+++ b/contrib/get-authors
@@ -2,7 +2,7 @@
 #
 # get-authors
 # Morgan Deters <mdeters@cs.nyu.edu> for CVC4
-# Copyright (c) 2009-2013  The CVC4 Project
+# Copyright (c) 2009-2014  The CVC4 Project
 #
 # usage: get-authors [ files... ]
 #

diff --git a/contrib/update-copyright.pl b/contrib/update-copyright.pl
index 720e69d16bca6872e0c01718a4262ecb2af91047..9bfa6f5fafe894bdb24d01b53a9238a4d4fb4553 100755 (executable)
--- a/contrib/update-copyright.pl
+++ b/contrib/update-copyright.pl
@@ -2,7 +2,7 @@
 #
 # update-copyright.pl
 # Morgan Deters <mdeters@cs.nyu.edu> for CVC4
-# Copyright (c) 2009-2013  The CVC4 Project
+# Copyright (c) 2009-2014  The CVC4 Project
 #
 # usage: update-copyright [-m] [files/directories...]
 #        update-copyright [-h | --help]
@@ -39,7 +39,7 @@ my $excluded_paths = '^(src/parser/antlr_input_imports.cpp|src/bindings/compat/.
 
 # Years of copyright for the template.  E.g., the string
 # "1985, 1987, 1992, 1997, 2008" or "2006-2009" or whatever.
-my $years = '2009-2013';
+my $years = '2009-2014';
 
 my $standard_template = <<EOF;
  ** This file is part of the CVC4 project.

diff --git a/src/expr/mkexpr b/src/expr/mkexpr
index 9e7a2596f90273fd89fd1cbda9cc4842ee5e6974..068063c054d604e26f865684335388c618aed9a8 100755 (executable)
--- a/src/expr/mkexpr
+++ b/src/expr/mkexpr
@@ -15,7 +15,7 @@
 # Output is to standard out.
 #
 
-copyright=2010-2013
+copyright=2010-2014
 
 filename=`basename "$1" | sed 's,_template,,'`
 

diff --git a/src/expr/mkkind b/src/expr/mkkind
index 02e0f50bf5ed7d39412291ffc8a0120e25da4bca..987feafac9b22eb378228ee5a1f17edfae445fb5 100755 (executable)
--- a/src/expr/mkkind
+++ b/src/expr/mkkind
@@ -14,7 +14,7 @@
 # Output is to standard out.
 #
 
-copyright=2010-2013
+copyright=2010-2014
 
 filename=`basename "$1" | sed 's,_template,,'`
 

diff --git a/src/expr/mkmetakind b/src/expr/mkmetakind
index 7ffe0230b30728bb9cba0cd6b94bbe90ffd42b2f..4dc2908a76a22c2c71d8a613553624f81e485106 100755 (executable)
--- a/src/expr/mkmetakind
+++ b/src/expr/mkmetakind
@@ -17,7 +17,7 @@
 # Output is to standard out.
 #
 
-copyright=2010-2013
+copyright=2010-2014
 
 cat <<EOF
 /*********************                                                        */

diff --git a/src/options/mkoptions b/src/options/mkoptions
index 2ff857a2f56b9de018f04d6cccecdc45584e4ce3..65a49afa67b9c6651d8e2bd34ddfca7d9a9cde99 100755 (executable)
--- a/src/options/mkoptions
+++ b/src/options/mkoptions
@@ -12,7 +12,7 @@
 #   mkoptions (template-file output-file)+ -t options.h-template options.cpp-template (options-file output-dir)+
 #
 
-copyright=2011-2013
+copyright=2011-2014
 
 me=$(basename "$0")
 

diff --git a/src/parser/cvc/Cvc.g b/src/parser/cvc/Cvc.g
index 3ab6079a27c766db8868f13acca528c1f310540b..75607b9d8f7e4cc24f2dd679856c335c35a51a45 100644 (file)
--- a/src/parser/cvc/Cvc.g
+++ b/src/parser/cvc/Cvc.g
@@ -417,7 +417,7 @@ Expr addNots(ExprManager* em, size_t n, Expr e) {
 @header {
 /**
  ** This file is part of CVC4.
- ** Copyright (c) 2009-2013  New York University and The University of Iowa
+ ** 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.
  **/

diff --git a/src/parser/smt1/Smt1.g b/src/parser/smt1/Smt1.g
index bfcd8cd4dc4f01104d4cd9bbedc139a66a6b8c88..156aa15917dbf26f60e9c245402460da262572c0 100644 (file)
--- a/src/parser/smt1/Smt1.g
+++ b/src/parser/smt1/Smt1.g
@@ -32,7 +32,7 @@ options {
 @header {
 /**
  ** This file is part of CVC4.
- ** Copyright (c) 2009-2013  New York University and The University of Iowa
+ ** 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.
  **/

diff --git a/src/parser/smt2/Smt2.g b/src/parser/smt2/Smt2.g
index efddb031b7092ef126c1c3216bdb7812d6939ffa..022c4a069fba53cb3618fff4b7ec2e192a344165 100644 (file)
--- a/src/parser/smt2/Smt2.g
+++ b/src/parser/smt2/Smt2.g
@@ -32,7 +32,7 @@ options {
 @header {
 /**
  ** This file is part of CVC4.
- ** Copyright (c) 2009-2013  New York University and The University of Iowa
+ ** 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.
  **/

diff --git a/src/parser/tptp/Tptp.g b/src/parser/tptp/Tptp.g
index d1e6f3a898e31d4a76481696c8de05506ce7a6d6..8528fc0ab6b8ff1bd8ac3eccc05903715daba8e5 100644 (file)
--- a/src/parser/tptp/Tptp.g
+++ b/src/parser/tptp/Tptp.g
@@ -33,7 +33,7 @@ options {
 @header {
 /**
  ** This file is part of CVC4.
- ** Copyright (c) 2009-2013  New York University and The University of Iowa
+ ** 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.
  **/

diff --git a/src/theory/mkrewriter b/src/theory/mkrewriter
index 0a21a1fe4f5578dd0600594cac52f1bba401b3a7..5db2e970d279ea2b0a5f6c3853cf9e8fc046ea10 100755 (executable)
--- a/src/theory/mkrewriter
+++ b/src/theory/mkrewriter
@@ -14,7 +14,7 @@
 # Output is to standard out.
 #
 
-copyright=2010-2013
+copyright=2010-2014
 
 cat <<EOF
 /*********************                                                        */

diff --git a/src/theory/mktheorytraits b/src/theory/mktheorytraits
index 97ede32d583c41fcaff3c156615672124c51b0b7..d6725997da98a7705edb0424787dce26c4772917 100755 (executable)
--- a/src/theory/mktheorytraits
+++ b/src/theory/mktheorytraits
@@ -14,7 +14,7 @@
 # Output is to standard out.
 #
 
-copyright=2010-2013
+copyright=2010-2014
 
 filename=`basename "$1" | sed 's,_template,,'`
 

diff --git a/src/util/configuration_private.h b/src/util/configuration_private.h
index 5d078b5ef1033505efa6876a900fbb2ac4407e98..07ab4b17e2761d833e669e52fc19d6c2a48ae2f7 100644 (file)
--- a/src/util/configuration_private.h
+++ b/src/util/configuration_private.h
@@ -136,7 +136,7 @@ This is CVC4 version " CVC4_RELEASE_STRING ) + \
     )) + "\n\
 compiled with " + ::CVC4::Configuration::getCompiler() + "\n\
 on " + ::CVC4::Configuration::getCompiledDateTime() + "\n\n\
-Copyright (C) 2009, 2010, 2011, 2012, 2013\n\
+Copyright (C) 2009, 2010, 2011, 2012, 2013, 2014\n\
   New York University and The University of Iowa\n\n" + \
     ( IS_GPL_BUILD ? "\
 This build of CVC4 uses GPLed libraries, and is thus covered by the GNU\n\