copyright year updated to 2012

diff --git a/COPYING b/COPYING
index 8c0b74c43110b4f5d44221ec18317bb7d2a46492..bcb21aa3ded1b47133e39df34a47c7af97568c3a 100644 (file)
--- 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 7ad839b1d27a9107f990d8d35b6ced786ffd7eca..94df7fe487666d04271ae565adb06ab11656b0b7 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, 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 53b69ebfcc50516892e39eeeba208b90e65f7e42..fc0915f287eba974e3c91f5b1b65f66b83172fe9 100644 (file)
--- 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\