minor fix for update-copyright.pl; ran update-copyright.pl on all sources; regenerate...

diff --git a/configure b/configure
index bcad3dc5bcb01ffa7b16fc92a96bdff4c84d380e..bd7b74dce0e6853b19fe1e5f05b440e9fa55a5ad 100755 (executable)
--- a/configure
+++ b/configure
@@ -16462,9 +16462,7 @@ LDFLAGS="${LDFLAGS:+$LDFLAGS }$CVC4LDFLAGS"
 mk_include=include
 
 
-othermakefiles="`find src -name Makefile.am | sed 's,\.am$,,'` `find test -name Makefile.am | sed 's,\.am$,,'`"
-
-ac_config_files="$ac_config_files Makefile.builds Makefile contrib/Makefile doc/Makefile src/Makefile src/expr/Makefile src/smt/Makefile src/main/Makefile src/prop/minisat/Makefile src/prop/Makefile src/util/Makefile src/context/Makefile src/parser/Makefile src/parser/cvc/Makefile src/parser/smt/Makefile src/theory/Makefile src/theory/uf/Makefile test/Makefile test/regress/Makefile test/system/Makefile test/unit/Makefile"
+ac_config_files="$ac_config_files Makefile.builds Makefile contrib/Makefile doc/Makefile src/Makefile src/expr/Makefile src/smt/Makefile src/main/Makefile src/prop/minisat/Makefile src/prop/Makefile src/util/Makefile src/context/Makefile src/parser/Makefile src/parser/cvc/Makefile src/parser/smt/Makefile src/theory/Makefile src/theory/bool/Makefile src/theory/uf/Makefile src/theory/arith/Makefile test/Makefile test/regress/Makefile test/system/Makefile test/unit/Makefile"
 
 
 cat >confcache <<\_ACEOF
@@ -17560,7 +17558,9 @@ do
     "src/parser/cvc/Makefile") CONFIG_FILES="$CONFIG_FILES src/parser/cvc/Makefile" ;;
     "src/parser/smt/Makefile") CONFIG_FILES="$CONFIG_FILES src/parser/smt/Makefile" ;;
     "src/theory/Makefile") CONFIG_FILES="$CONFIG_FILES src/theory/Makefile" ;;
+    "src/theory/bool/Makefile") CONFIG_FILES="$CONFIG_FILES src/theory/bool/Makefile" ;;
     "src/theory/uf/Makefile") CONFIG_FILES="$CONFIG_FILES src/theory/uf/Makefile" ;;
+    "src/theory/arith/Makefile") CONFIG_FILES="$CONFIG_FILES src/theory/arith/Makefile" ;;
     "test/Makefile") CONFIG_FILES="$CONFIG_FILES test/Makefile" ;;
     "test/regress/Makefile") CONFIG_FILES="$CONFIG_FILES test/regress/Makefile" ;;
     "test/system/Makefile") CONFIG_FILES="$CONFIG_FILES test/system/Makefile" ;;

diff --git a/contrib/update-copyright.pl b/contrib/update-copyright.pl
index 948e276d152edba9b3fb91a7273df8f0c4c2dc13..c9a4fe05a3f86b904e9752ec3d039d78af01d72c 100755 (executable)
--- a/contrib/update-copyright.pl
+++ b/contrib/update-copyright.pl
@@ -140,10 +140,15 @@ sub recurse {
         print "adding\n";
         if($file =~ /\.(y|yy|ypp|Y)$/) {
           print $OUT "%{/*******************                                           -*- C++ -*-  */\n";
+          print $OUT "/** $file\n";
+        } elsif($file =~ /\.g$/) {
+          # avoid javadoc-style comment here; antlr complains
+          print $OUT "/* *******************                                           -*- C++ -*-  */\n";
+          print $OUT "/*  $file\n";
         } else {
           print $OUT "/*********************                                           -*- C++ -*-  */\n";
+          print $OUT "/** $file\n";
         }
-        print $OUT "/** $file\n";
         print $OUT " ** Original author: $author\n";
         print $OUT " ** Major contributors: $major_contributors\n";
         print $OUT " ** Minor contributors (to current version): $minor_contributors\n";

diff --git a/src/context/context.cpp b/src/context/context.cpp
index a00364fe68eb3fe864261eca5588523986cd997d..487dd97f8d53d813fe50ad78e49df9c8ae27eba8 100644 (file)
--- a/src/context/context.cpp
+++ b/src/context/context.cpp
@@ -1,10 +1,10 @@
 /*********************                                           -*- C++ -*-  */
 /** context.cpp
  ** Original author: mdeters
- ** Major contributors: none
- ** Minor contributors (to current version): none
+ ** Major contributors: barrett
+ ** Minor contributors (to current version): dejan
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/src/context/context.h b/src/context/context.h
index 2a4b2df2f13a03bdc2beb0da698f3911e98b4058..9e1eba6443c225c4af0ee0166d95b6695e04011d 100644 (file)
--- a/src/context/context.h
+++ b/src/context/context.h
@@ -1,10 +1,10 @@
 /*********************                                           -*- C++ -*-  */
 /** context.h
  ** Original author: mdeters
- ** Major contributors: none
- ** Minor contributors (to current version): none
+ ** Major contributors: barrett
+ ** Minor contributors (to current version): dejan
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/src/context/context_mm.cpp b/src/context/context_mm.cpp
index f282df96d48cfbd6df06e923435f352d736552ec..bc8e8772fe86779256351d91b76668307ce8c91b 100644 (file)
--- a/src/context/context_mm.cpp
+++ b/src/context/context_mm.cpp
@@ -4,7 +4,7 @@
  ** Major contributors: mdeters
  ** Minor contributors (to current version): none
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/src/context/context_mm.h b/src/context/context_mm.h
index 8c870c603ac6b7b27516bd024311f2d55dd3c6b6..45b2539ca1894df7f5f5292dba8dd62b88f808d3 100644 (file)
--- a/src/context/context_mm.h
+++ b/src/context/context_mm.h
@@ -4,7 +4,7 @@
  ** Major contributors: none
  ** Minor contributors (to current version): mdeters
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/src/expr/attr_type.h b/src/expr/attr_type.h
index a4c8c41a9c02b7f491f016c55f7d257c6f26a223..966d69081401152f26372cae919b57373e9ccd90 100644 (file)
--- a/src/expr/attr_type.h
+++ b/src/expr/attr_type.h
@@ -4,7 +4,7 @@
  ** Major contributors: none
  ** Minor contributors (to current version): dejan, taking
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/src/expr/attr_var_name.h b/src/expr/attr_var_name.h
index a17a3ba18a14f4ec1ad1c1ea8748b0a5f2527d5f..30f67fcf96639fcaf984ab180c6d054fea35fb7d 100644 (file)
--- a/src/expr/attr_var_name.h
+++ b/src/expr/attr_var_name.h
@@ -4,7 +4,7 @@
  ** Major contributors: none
  ** Minor contributors (to current version): dejan
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/src/expr/expr.cpp b/src/expr/expr.cpp
index 578eaf2f562caaf598dd8f2aca29ee36edd15d6b..1df4012a6f7cef95cc1ca26acd47069b57e4b3df 100644 (file)
--- a/src/expr/expr.cpp
+++ b/src/expr/expr.cpp
@@ -1,10 +1,10 @@
 /*********************                                           -*- C++ -*-  */
 /** expr.cpp
  ** Original author: dejan
- ** Major contributors: none
- ** Minor contributors (to current version): taking
+ ** Major contributors: taking
+ ** Minor contributors (to current version): mdeters
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/src/expr/expr.h b/src/expr/expr.h
index 0bbdcd09a9013013a14832dc95b58768b17cf081..2210a6c0a411ab997fc215ccd083ee59bc6bf911 100644 (file)
--- a/src/expr/expr.h
+++ b/src/expr/expr.h
@@ -2,9 +2,9 @@
 /** expr.h
  ** Original author: dejan
  ** Major contributors: none
- ** Minor contributors (to current version): taking, mdeters
+ ** Minor contributors (to current version): mdeters, taking
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/src/expr/expr_manager.cpp b/src/expr/expr_manager.cpp
index ea1ade47706ae6274014c3bc868ac2059e8605f0..5b5f962bd9accd3a8958b5218d0f5a333458a2ed 100644 (file)
--- a/src/expr/expr_manager.cpp
+++ b/src/expr/expr_manager.cpp
@@ -1,10 +1,10 @@
 /*********************                                           -*- C++ -*-  */
 /** expr_manager.cpp
  ** Original author: dejan
- ** Major contributors: none
- ** Minor contributors (to current version): mdeters
+ ** Major contributors: mdeters
+ ** Minor contributors (to current version): none
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/src/expr/expr_manager.h b/src/expr/expr_manager.h
index ace8b2d1cb9ecf91413f23ac273a78bfc29277f3..97f2cd24d580b9bfe441e86c079b1cc32039f29e 100644 (file)
--- a/src/expr/expr_manager.h
+++ b/src/expr/expr_manager.h
@@ -1,10 +1,10 @@
 /*********************                                           -*- C++ -*-  */
 /** expr_manager.h
  ** Original author: dejan
- ** Major contributors: none
+ ** Major contributors: mdeters
  ** Minor contributors (to current version): taking
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/src/expr/kind.h b/src/expr/kind.h
index 64991c71c18f0a89fc6ec0d9b7660fe7017e6605..575a4790c922685ae9a56cdefa25a8309715299e 100644 (file)
--- a/src/expr/kind.h
+++ b/src/expr/kind.h
@@ -2,9 +2,9 @@
 /** kind.h
  ** Original author: mdeters
  ** Major contributors: none
- ** Minor contributors (to current version): dejan
+ ** Minor contributors (to current version): cconway, dejan
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/src/expr/node.cpp b/src/expr/node.cpp
index cd61b257fc751113696d17d9645c6b2718c38c30..8092348fe914a1b995066edf53e16c0548c2f351 100644 (file)
--- a/src/expr/node.cpp
+++ b/src/expr/node.cpp
@@ -1,10 +1,10 @@
 /*********************                                           -*- C++ -*-  */
 /** node.cpp
  ** Original author: mdeters
- ** Major contributors: dejan
+ ** Major contributors: taking, dejan
  ** Minor contributors (to current version): none
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/src/expr/node.h b/src/expr/node.h
index 46827d1963b017798df33450b7a76a244b966053..1d47f676b4183fdc0a6bde1a88bf66c193ee5391 100644 (file)
--- a/src/expr/node.h
+++ b/src/expr/node.h
@@ -4,7 +4,7 @@
  ** Major contributors: dejan
  ** Minor contributors (to current version): taking
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/src/expr/node_attribute.h b/src/expr/node_attribute.h
index 021e64649c2927427fdd0245092c5abf053aa4fd..0d00a300f03b7241e778d381b83bfcd8ca5495bd 100644 (file)
--- a/src/expr/node_attribute.h
+++ b/src/expr/node_attribute.h
@@ -4,7 +4,7 @@
  ** Major contributors: dejan
  ** Minor contributors (to current version): none
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/src/expr/node_builder.cpp b/src/expr/node_builder.cpp
index 9e24fa2802bcd0b9ad6a811e7190c5793e40e2fc..3629815b6b28fc3d0919963733cdd02e6f28d765 100644 (file)
--- a/src/expr/node_builder.cpp
+++ b/src/expr/node_builder.cpp
@@ -4,7 +4,7 @@
  ** Major contributors: none
  ** Minor contributors (to current version): dejan
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/src/expr/node_builder.h b/src/expr/node_builder.h
index 77ff05ab52040df8f2ebeccdae1645958c27fd8d..1411024a9efbcbb8e540257e23ee7d4accd1b106 100644 (file)
--- a/src/expr/node_builder.h
+++ b/src/expr/node_builder.h
@@ -4,7 +4,7 @@
  ** Major contributors: none
  ** Minor contributors (to current version): dejan
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/src/expr/node_manager.cpp b/src/expr/node_manager.cpp
index c9a8197517069da457ee796312cddd374d8cd22c..df49800b66d79ac55be97a3e23e56046f6f7c00b 100644 (file)
--- a/src/expr/node_manager.cpp
+++ b/src/expr/node_manager.cpp
@@ -4,7 +4,7 @@
  ** Major contributors: none
  ** Minor contributors (to current version): dejan
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/src/expr/node_manager.h b/src/expr/node_manager.h
index 3d95a43698406a0b00bc3740b5079b77bb28d768..3c8dbdea74add3bac5793f3e4e030690569fa07e 100644 (file)
--- a/src/expr/node_manager.h
+++ b/src/expr/node_manager.h
@@ -1,10 +1,10 @@
 /*********************                                           -*- C++ -*-  */
 /** node_manager.h
  ** Original author: mdeters
- ** Major contributors: dejan
- ** Minor contributors (to current version): taking
+ ** Major contributors: none
+ ** Minor contributors (to current version): taking, dejan
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/src/expr/node_value.cpp b/src/expr/node_value.cpp
index 554655573a663f1f03707c0d9a76b0da3b6f5161..78174754271d245b506f6d04c9ba89b7eef9d229 100644 (file)
--- a/src/expr/node_value.cpp
+++ b/src/expr/node_value.cpp
@@ -4,7 +4,7 @@
  ** Major contributors: none
  ** Minor contributors (to current version): dejan
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/src/expr/node_value.h b/src/expr/node_value.h
index 847b6b153e3d48ed0eec474962e1ea7b61f5dfa7..bf8b7cd791a111d721d758fdbb57d6245f0b60f2 100644 (file)
--- a/src/expr/node_value.h
+++ b/src/expr/node_value.h
@@ -4,7 +4,7 @@
  ** Major contributors: dejan
  ** Minor contributors (to current version): none
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/src/include/cvc4_config.h b/src/include/cvc4_config.h
index 9cf9a182ba25dd784b029bc8ce3694ca300f3f45..bda26ebe00e30d498001fca7580562585db67f22 100644 (file)
--- a/src/include/cvc4_config.h
+++ b/src/include/cvc4_config.h
@@ -4,7 +4,7 @@
  ** Major contributors: none
  ** Minor contributors (to current version): none
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/src/main/about.h b/src/main/about.h
index ec6f3dced41a98957194dddd53a9f7e43c4ff3d3..d00b1eaec313e7c5ccd2988d265a47426e016bbf 100644 (file)
--- a/src/main/about.h
+++ b/src/main/about.h
@@ -4,7 +4,7 @@
  ** Major contributors: none
  ** Minor contributors (to current version): none
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/src/main/getopt.cpp b/src/main/getopt.cpp
index 388e58a3b64885f411e9002b40a8113cb4b8e0c7..6eb70a3e12a0decbb93409dd1b858be1653eb910 100644 (file)
--- a/src/main/getopt.cpp
+++ b/src/main/getopt.cpp
@@ -4,7 +4,7 @@
  ** Major contributors: none
  ** Minor contributors (to current version): barrett, dejan
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/src/main/main.cpp b/src/main/main.cpp
index 387d5ca97ca8008bf7707296141884b313a8b64a..02ebe8deb0098b355913782f0fcf7029a3341d4f 100644 (file)
--- a/src/main/main.cpp
+++ b/src/main/main.cpp
@@ -4,7 +4,7 @@
  ** Major contributors: barrett, dejan
  ** Minor contributors (to current version): none
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/src/main/main.h b/src/main/main.h
index c44cd9d674b203cc22d30c57df4ae437e3f64858..9b2f4fcbe2593d8275eba77ae137b6013a9b7c4e 100644 (file)
--- a/src/main/main.h
+++ b/src/main/main.h
@@ -4,7 +4,7 @@
  ** Major contributors: none
  ** Minor contributors (to current version): dejan, barrett
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/src/main/usage.h b/src/main/usage.h
index e9d8aa983de6cccab853fa9ee15a88ac09d32c91..f6c089f1d4aebe2914aebd726bc0744baa7087e3 100644 (file)
--- a/src/main/usage.h
+++ b/src/main/usage.h
@@ -4,7 +4,7 @@
  ** Major contributors: none
  ** Minor contributors (to current version): none
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/src/main/util.cpp b/src/main/util.cpp
index 0b33b145dfc80b2455281cb7b6d8bf23127f0584..df4ab803d91b215f66117db6aec049f8318c92f3 100644 (file)
--- a/src/main/util.cpp
+++ b/src/main/util.cpp
@@ -4,7 +4,7 @@
  ** Major contributors: none
  ** Minor contributors (to current version): none
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/src/parser/antlr_parser.cpp b/src/parser/antlr_parser.cpp
index 171da47e8a4c5ff6ff74baae4e187eaecf3db08d..053eb8a111de87cdc91e9210617db732c1867eef 100644 (file)
--- a/src/parser/antlr_parser.cpp
+++ b/src/parser/antlr_parser.cpp
@@ -1,10 +1,10 @@
 /*********************                                           -*- C++ -*-  */
 /** antlr_parser.cpp
  ** Original author: dejan
- ** Major contributors: none
- ** Minor contributors (to current version): cconway, mdeters
+ ** Major contributors: mdeters, cconway
+ ** Minor contributors (to current version): none
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/src/parser/antlr_parser.h b/src/parser/antlr_parser.h
index 0c6deb95ae28c3badba1fc65f529bfbf95a1a2fd..aa32e4193afb92269b071714c880e340e206766c 100644 (file)
--- a/src/parser/antlr_parser.h
+++ b/src/parser/antlr_parser.h
@@ -1,10 +1,10 @@
 /*********************                                           -*- C++ -*-  */
 /** antlr_parser.h
  ** Original author: dejan
- ** Major contributors: none
- ** Minor contributors (to current version): mdeters, cconway
+ ** Major contributors: cconway
+ ** Minor contributors (to current version): mdeters
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/src/parser/cvc/cvc_lexer.g b/src/parser/cvc/cvc_lexer.g
index db40be3a831e079cb2142e82b80735623613e708..2452b10023a018df949c03da842fe002bae33960 100644 (file)
--- a/src/parser/cvc/cvc_lexer.g
+++ b/src/parser/cvc/cvc_lexer.g
@@ -1,16 +1,17 @@
-/* cvc_lexer.g
- * Original author: dejan
- * Major contributors:
- * Minor contributors (to current version): none
- * This file is part of the CVC4 prototype.
- * Copyright (c) 2009 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
- * information.
- *
- * Lexer for CVC presentation language.
- */
+/* *******************                                           -*- C++ -*-  */
+/*  cvc_lexer.g
+ ** Original author: dejan
+ ** Major contributors: mdeters
+ ** Minor contributors (to current version): cconway
+ ** This file is part of the CVC4 prototype.
+ ** Copyright (c) 2009, 2010  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
+ ** information.
+ **
+ ** Lexer for CVC presentation language.
+ **/
 
 options {
   language = "Cpp";            // C++ output for antlr

diff --git a/src/parser/cvc/cvc_parser.g b/src/parser/cvc/cvc_parser.g
index ce61deae2290253a8636fd53eb1ca258571f0ed1..5832847fc9489f5f6993db5553728e0cade53741 100644 (file)
--- a/src/parser/cvc/cvc_parser.g
+++ b/src/parser/cvc/cvc_parser.g
@@ -1,16 +1,18 @@
-/* cvc_parser.g
- * Original author: dejan
- * Major contributors:
- * Minor contributors (to current version): none
- * This file is part of the CVC4 prototype.
- * Copyright (c) 2009 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
- * information.
- *
- * Parser for CVC presentation language.
- */
+/* *******************                                           -*- C++ -*-  */
+/*  cvc_parser.g
+ ** Original author: dejan
+ ** Major contributors: mdeters
+ ** Minor contributors (to current version): cconway
+ ** This file is part of the CVC4 prototype.
+ ** Copyright (c) 2009, 2010  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
+ ** information.
+ **
+ **
+ ** Parser for CVC presentation language.
+ **/
 
 header "post_include_hpp" {
 #include "parser/antlr_parser.h"

diff --git a/src/parser/parser.cpp b/src/parser/parser.cpp
index 2f9ac6724ab6b368911407088707d4d7869142fd..6a70b51810ac89eaa19db3fd68119f47abe7f115 100644 (file)
--- a/src/parser/parser.cpp
+++ b/src/parser/parser.cpp
@@ -4,7 +4,7 @@
  ** Major contributors: dejan
  ** Minor contributors (to current version): none
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/src/parser/parser.h b/src/parser/parser.h
index 4f0502f2498e6328d0fa0d898565b3a3ab22331d..98c7267c67a538575bf3ee97b939002f64653e0e 100644 (file)
--- a/src/parser/parser.h
+++ b/src/parser/parser.h
@@ -4,7 +4,7 @@
  ** Major contributors: dejan
  ** Minor contributors (to current version): none
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/src/parser/parser_exception.h b/src/parser/parser_exception.h
index 3504eeba29c9edd7036a06e0e571eae0a976dffc..85d50ba519ce8fd75e069a80ede1183f00739518 100644 (file)
--- a/src/parser/parser_exception.h
+++ b/src/parser/parser_exception.h
@@ -4,7 +4,7 @@
  ** Major contributors: none
  ** Minor contributors (to current version): none
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/src/parser/smt/smt_lexer.g b/src/parser/smt/smt_lexer.g
index f1c01ea05e77733c9baf6ba0a06be8499b92722a..6c7e4be9dd95b91e1d027dc2cd6d2c7027c4534f 100644 (file)
--- a/src/parser/smt/smt_lexer.g
+++ b/src/parser/smt/smt_lexer.g
@@ -1,16 +1,17 @@
-/* smt_lexer.g
- * Original author: dejan
- * Major contributors:
- * Minor contributors (to current version): none
- * This file is part of the CVC4 prototype.
- * Copyright (c) 2009 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
- * information.
- *
- * Lexer for SMT-LIB input language.
- */
+/* *******************                                           -*- C++ -*-  */
+/*  smt_lexer.g
+ ** Original author: dejan
+ ** Major contributors: cconway, mdeters
+ ** Minor contributors (to current version): none
+ ** This file is part of the CVC4 prototype.
+ ** Copyright (c) 2009, 2010  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
+ ** information.
+ **
+ ** Lexer for SMT-LIB input language.
+ **/
 
 options {
   language = "Cpp";            // C++ output for antlr

diff --git a/src/parser/smt/smt_parser.g b/src/parser/smt/smt_parser.g
index 65ebbb65aa5f6d8cd5c1d548e5e7d59741325db8..fe98063cc83bacf9fdb7ac8f29c0abda41a55139 100644 (file)
--- a/src/parser/smt/smt_parser.g
+++ b/src/parser/smt/smt_parser.g
@@ -1,16 +1,17 @@
-/* smt_parser.g
- * Original author: dejan
- * Major contributors:
- * Minor contributors (to current version): none
- * This file is part of the CVC4 prototype.
- * Copyright (c) 2009 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
- * information.
- *
- * Parser for SMT-LIB input language.
- */
+/* *******************                                           -*- C++ -*-  */
+/*  smt_parser.g
+ ** Original author: dejan
+ ** Major contributors: mdeters, cconway
+ ** Minor contributors (to current version): none
+ ** This file is part of the CVC4 prototype.
+ ** Copyright (c) 2009, 2010  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
+ ** information.
+ **
+ ** Parser for SMT-LIB input language.
+ **/
 
 header "post_include_hpp" {
 #include "parser/antlr_parser.h"

diff --git a/src/parser/symbol_table.h b/src/parser/symbol_table.h
index be2a958b8429a43dff2f95d0f56bf76b2b822c0d..7dc3783a5e7d95dad7054027263a30dde2516728 100644 (file)
--- a/src/parser/symbol_table.h
+++ b/src/parser/symbol_table.h
@@ -4,7 +4,7 @@
  ** Major contributors: dejan, mdeters
  ** Minor contributors (to current version): none
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/src/prop/cnf_conversion.h b/src/prop/cnf_conversion.h
index 1d0ac50bb5c5ce14ae5053aaaf713681a60352d5..0adbda2dbf1782eaa44e434b07e3e553027616fa 100644 (file)
--- a/src/prop/cnf_conversion.h
+++ b/src/prop/cnf_conversion.h
@@ -1,10 +1,10 @@
 /*********************                                           -*- C++ -*-  */
 /** cnf_conversion.h
- ** Original author: mdeters
- ** Major contributors: dejan
- ** Minor contributors (to current version): none
+ ** Original author: taking
+ ** Major contributors: none
+ ** Minor contributors (to current version): dejan
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/src/prop/cnf_stream.cpp b/src/prop/cnf_stream.cpp
index e758301d4f7789f11870fecb42ca12c07a6126f1..79182617e0c36f7afc4c1c51dccb7e25dff60704 100644 (file)
--- a/src/prop/cnf_stream.cpp
+++ b/src/prop/cnf_stream.cpp
@@ -1,10 +1,10 @@
 /*********************                                           -*- C++ -*-  */
 /** cnf_stream.cpp
  ** Original author: taking
- ** Major contributors: none
+ ** Major contributors: dejan
  ** Minor contributors (to current version): none
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/src/prop/cnf_stream.h b/src/prop/cnf_stream.h
index 247a5b096c401b7a0873ac05574390fe77475299..9be5efcd313f1dd98d7f5fac7f0d74196a02e632 100644 (file)
--- a/src/prop/cnf_stream.h
+++ b/src/prop/cnf_stream.h
@@ -1,10 +1,10 @@
 /*********************                                           -*- C++ -*-  */
 /** cnf_stream.h
  ** Original author: taking
- ** Major contributors: none
+ ** Major contributors: dejan
  ** Minor contributors (to current version): none
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/src/prop/prop_engine.cpp b/src/prop/prop_engine.cpp
index 8485a6e32c603defe24e505b7db564218c6d70fe..047daace865b5a55bc89064a53d628b927f2d31e 100644 (file)
--- a/src/prop/prop_engine.cpp
+++ b/src/prop/prop_engine.cpp
@@ -1,10 +1,10 @@
 /*********************                                           -*- C++ -*-  */
 /** prop_engine.cpp
  ** Original author: mdeters
- ** Major contributors: none
- ** Minor contributors (to current version): dejan
+ ** Major contributors: taking
+ ** Minor contributors (to current version): none
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/src/prop/prop_engine.h b/src/prop/prop_engine.h
index 181c0288ea5e323663ec117079222b2ead16bafc..15664be755ff6ecdff6ce6dd6056bf5abf0ef589 100644 (file)
--- a/src/prop/prop_engine.h
+++ b/src/prop/prop_engine.h
@@ -1,10 +1,10 @@
 /*********************                                           -*- C++ -*-  */
 /** prop_engine.h
  ** Original author: mdeters
- ** Major contributors: none
+ ** Major contributors: taking
  ** Minor contributors (to current version): dejan
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/src/prop/sat.h b/src/prop/sat.h
index 9e216b1261f106614857055c6f92ee64a1358ff2..9a22dfb2951b5a8c2651e98134cbfe61747ade96 100644 (file)
--- a/src/prop/sat.h
+++ b/src/prop/sat.h
@@ -4,7 +4,7 @@
  ** Major contributors: none
  ** Minor contributors (to current version): none
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp
index e4a54b6941866bcab747b827f0f18208260ea3f1..2d36da0f182f2dcd4d56d7f9c7b345869426498f 100644 (file)
--- a/src/smt/smt_engine.cpp
+++ b/src/smt/smt_engine.cpp
@@ -2,9 +2,9 @@
 /** smt_engine.cpp
  ** Original author: mdeters
  ** Major contributors: dejan
- ** Minor contributors (to current version): none
+ ** Minor contributors (to current version): taking
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/src/smt/smt_engine.h b/src/smt/smt_engine.h
index 48365e129ca731dae82d5f9dc45bf884db8980d4..904275c4962ca79f261e2e211d58d8e555c68cc2 100644 (file)
--- a/src/smt/smt_engine.h
+++ b/src/smt/smt_engine.h
@@ -2,9 +2,9 @@
 /** smt_engine.h
  ** Original author: mdeters
  ** Major contributors: dejan
- ** Minor contributors (to current version): none
+ ** Minor contributors (to current version): taking
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/src/theory/interrupted.h b/src/theory/interrupted.h
index 03bf466c9fc007b2b4cb17f42ddbf8bb8124e4bd..17b54adda53cca2313da869ed963e57a09c786a2 100644 (file)
--- a/src/theory/interrupted.h
+++ b/src/theory/interrupted.h
@@ -1,6 +1,6 @@
 /*********************                                           -*- C++ -*-  */
 /** interrupted.h
- ** Original author: 
+ ** Original author: mdeters
  ** Major contributors: none
  ** Minor contributors (to current version): none
  ** This file is part of the CVC4 prototype.

diff --git a/src/theory/output_channel.h b/src/theory/output_channel.h
index 42e68b7a9c3dfcd001768c2c19800f3fa1c81da0..298be12bf224a9ca3f6dab21603daabb58bdfb06 100644 (file)
--- a/src/theory/output_channel.h
+++ b/src/theory/output_channel.h
@@ -1,6 +1,6 @@
 /*********************                                           -*- C++ -*-  */
 /** output_channel.h
- ** Original author: 
+ ** Original author: mdeters
  ** Major contributors: none
  ** Minor contributors (to current version): none
  ** This file is part of the CVC4 prototype.

diff --git a/src/util/Assert.cpp b/src/util/Assert.cpp
index 3376490391a111929db6b4965a68804b1e97fbe3..c798b3d0a9fd844a5e48084cacadf1cb29149d2f 100644 (file)
--- a/src/util/Assert.cpp
+++ b/src/util/Assert.cpp
@@ -4,7 +4,7 @@
  ** Major contributors: none
  ** Minor contributors (to current version): none
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/src/util/Assert.h b/src/util/Assert.h
index fa05ecaa559b0f1ec59c96194f4b5c6a2e76892a..7d2785d73648d91825441f04e3a057363c3cf206 100644 (file)
--- a/src/util/Assert.h
+++ b/src/util/Assert.h
@@ -4,7 +4,7 @@
  ** Major contributors: none
  ** Minor contributors (to current version): none
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/src/util/command.cpp b/src/util/command.cpp
index f5a694a736a153b09e459a407eb289541a9f8a5e..58f8b41bb0d67f3d1e7de914971e7eb08829f13e 100644 (file)
--- a/src/util/command.cpp
+++ b/src/util/command.cpp
@@ -4,7 +4,7 @@
  ** Major contributors: dejan
  ** Minor contributors (to current version): none
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/src/util/command.h b/src/util/command.h
index 15104a5ea056d70384c1d1aba450714efcf34ecd..81af801d129bd78a4abef333a249be9e7ac5ffd8 100644 (file)
--- a/src/util/command.h
+++ b/src/util/command.h
@@ -4,7 +4,7 @@
  ** Major contributors: dejan
  ** Minor contributors (to current version): cconway
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/src/util/debug.h b/src/util/debug.h
index 800106764c6468c425c502e8f66d640adb1fe33c..e99b1c48a28a3e0939e5ff59771ef278b828a567 100644 (file)
--- a/src/util/debug.h
+++ b/src/util/debug.h
@@ -4,7 +4,7 @@
  ** Major contributors: none
  ** Minor contributors (to current version): none
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/src/util/decision_engine.cpp b/src/util/decision_engine.cpp
index 36f99f4aca70174d19819b52fbfca702f89fb8a6..b163879b866a9cb046f5eebe365a2139cff0de5d 100644 (file)
--- a/src/util/decision_engine.cpp
+++ b/src/util/decision_engine.cpp
@@ -4,7 +4,7 @@
  ** Major contributors: none
  ** Minor contributors (to current version): none
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/src/util/decision_engine.h b/src/util/decision_engine.h
index 58f9400b5e717c4a9f1f76e59d6135d9c66b30bc..a2392c1048a2f3cc7a84b7cdc2745a580ef032fd 100644 (file)
--- a/src/util/decision_engine.h
+++ b/src/util/decision_engine.h
@@ -4,7 +4,7 @@
  ** Major contributors: none
  ** Minor contributors (to current version): none
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/src/util/exception.h b/src/util/exception.h
index 8481a8504a76c1bb406d1a952f6fed520b4ffa4b..8401b041ec01c225215c85d111df7ef3079a2bd7 100644 (file)
--- a/src/util/exception.h
+++ b/src/util/exception.h
@@ -4,7 +4,7 @@
  ** Major contributors: none
  ** Minor contributors (to current version): none
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/src/util/literal.h b/src/util/literal.h
index 921a9ef0d84c1c5955a4fbac92b119e565a9cdd6..b246d128933441bdf38d6ed16a7e42172aec345f 100644 (file)
--- a/src/util/literal.h
+++ b/src/util/literal.h
@@ -4,7 +4,7 @@
  ** Major contributors: none
  ** Minor contributors (to current version): none
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/src/util/model.h b/src/util/model.h
index b79032221e9c2d0b33a32b0f2c441c70ab957f9d..2d2419d0f3062f3b6de199234fbb787f904a5feb 100644 (file)
--- a/src/util/model.h
+++ b/src/util/model.h
@@ -4,7 +4,7 @@
  ** Major contributors: none
  ** Minor contributors (to current version): none
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/src/util/options.h b/src/util/options.h
index ff156b5958cf3ca9dc7a88359f74dff8a99a653a..82552553f9afd148eb598cb44711e61df74c601f 100644 (file)
--- a/src/util/options.h
+++ b/src/util/options.h
@@ -2,9 +2,9 @@
 /** options.h
  ** Original author: mdeters
  ** Major contributors: dejan
- ** Minor contributors (to current version): none
+ ** Minor contributors (to current version): taking
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/src/util/output.cpp b/src/util/output.cpp
index b42fc77be553d7a75159a2ae8db4e9f35b7128f7..fb48a23a50c1b14a37df3eb05e60fc6a47fb4c0d 100644 (file)
--- a/src/util/output.cpp
+++ b/src/util/output.cpp
@@ -4,7 +4,7 @@
  ** Major contributors: none
  ** Minor contributors (to current version): none
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/src/util/output.h b/src/util/output.h
index 6a6c76d836d27a63fffb3b82d3cdda46c0c44474..d11725fc5db4c40925b2a43942b4a27088ff8333 100644 (file)
--- a/src/util/output.h
+++ b/src/util/output.h
@@ -4,7 +4,7 @@
  ** Major contributors: none
  ** Minor contributors (to current version): none
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/src/util/result.h b/src/util/result.h
index d4980c7762239934fe228ffdeaaaf6178567cda9..cac72aba780e79a2b777fec91c02c9a01a5b7d52 100644 (file)
--- a/src/util/result.h
+++ b/src/util/result.h
@@ -4,7 +4,7 @@
  ** Major contributors: none
  ** Minor contributors (to current version): none
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/src/util/unique_id.h b/src/util/unique_id.h
index 633a544f03d688ee1ffc0dbda6396f4aee3e07ae..8b5e1f31e44b0a7c6e9b2776e263c774465a19bb 100644 (file)
--- a/src/util/unique_id.h
+++ b/src/util/unique_id.h
@@ -4,7 +4,7 @@
  ** Major contributors: none
  ** Minor contributors (to current version): none
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/test/unit/context/context_black.h b/test/unit/context/context_black.h
index eef2317ea45cfc0bc4439ec5f08dcea9618f0faa..107feb41c078c5e2fb4e266d8ecfae608438e3e9 100644 (file)
--- a/test/unit/context/context_black.h
+++ b/test/unit/context/context_black.h
@@ -1,8 +1,10 @@
 /*********************                                           -*- C++ -*-  */
 /** context_black.h
  ** Original author: dejan
+ ** Major contributors: none
+ ** Minor contributors (to current version): none
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/test/unit/context/context_mm_black.h b/test/unit/context/context_mm_black.h
index 78c5a53ae9b208780cc11bafcc2a5e288d6f3d54..649915a7f5744b60937a91bf0338e8a4c2ee1be9 100644 (file)
--- a/test/unit/context/context_mm_black.h
+++ b/test/unit/context/context_mm_black.h
@@ -1,8 +1,10 @@
 /*********************                                           -*- C++ -*-  */
 /** context_mm_black.h
  ** Original author: dejan
+ ** Major contributors: none
+ ** Minor contributors (to current version): none
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/test/unit/expr/node_black.h b/test/unit/expr/node_black.h
index bdd8a5420ab150b083fa7f2ce3f02f2ae162b9a4..c7173b4cf4ce065c800d6b592bae870de06d2471 100644 (file)
--- a/test/unit/expr/node_black.h
+++ b/test/unit/expr/node_black.h
@@ -1,10 +1,10 @@
 /*********************                                           -*- C++ -*-  */
 /** node_black.h
  ** Original author: mdeters
- ** Major contributors: none
- ** Minor contributors (to current version): dejan
+ ** Major contributors: taking
+ ** Minor contributors (to current version): none
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/test/unit/expr/node_white.h b/test/unit/expr/node_white.h
index 96a30e58286c264632d5f79ae49275b902444f5f..f8c950fd3f25a833d4de783e3bd121604e39cc53 100644 (file)
--- a/test/unit/expr/node_white.h
+++ b/test/unit/expr/node_white.h
@@ -4,7 +4,7 @@
  ** Major contributors: none
  ** Minor contributors (to current version): dejan
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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

diff --git a/test/unit/parser/parser_black.h b/test/unit/parser/parser_black.h
index 2a9332d278a57e1c5beabc62c148fb829ac59eac..1d5de423ebd5b8748fddfd8e173b0bafcf5dad03 100644 (file)
--- a/test/unit/parser/parser_black.h
+++ b/test/unit/parser/parser_black.h
@@ -1,10 +1,10 @@
 /*********************                                           -*- C++ -*-  */
-/** smt_parser_black.h
+/** parser_black.h
  ** Original author: cconway
- ** Major contributors: none
- ** Minor contributors (to current version): none
+ ** Major contributors: dejan
+ ** Minor contributors (to current version): mdeters
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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