reran update-copyright.pl to get new contributors and add new header comments to...

diff --git a/contrib/update-copyright.pl b/contrib/update-copyright.pl
index 8c73d514cf88fbd9766cc9babc3ff677edb73683..f6c066a0afbc2c00351a24cc28ee0ff9bd35af69 100755 (executable)
--- a/contrib/update-copyright.pl
+++ b/contrib/update-copyright.pl
@@ -62,7 +62,7 @@ $dir =~ s,/[^/]+/*$,,;
 
 my @searchdirs = ();
 if($#ARGV == -1) {
-  (chdir($dir."/..") && -f "src/include/cvc4_config.h") || die "can't find top-level source directory for CVC4";
+  (chdir($dir."/..") && -f "src/include/cvc4_public.h") || die "can't find top-level source directory for CVC4";
   my $pwd = `pwd`; chomp $pwd;
 
   print <<EOF;
@@ -102,10 +102,10 @@ sub recurse {
     my $is_directory = S_ISDIR($mode);
     if($is_directory) {
       next if $file =~ /$excluded_directories/;
-      next if $srcdir.'/'.$file =~ /$excluded_paths/;
       recurse($srcdir.'/'.$file);
     } else {
       next if !($file =~ /\.(c|cc|cpp|C|h|hh|hpp|H|y|yy|ypp|Y|l|ll|lpp|L|g)$/);
+      next if ($srcdir.'/'.$file) =~ /$excluded_paths/;
       print "$srcdir/$file...";
       my $infile = $srcdir.'/'.$file;
       my $outfile = $srcdir.'/#'.$file.'.tmp';

diff --git a/src/context/cdlist.h b/src/context/cdlist.h
index 492dc793990d63ca3a3b25e35d08b01fcbdc8445..b0161c5628cecdd7a9f1f7bdff50e7ca4f0fe672 100644 (file)
--- a/src/context/cdlist.h
+++ b/src/context/cdlist.h
@@ -2,7 +2,7 @@
 /** cdlist.h
  ** Original author: mdeters
  ** Major contributors: none
- ** Minor contributors (to current version): none
+ ** Minor contributors (to current version): barrett, taking
  ** This file is part of the CVC4 prototype.
  ** Copyright (c) 2009, 2010  The Analysis of Computer Systems Group (ACSys)
  ** Courant Institute of Mathematical Sciences

diff --git a/src/context/cdo.h b/src/context/cdo.h
index f2d6e7b4b5e432f075612e9785b50f117124b86e..e03156e8a8ea6c6208c6acfac92860ce0148f65c 100644 (file)
--- a/src/context/cdo.h
+++ b/src/context/cdo.h
@@ -2,7 +2,7 @@
 /** cdo.h
  ** Original author: mdeters
  ** Major contributors: none
- ** Minor contributors (to current version): none
+ ** Minor contributors (to current version): barrett
  ** This file is part of the CVC4 prototype.
  ** Copyright (c) 2009, 2010  The Analysis of Computer Systems Group (ACSys)
  ** Courant Institute of Mathematical Sciences

diff --git a/src/context/context_mm.h b/src/context/context_mm.h
index 04b0c81678a386f957e6fd0ee51431bb2090a5e4..5920859e1f69e0c9754f94453b21d311c6d4763a 100644 (file)
--- a/src/context/context_mm.h
+++ b/src/context/context_mm.h
@@ -1,8 +1,8 @@
 /*********************                                                        */
 /** context_mm.h
  ** Original author: barrett
- ** 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, 2010  The Analysis of Computer Systems Group (ACSys)
  ** Courant Institute of Mathematical Sciences

diff --git a/src/expr/attribute.h b/src/expr/attribute.h
index 358755192f9f481974f1f977bb9bf0a19d94e7be..c79f4da80ba56e66e6aed4deb55ef6ec7c97ed9b 100644 (file)
--- a/src/expr/attribute.h
+++ b/src/expr/attribute.h
@@ -2,7 +2,7 @@
 /** attribute.h
  ** Original author: mdeters
  ** Major contributors: none
- ** Minor contributors (to current version): none
+ ** Minor contributors (to current version): cconway, taking
  ** This file is part of the CVC4 prototype.
  ** Copyright (c) 2009, 2010  The Analysis of Computer Systems Group (ACSys)
  ** Courant Institute of Mathematical Sciences

diff --git a/src/expr/attribute_internals.h b/src/expr/attribute_internals.h
index d50c2284df8057ecf6607444716592be5d1ea473..0ae2cdc22b96b33c2964d70e35ff46a53ba99ea2 100644 (file)
--- a/src/expr/attribute_internals.h
+++ b/src/expr/attribute_internals.h
@@ -2,7 +2,7 @@
 /** attribute_internals.h
  ** Original author: mdeters
  ** Major contributors: none
- ** Minor contributors (to current version): none
+ ** Minor contributors (to current version): dejan, taking, 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

diff --git a/src/expr/expr_manager_template.h b/src/expr/expr_manager_template.h
index 523c12e3beec7765e2b6cd49488b4a0ff1cedec4..1c1d6dbd755eb45e366045a5bdbdf80fffa3c18c 100644 (file)
--- a/src/expr/expr_manager_template.h
+++ b/src/expr/expr_manager_template.h
@@ -1,8 +1,8 @@
 /*********************                                                        */
 /** expr_manager_template.h
  ** Original author: dejan
- ** Major contributors: cconway, mdeters
- ** Minor contributors (to current version): taking
+ ** Major contributors: mdeters
+ ** Minor contributors (to current version): taking, 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

diff --git a/src/expr/expr_template.cpp b/src/expr/expr_template.cpp
index 2e901dc920acfe29819e0c4d7e9565ebc20c1207..ebab8ec6d3944894a737cd3ec62f50efebe2ff68 100644 (file)
--- a/src/expr/expr_template.cpp
+++ b/src/expr/expr_template.cpp
@@ -2,7 +2,7 @@
 /** expr_template.cpp
  ** Original author: dejan
  ** Major contributors: mdeters
- ** Minor contributors (to current version): taking
+ ** Minor contributors (to current version): cconway, taking
  ** This file is part of the CVC4 prototype.
  ** Copyright (c) 2009, 2010  The Analysis of Computer Systems Group (ACSys)
  ** Courant Institute of Mathematical Sciences

diff --git a/src/expr/expr_template.h b/src/expr/expr_template.h
index 12307e679d42b91dc22a9c189f9409482788b3db..efbdec2de1b2d0a2fac6682d4c3ee9b860236294 100644 (file)
--- a/src/expr/expr_template.h
+++ b/src/expr/expr_template.h
@@ -1,8 +1,8 @@
 /*********************                                                        */
 /** expr_template.h
  ** Original author: dejan
- ** Major contributors: none
- ** Minor contributors (to current version): taking, mdeters
+ ** Major contributors: mdeters
+ ** Minor contributors (to current version): cconway, taking
  ** This file is part of the CVC4 prototype.
  ** Copyright (c) 2009, 2010  The Analysis of Computer Systems Group (ACSys)
  ** Courant Institute of Mathematical Sciences

diff --git a/src/expr/node.h b/src/expr/node.h
index 87576072556b033ada9ca51dc988a2ae7c3163dc..6f6fdfb4d959d946428830c3f8e252cc5ae3e1a5 100644 (file)
--- a/src/expr/node.h
+++ b/src/expr/node.h
@@ -2,7 +2,7 @@
 /** node.h
  ** Original author: mdeters
  ** Major contributors: dejan
- ** Minor contributors (to current version): taking
+ ** Minor contributors (to current version): cconway, taking
  ** This file is part of the CVC4 prototype.
  ** Copyright (c) 2009, 2010  The Analysis of Computer Systems Group (ACSys)
  ** Courant Institute of Mathematical Sciences

diff --git a/src/expr/node_builder.h b/src/expr/node_builder.h
index 4df1746049361e77ad9934ff68b6cf761bc87436..213a4cb35d9ba1ae61f612e266ec56d2f80a47d6 100644 (file)
--- a/src/expr/node_builder.h
+++ b/src/expr/node_builder.h
@@ -2,7 +2,7 @@
 /** node_builder.h
  ** Original author: mdeters
  ** Major contributors: none
- ** Minor contributors (to current version): dejan
+ ** Minor contributors (to current version): taking, dejan
  ** This file is part of the CVC4 prototype.
  ** Copyright (c) 2009, 2010  The Analysis of Computer Systems Group (ACSys)
  ** Courant Institute of Mathematical Sciences

diff --git a/src/expr/node_manager.cpp b/src/expr/node_manager.cpp
index 29749ee5d1f0fe3b39a0b14741d108ff723f54db..8f254ed9fedb6b47de8c40bc209a10e9993deb0d 100644 (file)
--- a/src/expr/node_manager.cpp
+++ b/src/expr/node_manager.cpp
@@ -1,8 +1,8 @@
 /*********************                                                        */
 /** node_manager.cpp
  ** Original author: mdeters
- ** Major contributors: dejan
- ** Minor contributors (to current version): none
+ ** Major contributors: none
+ ** Minor contributors (to current version): dejan, taking
  ** This file is part of the CVC4 prototype.
  ** Copyright (c) 2009, 2010  The Analysis of Computer Systems Group (ACSys)
  ** Courant Institute of Mathematical Sciences

diff --git a/src/expr/node_manager.h b/src/expr/node_manager.h
index d17ec94973b4ce3f96e6968343db9479163dbb2e..99b1471f900d0833bbca755c801dfbd4ea846ef0 100644 (file)
--- a/src/expr/node_manager.h
+++ b/src/expr/node_manager.h
@@ -1,8 +1,8 @@
 /*********************                                                        */
 /** node_manager.h
  ** Original author: mdeters
- ** Major contributors: dejan
- ** Minor contributors (to current version): taking
+ ** Major contributors: cconway
+ ** Minor contributors (to current version): taking, dejan
  ** This file is part of the CVC4 prototype.
  ** Copyright (c) 2009, 2010  The Analysis of Computer Systems Group (ACSys)
  ** Courant Institute of Mathematical Sciences

diff --git a/src/expr/node_value.cpp b/src/expr/node_value.cpp
index 0138aa2a587dd677fad0e161909dc6184d601f94..101be51873d7b99634758864bcd70cd6fb62a8b7 100644 (file)
--- a/src/expr/node_value.cpp
+++ b/src/expr/node_value.cpp
@@ -1,8 +1,8 @@
 /*********************                                                        */
 /** node_value.cpp
  ** Original author: mdeters
- ** Major contributors: none
- ** Minor contributors (to current version): dejan
+ ** Major contributors: dejan
+ ** 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

diff --git a/src/expr/node_value.h b/src/expr/node_value.h
index 6408ef01a9915b5582e79270ee328afa54071584..9e8854e8f5a7eb699a1267d32a37e0026f01de7e 100644 (file)
--- a/src/expr/node_value.h
+++ b/src/expr/node_value.h
@@ -2,7 +2,7 @@
 /** node_value.h
  ** Original author: mdeters
  ** Major contributors: dejan
- ** Minor contributors (to current version): none
+ ** Minor contributors (to current version): cconway, taking
  ** This file is part of the CVC4 prototype.
  ** Copyright (c) 2009, 2010  The Analysis of Computer Systems Group (ACSys)
  ** Courant Institute of Mathematical Sciences

diff --git a/src/expr/type.cpp b/src/expr/type.cpp
index 569becab1597e115d30a8dd77566feec740b5be0..851c440b6217721c0ea4bf6aad4ecd16666350ba 100644 (file)
--- a/src/expr/type.cpp
+++ b/src/expr/type.cpp
@@ -1,7 +1,7 @@
 /*********************                                                        */
 /** type.cpp
  ** Original author: cconway
- ** Major contributors: none
+ ** Major contributors: 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)

diff --git a/src/expr/type.h b/src/expr/type.h
index 767ea122e3c3188d2ca724b7382d1a24a2e459a4..8a9d6cd704cc0234907c9b8f95f87577f8afb742 100644 (file)
--- a/src/expr/type.h
+++ b/src/expr/type.h
@@ -1,8 +1,8 @@
 /*********************                                                        */
 /** type.h
  ** Original author: cconway
- ** 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, 2010  The Analysis of Computer Systems Group (ACSys)
  ** Courant Institute of Mathematical Sciences

diff --git a/src/main/getopt.cpp b/src/main/getopt.cpp
index b7474fa7e35b923654e77f57c20032adae84874d..64958519c66129e1267630a83f39534b285c873e 100644 (file)
--- a/src/main/getopt.cpp
+++ b/src/main/getopt.cpp
@@ -2,7 +2,7 @@
 /** getopt.cpp
  ** Original author: mdeters
  ** Major contributors: none
- ** Minor contributors (to current version): barrett, dejan, cconway
+ ** Minor contributors (to current version): dejan, barrett, 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

diff --git a/src/main/main.cpp b/src/main/main.cpp
index c6899e85ae109273ded508f5b3bd3f93354246b2..174ab4b7fda638afc30d1966336f9411acf65e77 100644 (file)
--- a/src/main/main.cpp
+++ b/src/main/main.cpp
@@ -1,8 +1,8 @@
 /*********************                                                        */
 /** main.cpp
  ** Original author: mdeters
- ** Major contributors: barrett, dejan
- ** Minor contributors (to current version): cconway
+ ** Major contributors: none
+ ** Minor contributors (to current version): dejan, barrett, 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

diff --git a/src/parser/antlr_input.cpp b/src/parser/antlr_input.cpp
index 901735b1fd27227d1a41701dd978d18005f10fb4..16f10cd93241ee467da9923df186bb78143a999c 100644 (file)
--- a/src/parser/antlr_input.cpp
+++ b/src/parser/antlr_input.cpp
@@ -1,8 +1,8 @@
 /*********************                                                        */
-/** antlr_parser.cpp
- ** Original author: dejan
- ** Major contributors: cconway
- ** Minor contributors (to current version): mdeters
+/** antlr_input.cpp
+ ** Original author: cconway
+ ** Major contributors: none
+ ** 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

diff --git a/src/parser/antlr_input.h b/src/parser/antlr_input.h
index 05d785df369baf97a7259cf9832a1bacdae4dc94..dee7c1491096727a38aa3c0967a9338f7c9e4f1b 100644 (file)
--- a/src/parser/antlr_input.h
+++ b/src/parser/antlr_input.h
@@ -1,8 +1,8 @@
 /*********************                                                        */
-/** antlr_parser.h
- ** Original author: dejan
- ** Major contributors: cconway
- ** Minor contributors (to current version): mdeters
+/** antlr_input.h
+ ** Original author: cconway
+ ** Major contributors: none
+ ** 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

diff --git a/src/parser/bounded_token_factory.cpp b/src/parser/bounded_token_factory.cpp
index 0209eb172dbd8fc90483adca00d28b1e7783c58c..22a42c2fa6cc7cfda84bc3e85bc23f0e5de3e123 100644 (file)
--- a/src/parser/bounded_token_factory.cpp
+++ b/src/parser/bounded_token_factory.cpp
@@ -1,3 +1,18 @@
+/*********************                                                        */
+/** bounded_token_factory.cpp
+ ** Original author: cconway
+ ** Major contributors: none
+ ** Minor contributors (to current version): mdeters
+ ** 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.
+ **
+ ** [[ Add file-specific comments here ]]
+ **/
+
 #include <antlr3input.h>
 #include <antlr3commontoken.h>
 #include <antlr3interfaces.h>

diff --git a/src/parser/bounded_token_factory.h b/src/parser/bounded_token_factory.h
index 8f81775440a914c04084e42fa082a7ed96b25208..761ac762f23565b790a039501dbea2d56947d4a5 100644 (file)
--- a/src/parser/bounded_token_factory.h
+++ b/src/parser/bounded_token_factory.h
@@ -1,3 +1,18 @@
+/*********************                                                        */
+/** bounded_token_factory.h
+ ** Original author: cconway
+ ** Major contributors: 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.
+ **
+ ** [[ Add file-specific comments here ]]
+ **/
+
 #include "cvc4parser_private.h"
 
 #ifndef __CVC4__PARSER__BOUNDED_TOKEN_FACTORY_H

diff --git a/src/parser/cvc/Cvc.g b/src/parser/cvc/Cvc.g
index d2ac8116712b333ff807968a69b26ec5e3811e28..feb2e6d35ae274baab839186c120de0a64c5e44d 100644 (file)
--- a/src/parser/cvc/Cvc.g
+++ b/src/parser/cvc/Cvc.g
@@ -1,8 +1,8 @@
 /* *******************                                                        */
 /*  Cvc.g
  ** Original author: cconway
- ** Major contributors: dejan, mdeters
- ** Minor contributors (to current version): none
+ ** Major contributors: none
+ ** Minor contributors (to current version): mdeters
  ** This file is part of the CVC4 prototype.
  ** Copyright (c) 2009, 2010  The Analysis of Computer Systems Group (ACSys)
  ** Courant Institute of Mathematical Sciences

diff --git a/src/parser/cvc/cvc_input.cpp b/src/parser/cvc/cvc_input.cpp
index 241ce62f3ffa489d6f13b29dea689aa1c90f19b4..f247a651d84df4d7155cbe990666d941e9794a41 100644 (file)
--- a/src/parser/cvc/cvc_input.cpp
+++ b/src/parser/cvc/cvc_input.cpp
@@ -1,3 +1,18 @@
+/*********************                                                        */
+/** cvc_input.cpp
+ ** Original author: cconway
+ ** Major contributors: none
+ ** Minor contributors (to current version): mdeters
+ ** 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.
+ **
+ ** [[ Add file-specific comments here ]]
+ **/
+
 #include <antlr3.h>
 
 #include "expr/expr_manager.h"

diff --git a/src/parser/cvc/cvc_input.h b/src/parser/cvc/cvc_input.h
index 9908a25aa867453d75f67a871ce7ed448b662094..4878d015e45b2d8d5b8c982feaf0234c7e456238 100644 (file)
--- a/src/parser/cvc/cvc_input.h
+++ b/src/parser/cvc/cvc_input.h
@@ -1,3 +1,18 @@
+/*********************                                                        */
+/** cvc_input.h
+ ** Original author: cconway
+ ** Major contributors: none
+ ** Minor contributors (to current version): mdeters
+ ** 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.
+ **
+ ** [[ Add file-specific comments here ]]
+ **/
+
 #include "cvc4parser_public.h"
 
 #ifndef __CVC4__PARSER__CVC_INPUT_H

diff --git a/src/parser/input.cpp b/src/parser/input.cpp
index 0fd9a2628baff8d4d2525fb51d36d5b89ff77a5f..3b7b322cac7f4db8b706e78524c8ff9fbc7cf5f3 100644 (file)
--- a/src/parser/input.cpp
+++ b/src/parser/input.cpp
@@ -1,8 +1,8 @@
 /*********************                                                        */
 /** input.cpp
- ** Original author: mdeters
- ** Major contributors: dejan
- ** Minor contributors (to current version): cconway
+ ** 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

diff --git a/src/parser/input.h b/src/parser/input.h
index a255ede1216b645a8f1ef689553c499eb734d6f6..ad888c6cc8ddec79f4f08401cb290c81f70e1196 100644 (file)
--- a/src/parser/input.h
+++ b/src/parser/input.h
@@ -2,7 +2,7 @@
 /** input.h
  ** Original author: cconway
  ** Major contributors: none
- ** Minor contributors (to current version): none
+ ** Minor contributors (to current version): mdeters
  ** This file is part of the CVC4 prototype.
  ** Copyright (c) 2009, 2010  The Analysis of Computer Systems Group (ACSys)
  ** Courant Institute of Mathematical Sciences

diff --git a/src/parser/memory_mapped_input_buffer.cpp b/src/parser/memory_mapped_input_buffer.cpp
index f1a7b57298ab9515a2343cfa0cd817e96115bdd4..a87ba9cf8112104e3830700df662ada3e13be5f6 100644 (file)
--- a/src/parser/memory_mapped_input_buffer.cpp
+++ b/src/parser/memory_mapped_input_buffer.cpp
@@ -1,3 +1,18 @@
+/*********************                                                        */
+/** memory_mapped_input_buffer.cpp
+ ** Original author: cconway
+ ** Major contributors: none
+ ** Minor contributors (to current version): mdeters
+ ** 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.
+ **
+ ** [[ Add file-specific comments here ]]
+ **/
+
 #include <fcntl.h>
 #include <stdio.h>
 #include <stdint.h>

diff --git a/src/parser/memory_mapped_input_buffer.h b/src/parser/memory_mapped_input_buffer.h
index 4146eec02f97e1e7b6c7757c54e458113f3995cc..c63ec540747f22257ee973f6fceeaa7b3bcddaa7 100644 (file)
--- a/src/parser/memory_mapped_input_buffer.h
+++ b/src/parser/memory_mapped_input_buffer.h
@@ -1,7 +1,7 @@
 /*********************                                                        */
 /** memory_mapped_input_buffer.h
  ** Original author: cconway
- ** Major contributors: none
+ ** Major contributors: 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)

diff --git a/src/parser/parser_exception.h b/src/parser/parser_exception.h
index 9bbe7d7091a8b57f0b56769b218c73da98e83667..7b0f8bda9bc0c2b1543ac48e0588bd11a8251fa9 100644 (file)
--- a/src/parser/parser_exception.h
+++ b/src/parser/parser_exception.h
@@ -1,7 +1,7 @@
 /*********************                                                        */
 /** parser_exception.h
  ** Original author: mdeters
- ** Major contributors: none
+ ** Major contributors: 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)

diff --git a/src/parser/parser_options.h b/src/parser/parser_options.h
index ae1d99542f91d8e555930135a1ee843e7869fca3..d593d6f5ae0df88d976f041342b7abf74c36a06a 100644 (file)
--- a/src/parser/parser_options.h
+++ b/src/parser/parser_options.h
@@ -1,3 +1,18 @@
+/*********************                                                        */
+/** parser_options.h
+ ** Original author: cconway
+ ** Major contributors: 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.
+ **
+ ** [[ Add file-specific comments here ]]
+ **/
+
 #include "cvc4_public.h"
 
 #ifndef __CVC4__PARSER__PARSER_OPTIONS_H

diff --git a/src/parser/smt/Smt.g b/src/parser/smt/Smt.g
index 48a0eddef9d13e870b8a23f2640ec508094900fa..86c1b015db1d72583efb9462149af647d6d92900 100644 (file)
--- a/src/parser/smt/Smt.g
+++ b/src/parser/smt/Smt.g
@@ -1,8 +1,8 @@
 /* *******************                                                        */
 /*  Smt.g
  ** Original author: cconway
- ** Major contributors: dejan, mdeters
- ** Minor contributors (to current version): none
+ ** Major contributors: none
+ ** Minor contributors (to current version): mdeters
  ** This file is part of the CVC4 prototype.
  ** Copyright (c) 2009, 2010  The Analysis of Computer Systems Group (ACSys)
  ** Courant Institute of Mathematical Sciences

diff --git a/src/parser/smt/smt_input.cpp b/src/parser/smt/smt_input.cpp
index cd62eec391b04ddcadc7c6bf755860d1f04e4945..1bff3d18fb3778a168607e10797d68f30051de46 100644 (file)
--- a/src/parser/smt/smt_input.cpp
+++ b/src/parser/smt/smt_input.cpp
@@ -1,3 +1,18 @@
+/*********************                                                        */
+/** smt_input.cpp
+ ** Original author: cconway
+ ** Major contributors: none
+ ** Minor contributors (to current version): mdeters
+ ** 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.
+ **
+ ** [[ Add file-specific comments here ]]
+ **/
+
 #include <antlr3.h>
 
 #include "expr/expr_manager.h"

diff --git a/src/parser/smt/smt_input.h b/src/parser/smt/smt_input.h
index 3e295d18a4cf6e5e8c8749574e77a48aba41a7fa..f93a1bf0dbde88b2c57b1b4cc5237f54e62404f4 100644 (file)
--- a/src/parser/smt/smt_input.h
+++ b/src/parser/smt/smt_input.h
@@ -1,3 +1,18 @@
+/*********************                                                        */
+/** smt_input.h
+ ** Original author: cconway
+ ** Major contributors: 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.
+ **
+ ** [[ Add file-specific comments here ]]
+ **/
+
 #include "cvc4parser_public.h"
 
 #ifndef __CVC4__PARSER__SMT_INPUT_H

diff --git a/src/prop/cnf_stream.h b/src/prop/cnf_stream.h
index 7a05c618ac9034665c79ab7013a1875400554102..66cdaa730a28ae67f522e603ca0f032070182fe5 100644 (file)
--- a/src/prop/cnf_stream.h
+++ b/src/prop/cnf_stream.h
@@ -2,7 +2,7 @@
 /** cnf_stream.h
  ** Original author: taking
  ** Major contributors: dejan
- ** Minor contributors (to current version): mdeters
+ ** Minor contributors (to current version): cconway, mdeters
  ** This file is part of the CVC4 prototype.
  ** Copyright (c) 2009, 2010  The Analysis of Computer Systems Group (ACSys)
  ** Courant Institute of Mathematical Sciences

diff --git a/src/prop/sat.h b/src/prop/sat.h
index 207ed90fd5af8d1a334ec2d6372a7b143c5d8a7c..12aa8279319d646f7e6ff64d42aa1d6394c9bb78 100644 (file)
--- a/src/prop/sat.h
+++ b/src/prop/sat.h
@@ -2,7 +2,7 @@
 /** sat.h
  ** Original author: mdeters
  ** Major contributors: dejan
- ** Minor contributors (to current version): none
+ ** 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

diff --git a/src/theory/theory_engine.h b/src/theory/theory_engine.h
index 1d5daf7bdd8be1a6477ec30ad318b197e24e7c9a..df829ac01ff3c0f4665f2102add6c8178f163fef 100644 (file)
--- a/src/theory/theory_engine.h
+++ b/src/theory/theory_engine.h
@@ -1,7 +1,7 @@
 /*********************                                                        */
 /** theory_engine.h
  ** Original author: mdeters
- ** Major contributors: none
+ ** Major contributors: dejan
  ** 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)

diff --git a/src/theory/uf/ecdata.cpp b/src/theory/uf/ecdata.cpp
index 22db1e6d05d0c04b1fbf4b1611893b6d985a0c3f..a60aaf1cde8cfc6818abaf79a5b927267a76f469 100644 (file)
--- a/src/theory/uf/ecdata.cpp
+++ b/src/theory/uf/ecdata.cpp
@@ -1,7 +1,7 @@
 /*********************                                                        */
 /** ecdata.cpp
  ** Original author: taking
- ** Major contributors: none
+ ** Major contributors: 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)

diff --git a/src/theory/uf/ecdata.h b/src/theory/uf/ecdata.h
index 26d957c2ecb46ca099bb1c60195bf19726399155..462e713defd700740de2198b249fbca168b392d2 100644 (file)
--- a/src/theory/uf/ecdata.h
+++ b/src/theory/uf/ecdata.h
@@ -2,7 +2,7 @@
 /** ecdata.h
  ** Original author: taking
  ** Major contributors: none
- ** Minor contributors (to current version): none
+ ** Minor contributors (to current version): mdeters
  ** This file is part of the CVC4 prototype.
  ** Copyright (c) 2009, 2010  The Analysis of Computer Systems Group (ACSys)
  ** Courant Institute of Mathematical Sciences

diff --git a/src/theory/uf/theory_uf.cpp b/src/theory/uf/theory_uf.cpp
index 4f15cca756f141e376e570f94b83538135674198..3fe82b16c00f2e49ec5aa453bff667912c58acbc 100644 (file)
--- a/src/theory/uf/theory_uf.cpp
+++ b/src/theory/uf/theory_uf.cpp
@@ -1,8 +1,8 @@
 /*********************                                                        */
 /** theory_uf.cpp
  ** Original author: taking
- ** Major contributors: none
- ** Minor contributors (to current version): none
+ ** Major contributors: mdeters
+ ** Minor contributors (to current version): cconway, dejan
  ** This file is part of the CVC4 prototype.
  ** Copyright (c) 2009, 2010  The Analysis of Computer Systems Group (ACSys)
  ** Courant Institute of Mathematical Sciences

diff --git a/src/theory/uf/theory_uf.h b/src/theory/uf/theory_uf.h
index 87c33e958a573f200505073cfec4b857dd81c338..8495e6c9c9310ce92ed0d212dab97081272ece01 100644 (file)
--- a/src/theory/uf/theory_uf.h
+++ b/src/theory/uf/theory_uf.h
@@ -1,8 +1,8 @@
 /*********************                                                        */
 /** theory_uf.h
  ** Original author: taking
- ** Major contributors: none
- ** Minor contributors (to current version): none
+ ** 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

diff --git a/src/util/integer.cpp b/src/util/integer.cpp
index 41291cc4230ccb65c085220507bfc7b0797890c5..3a7851eec9fb77e40e7ead3579054259a2d3231f 100644 (file)
--- a/src/util/integer.cpp
+++ b/src/util/integer.cpp
@@ -1,7 +1,7 @@
 /*********************                                                        */
 /** integer.cpp
  ** Original author: taking
- ** Major contributors: none
+ ** Major contributors: 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)

diff --git a/src/util/integer.h b/src/util/integer.h
index ffba5543a463bfee72a8de6a5921950bc4f15fb7..c1e5d90ea70d777143fada80d764775ca36b36c4 100644 (file)
--- a/src/util/integer.h
+++ b/src/util/integer.h
@@ -2,7 +2,7 @@
 /** integer.h
  ** Original author: taking
  ** Major contributors: none
- ** Minor contributors (to current version): none
+ ** Minor contributors (to current version): mdeters
  ** This file is part of the CVC4 prototype.
  ** Copyright (c) 2009, 2010  The Analysis of Computer Systems Group (ACSys)
  ** Courant Institute of Mathematical Sciences

diff --git a/src/util/options.h b/src/util/options.h
index c8c95dd1153c0b6ece883e1d9cb988a4288c820e..63f1cb99e2b8719788e637291f5dc31583cc03d7 100644 (file)
--- a/src/util/options.h
+++ b/src/util/options.h
@@ -2,7 +2,7 @@
 /** options.h
  ** Original author: mdeters
  ** Major contributors: cconway
- ** Minor contributors (to current version): taking, dejan
+ ** Minor contributors (to current version): dejan
  ** This file is part of the CVC4 prototype.
  ** Copyright (c) 2009, 2010  The Analysis of Computer Systems Group (ACSys)
  ** Courant Institute of Mathematical Sciences

diff --git a/src/util/rational.cpp b/src/util/rational.cpp
index f3584e8f342ca97b86e4fea5b93e4a4e4e31ec10..3ed357de72ba9c4e1b7f2c7f03ccd0e282ef1d78 100644 (file)
--- a/src/util/rational.cpp
+++ b/src/util/rational.cpp
@@ -1,7 +1,7 @@
 /*********************                                                        */
 /** rational.cpp
  ** Original author: taking
- ** Major contributors: none
+ ** Major contributors: 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)

diff --git a/src/util/rational.h b/src/util/rational.h
index 37d0c08cb6fb372662abb50d7777c04394bbb4dd..48b00899af2dfc313289f0512e61112ebd9c4adf 100644 (file)
--- a/src/util/rational.h
+++ b/src/util/rational.h
@@ -2,7 +2,7 @@
 /** rational.h
  ** Original author: taking
  ** Major contributors: none
- ** Minor contributors (to current version): none
+ ** Minor contributors (to current version): mdeters
  ** This file is part of the CVC4 prototype.
  ** Copyright (c) 2009, 2010  The Analysis of Computer Systems Group (ACSys)
  ** Courant Institute of Mathematical Sciences

diff --git a/test/unit/context/cdlist_black.h b/test/unit/context/cdlist_black.h
index 6029c7ff0eb6c47c61cb4de612ef5501ea0d22c9..b083f4794e979c98df2351b235919e83c2823df2 100644 (file)
--- a/test/unit/context/cdlist_black.h
+++ b/test/unit/context/cdlist_black.h
@@ -1,8 +1,8 @@
 /*********************                                                        */
 /** cdlist_black.h
- ** Original author: dejan
+ ** Original author: mdeters
  ** Major contributors: none
- ** Minor contributors (to current version): 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

diff --git a/test/unit/context/context_black.h b/test/unit/context/context_black.h
index 338c09849e0973383423eb5437544c2d51118263..549d99369742e25947f8a34947426d7886374af8 100644 (file)
--- a/test/unit/context/context_black.h
+++ b/test/unit/context/context_black.h
@@ -1,8 +1,8 @@
 /*********************                                                        */
 /** context_black.h
  ** 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, 2010  The Analysis of Computer Systems Group (ACSys)
  ** Courant Institute of Mathematical Sciences

diff --git a/test/unit/expr/attribute_black.h b/test/unit/expr/attribute_black.h
index 6125881df5706b68ce9d25f641ef201c297e6d9d..eb728c62cd76b585b53cb6924462088dddb3ec1d 100644 (file)
--- a/test/unit/expr/attribute_black.h
+++ b/test/unit/expr/attribute_black.h
@@ -1,8 +1,8 @@
 /*********************                                                        */
-/** node_black.h
- ** Original author: mdeters
- ** Major contributors: taking
- ** Minor contributors (to current version): none
+/** attribute_black.h
+ ** Original author: dejan
+ ** Major contributors: none
+ ** Minor contributors (to current version): mdeters, 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

diff --git a/test/unit/expr/attribute_white.h b/test/unit/expr/attribute_white.h
index d0c74c771edb907414001c9e0e148e494354a056..fb18601a35fb6f56fadb5eb5eca6ed635d73bd04 100644 (file)
--- a/test/unit/expr/attribute_white.h
+++ b/test/unit/expr/attribute_white.h
@@ -2,7 +2,7 @@
 /** attribute_white.h
  ** Original author: mdeters
  ** Major contributors: none
- ** Minor contributors (to current version): none
+ ** 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

diff --git a/test/unit/expr/kind_black.h b/test/unit/expr/kind_black.h
index a9db0262e4b6f295b2666e35170153790e00a902..8f25a9fc10bd7356700a9cbb871be516b756150e 100644 (file)
--- a/test/unit/expr/kind_black.h
+++ b/test/unit/expr/kind_black.h
@@ -2,7 +2,7 @@
 /** kind_black.h
  ** Original author: taking
  ** Major contributors: none
- ** Minor contributors (to current version): none
+ ** Minor contributors (to current version): mdeters
  ** This file is part of the CVC4 prototype.
  ** Copyright (c) 2009, 2010  The Analysis of Computer Systems Group (ACSys)
  ** Courant Institute of Mathematical Sciences

diff --git a/test/unit/expr/node_black.h b/test/unit/expr/node_black.h
index 0b46b06ce76cd7ee993276721bb50f604e1ed6ba..d420c6e263ed1b43c29d698c36313f73d80ce23e 100644 (file)
--- a/test/unit/expr/node_black.h
+++ b/test/unit/expr/node_black.h
@@ -2,7 +2,7 @@
 /** node_black.h
  ** Original author: mdeters
  ** Major contributors: taking
- ** Minor contributors (to current version): none
+ ** Minor contributors (to current version): dejan, 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

diff --git a/test/unit/expr/node_builder_black.h b/test/unit/expr/node_builder_black.h
index cfef88df77e8e83cce6fed8707d0eca4769813b5..2af5988a617253e8ea26a5919cd4a6d87c257919 100644 (file)
--- a/test/unit/expr/node_builder_black.h
+++ b/test/unit/expr/node_builder_black.h
@@ -1,7 +1,7 @@
 /*********************                                                        */
-/** node__builder_black.h
+/** node_builder_black.h
  ** Original author: taking
- ** Major contributors: none
+ ** Major contributors: 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)

diff --git a/test/unit/parser/parser_black.h b/test/unit/parser/parser_black.h
index 6e2adb3563ee7dae46687685fb74ca62564dfb1c..5a341830b60a988d67931a8917a0d2a8e9d63f0e 100644 (file)
--- a/test/unit/parser/parser_black.h
+++ b/test/unit/parser/parser_black.h
@@ -2,7 +2,7 @@
 /** parser_black.h
  ** Original author: cconway
  ** Major contributors: none
- ** Minor contributors (to current version): mdeters, dejan
+ ** Minor contributors (to current version): dejan, mdeters
  ** This file is part of the CVC4 prototype.
  ** Copyright (c) 2009, 2010  The Analysis of Computer Systems Group (ACSys)
  ** Courant Institute of Mathematical Sciences

diff --git a/test/unit/theory/theory_black.h b/test/unit/theory/theory_black.h
index 7ffc4193a1a988181fd2e8cc972bcfc516cd1cdd..427a22c9d8cd8e656b747c5244e9cfadc0a7089b 100644 (file)
--- a/test/unit/theory/theory_black.h
+++ b/test/unit/theory/theory_black.h
@@ -1,7 +1,7 @@
 /*********************                                                        */
 /** theory_black.h
  ** Original author: taking
- ** Major contributors: none
+ ** Major contributors: 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)

diff --git a/test/unit/theory/theory_uf_white.h b/test/unit/theory/theory_uf_white.h
index 7be68aaa1c8918a378968106be886ea2b31242a2..a204d79b7247d9854201a11fa6e6de531a965813 100644 (file)
--- a/test/unit/theory/theory_uf_white.h
+++ b/test/unit/theory/theory_uf_white.h
@@ -1,8 +1,8 @@
 /*********************                                                        */
 /** theory_uf_white.h
  ** Original author: taking
- ** Major contributors: none
- ** Minor contributors (to current version): dejan
+ ** Major contributors: 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