From: Morgan Deters <mdeters@gmail.com>
Date: Sun, 12 Feb 2012 22:01:47 +0000 (+0000)
Subject: copyright year updated to 2012
X-Git-Tag: cvc5-1.0.0~8332
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2bbf79cb4512477857fd1a9252f1f66349300151;p=cvc5.git

copyright year updated to 2012
---

diff --git a/COPYING b/COPYING
index 8c0b74c43..bcb21aa3d 100644
--- a/COPYING
+++ b/COPYING
@@ -1,5 +1,5 @@
-CVC4 is copyright (C) 2009, 2010, 2011 the ACSys research group at the
-Courant Institute for Mathematical Sciences, New York University.
+CVC4 is copyright (C) 2009, 2010, 2011, 2012 the ACSys research group at
+the Courant Institute for Mathematical Sciences, New York University.
 All rights reserved.
 
 CVC4 is open-source; distribution is under the terms of the modified BSD
diff --git a/contrib/update-copyright.pl b/contrib/update-copyright.pl
index 7ad839b1d..94df7fe48 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, 2010, 2011  The CVC4 Project
+# Copyright (c) 2009-2012  The CVC4 Project
 #
 # usage: update-copyright [-m] [files/directories...]
 #        update-copyright [-h | --help]
@@ -37,7 +37,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, 2010, 2011';
+my $years = '2009-2012';
 
 my $standard_template = <<EOF;
  ** This file is part of the CVC4 prototype.
diff --git a/src/util/configuration_private.h b/src/util/configuration_private.h
index 53b69ebfc..fc0915f28 100644
--- a/src/util/configuration_private.h
+++ b/src/util/configuration_private.h
@@ -3,9 +3,9 @@
  ** \verbatim
  ** Original author: mdeters
  ** Major contributors: acsys
- ** Minor contributors (to current version): cconway
+ ** Minor contributors (to current version): lianah, cconway
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009, 2010, 2011  The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009-2012  The Analysis of Computer Systems Group (ACSys)
  ** Courant Institute of Mathematical Sciences
  ** New York University
  ** See the file COPYING in the top-level source directory for licensing
@@ -122,7 +122,7 @@ This is CVC4 version " CVC4_RELEASE_STRING ) + \
         : ::std::string("") \
     ) + "\n\
 compiled with " + ::CVC4::Configuration::getCompiler() + "\n\n\
-Copyright (C) 2009, 2010, 2011\n\
+Copyright (C) 2009, 2010, 2011, 2012\n\
   The ACSys Group\n\
   Courant Institute of Mathematical Sciences\n\
   New York University\n\