diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-01-02 14:13:08 -0500 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-01-02 14:13:08 -0500 |
commit | 1e1ba9ff90b760ff7a029b479c659baca16b5a1e (patch) | |
tree | b59b2803844ff7106d8ecad574ed6c5135640181 | |
parent | 4b75a8f448288f416dcfeb5672c915c7add877da (diff) |
Update copyright year.
-rw-r--r-- | COPYING | 4 | ||||
-rwxr-xr-x | contrib/configure-in-place | 2 | ||||
-rwxr-xr-x | contrib/get-authors | 2 | ||||
-rwxr-xr-x | contrib/update-copyright.pl | 4 | ||||
-rwxr-xr-x | src/expr/mkexpr | 2 | ||||
-rwxr-xr-x | src/expr/mkkind | 2 | ||||
-rwxr-xr-x | src/expr/mkmetakind | 2 | ||||
-rwxr-xr-x | src/options/mkoptions | 2 | ||||
-rw-r--r-- | src/parser/cvc/Cvc.g | 2 | ||||
-rw-r--r-- | src/parser/smt1/Smt1.g | 2 | ||||
-rw-r--r-- | src/parser/smt2/Smt2.g | 2 | ||||
-rw-r--r-- | src/parser/tptp/Tptp.g | 2 | ||||
-rwxr-xr-x | src/theory/mkrewriter | 2 | ||||
-rwxr-xr-x | src/theory/mktheorytraits | 2 | ||||
-rw-r--r-- | src/util/configuration_private.h | 2 |
15 files changed, 17 insertions, 17 deletions
@@ -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\ |