From: Morgan Deters <mdeters@gmail.com>
Date: Thu, 1 Apr 2010 07:19:41 +0000 (+0000)
Subject: reran update-copyright.pl to get new contributors and add new header comments to... 
X-Git-Tag: cvc5-1.0.0~9150
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a86b330c8b1ebfa7ec9a284ceb7cba69ff6d09b9;p=cvc5.git

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

diff --git a/contrib/update-copyright.pl b/contrib/update-copyright.pl
index 8c73d514c..f6c066a0a 100755
--- 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 492dc7939..b0161c562 100644
--- 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 f2d6e7b4b..e03156e8a 100644
--- 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 04b0c8167..5920859e1 100644
--- 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 358755192..c79f4da80 100644
--- 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 d50c2284d..0ae2cdc22 100644
--- 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 523c12e3b..1c1d6dbd7 100644
--- 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 2e901dc92..ebab8ec6d 100644
--- 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 12307e679..efbdec2de 100644
--- 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 875760725..6f6fdfb4d 100644
--- 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 4df174604..213a4cb35 100644
--- 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 29749ee5d..8f254ed9f 100644
--- 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 d17ec9497..99b1471f9 100644
--- 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 0138aa2a5..101be5187 100644
--- 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 6408ef01a..9e8854e8f 100644
--- 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 569becab1..851c440b6 100644
--- 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 767ea122e..8a9d6cd70 100644
--- 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 b7474fa7e..64958519c 100644
--- 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 c6899e85a..174ab4b7f 100644
--- 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 901735b1f..16f10cd93 100644
--- 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 05d785df3..dee7c1491 100644
--- 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 0209eb172..22a42c2fa 100644
--- 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 8f8177544..761ac762f 100644
--- 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 d2ac81167..feb2e6d35 100644
--- 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 241ce62f3..f247a651d 100644
--- 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 9908a25aa..4878d015e 100644
--- 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 0fd9a2628..3b7b322ca 100644
--- 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 a255ede12..ad888c6cc 100644
--- 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 f1a7b5729..a87ba9cf8 100644
--- 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 4146eec02..c63ec5407 100644
--- 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 9bbe7d709..7b0f8bda9 100644
--- 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 ae1d99542..d593d6f5a 100644
--- 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 48a0eddef..86c1b015d 100644
--- 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 cd62eec39..1bff3d18f 100644
--- 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 3e295d18a..f93a1bf0d 100644
--- 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 7a05c618a..66cdaa730 100644
--- 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 207ed90fd..12aa82793 100644
--- 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 1d5daf7bd..df829ac01 100644
--- 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 22db1e6d0..a60aaf1cd 100644
--- 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 26d957c2e..462e713de 100644
--- 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 4f15cca75..3fe82b16c 100644
--- 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 87c33e958..8495e6c9c 100644
--- 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 41291cc42..3a7851eec 100644
--- 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 ffba5543a..c1e5d90ea 100644
--- 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 c8c95dd11..63f1cb99e 100644
--- 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 f3584e8f3..3ed357de7 100644
--- 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 37d0c08cb..48b00899a 100644
--- 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 6029c7ff0..b083f4794 100644
--- 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 338c09849..549d99369 100644
--- 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 6125881df..eb728c62c 100644
--- 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 d0c74c771..fb18601a3 100644
--- 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 a9db0262e..8f25a9fc1 100644
--- 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 0b46b06ce..d420c6e26 100644
--- 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 cfef88df7..2af5988a6 100644
--- 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 6e2adb356..5a341830b 100644
--- 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 7ffc4193a..427a22c9d 100644
--- 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 7be68aaa1..a204d79b7 100644
--- 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