From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Thu, 2 Jan 2014 19:13:08 +0000 (-0500)
Subject: Update copyright year.
X-Git-Tag: cvc5-1.0.0~6987^2~17
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1e1ba9ff90b760ff7a029b479c659baca16b5a1e;p=cvc5.git

Update copyright year.
---

diff --git a/COPYING b/COPYING
index 8babef432..41e54c467 100644
--- 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 81517cfe4..cc0e9e387 100755
--- 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 508408006..2ff09b0ef 100755
--- 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 720e69d16..9bfa6f5fa 100755
--- 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 9e7a2596f..068063c05 100755
--- 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 02e0f50bf..987feafac 100755
--- 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 7ffe0230b..4dc2908a7 100755
--- 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 2ff857a2f..65a49afa6 100755
--- 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 3ab6079a2..75607b9d8 100644
--- 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 bfcd8cd4d..156aa1591 100644
--- 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 efddb031b..022c4a069 100644
--- 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 d1e6f3a89..8528fc0ab 100644
--- 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 0a21a1fe4..5db2e970d 100755
--- 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 97ede32d5..d6725997d 100755
--- 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 5d078b5ef..07ab4b17e 100644
--- 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\