From: Morgan Deters Date: Thu, 11 Oct 2012 17:06:16 +0000 (+0000) Subject: Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's X-Git-Tag: cvc5-1.0.0~7706 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=559710702e4df3ddaac4905705cf93c08502984b;p=cvc5.git Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's just the header comments at the top, though. Don't update to this rev if you don't have time for a complete rebuild, and exclude this rev if you want to see what's new across a range of commits. (this commit was certified error- and warning-free by the test-and-commit script.) --- diff --git a/AUTHORS b/AUTHORS index 19eac8dce..133786ae1 100644 --- a/AUTHORS +++ b/AUTHORS @@ -8,8 +8,8 @@ The core authors and designers of CVC4 are: Liana Hadarean , New York University Dejan Jovanovic , New York University Tim King , New York University - Andrew Reynolds , University of Iowa - Cesare Tinelli , University of Iowa + Andrew Reynolds , The University of Iowa + Cesare Tinelli , The University of Iowa CVC4 is the fourth in the CVC series of tools (CVC, CVC Lite, CVC3) but does not directly incorporate code from any previous version. Information about diff --git a/COPYING b/COPYING index df32895e7..648b42a02 100644 --- a/COPYING +++ b/COPYING @@ -1,6 +1,5 @@ -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 copyright (C) 2009, 2010, 2011, 2012 New York University and +The University of Iowa. All rights reserved. CVC4 is open-source; distribution is under the terms of the modified BSD license. However, certain builds of CVC4 link against GPLed libraries, diff --git a/README b/README index d70d4c221..4ae472659 100644 --- a/README +++ b/README @@ -2,10 +2,10 @@ This is CVC4 release version 1.0. For build and installation notes, please see the INSTALL file included with this distribution. This first official release of CVC4 is the result of more than three -years of efforts by researchers at New York University and the +years of efforts by researchers at New York University and The University of Iowa. The project leaders are Clark Barrett (New York -University) and Cesare Tinelli (University of Iowa). For a full list -of authors, please refer to the AUTHORS file in the source +University) and Cesare Tinelli (The University of Iowa). For a full +list of authors, please refer to the AUTHORS file in the source distribution. CVC4 is a tool for determining the satisfiability of a first order diff --git a/contrib/update-copyright.pl b/contrib/update-copyright.pl index 94df7fe48..8ac920bbf 100755 --- a/contrib/update-copyright.pl +++ b/contrib/update-copyright.pl @@ -32,7 +32,7 @@ # the license.) # -my $excluded_directories = '^(minisat|CVS|generated)$'; +my $excluded_directories = '^(minisat|bvminisat|cryptominisat|CVS|generated)$'; my $excluded_paths = '^(src/parser/antlr_input_imports.cpp|src/bindings/compat/.*)$'; # Years of copyright for the template. E.g., the string @@ -41,18 +41,14 @@ my $years = '2009-2012'; my $standard_template = <