update-copyright.pl now retrieves and incorporates author information from repository history; re-ran update-copyright.pl; cleaned up some things with make

10 files changed, 55 insertions, 7 deletions

diff --git a/src/parser/antlr_parser.cpp b/src/parser/antlr_parser.cpp
index 1baaf2139..c42415c54 100644
--- a/src/parser/antlr_parser.cpp
+++ b/src/parser/antlr_parser.cpp
@@ -1,3 +1,18 @@
+/*********************                                           -*- C++ -*-  */
+/** antlr_parser.cpp
+ ** Original author: dejan
+ ** Major contributors: none
+ ** Minor contributors (to current version): cconway, mdeters
+ ** 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.
+ **
+ ** [[ Add file-specific comments here ]]
+ **/
+
 /*
  * antlr_parser.cpp
  *
diff --git a/src/parser/antlr_parser.h b/src/parser/antlr_parser.h
index b2ef3f181..8a9dea5ad 100644
--- a/src/parser/antlr_parser.h
+++ b/src/parser/antlr_parser.h
@@ -1,9 +1,17 @@
-/*
- * antlr_parser.h
- *
- *  Created on: Nov 30, 2009
- *      Author: dejan
- */
+/*********************                                           -*- C++ -*-  */
+/** antlr_parser.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 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.
+ **
+ ** Base for ANTLR parser classes.
+ **/
 
 #ifndef CVC4_PARSER_H_
 #define CVC4_PARSER_H_
diff --git a/src/parser/cvc/cvc_parser.cpp b/src/parser/cvc/cvc_parser.cpp
index adeb5761d..57d5e6c96 100644
--- a/src/parser/cvc/cvc_parser.cpp
+++ b/src/parser/cvc/cvc_parser.cpp
@@ -1,5 +1,8 @@
 /*********************                                           -*- C++ -*-  */
 /** cvc_parser.cpp
+ ** Original author: mdeters
+ ** 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)
  ** Courant Institute of Mathematical Sciences
diff --git a/src/parser/cvc/cvc_parser.h b/src/parser/cvc/cvc_parser.h
index 9cb6b7594..82d659566 100644
--- a/src/parser/cvc/cvc_parser.h
+++ b/src/parser/cvc/cvc_parser.h
@@ -1,5 +1,8 @@
 /*********************                                           -*- C++ -*-  */
 /** cvc_parser.h
+ ** Original author: mdeters
+ ** 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)
  ** Courant Institute of Mathematical Sciences
diff --git a/src/parser/parser.cpp b/src/parser/parser.cpp
index 8d4af5ba1..2ff409686 100644
--- a/src/parser/parser.cpp
+++ b/src/parser/parser.cpp
@@ -1,5 +1,8 @@
 /*********************                                           -*- C++ -*-  */
 /** parser.cpp
+ ** Original author: mdeters
+ ** 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)
  ** Courant Institute of Mathematical Sciences
diff --git a/src/parser/parser.h b/src/parser/parser.h
index 7755d65f0..b448cd2a6 100644
--- a/src/parser/parser.h
+++ b/src/parser/parser.h
@@ -1,5 +1,8 @@
 /*********************                                           -*- C++ -*-  */
 /** parser.h
+ ** Original author: mdeters
+ ** 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)
  ** Courant Institute of Mathematical Sciences
diff --git a/src/parser/parser_exception.h b/src/parser/parser_exception.h
index b2cf8bc55..3504eeba2 100644
--- a/src/parser/parser_exception.h
+++ b/src/parser/parser_exception.h
@@ -1,5 +1,8 @@
 /*********************                                           -*- C++ -*-  */
 /** parser_exception.h
+ ** Original author: mdeters
+ ** 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)
  ** Courant Institute of Mathematical Sciences
@@ -7,7 +10,7 @@
  ** See the file COPYING in the top-level source directory for licensing
  ** information.
  **
- ** Exception class.
+ ** Exception class for parse errors.
  **/
 
 #ifndef __CVC4__PARSER__PARSER_EXCEPTION_H
diff --git a/src/parser/smt/smt_parser.cpp b/src/parser/smt/smt_parser.cpp
index 65d36690c..8c5773e32 100644
--- a/src/parser/smt/smt_parser.cpp
+++ b/src/parser/smt/smt_parser.cpp
@@ -1,5 +1,8 @@
 /*********************                                           -*- C++ -*-  */
 /** smt_parser.cpp
+ ** Original author: mdeters
+ ** 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)
  ** Courant Institute of Mathematical Sciences
diff --git a/src/parser/smt/smt_parser.h b/src/parser/smt/smt_parser.h
index 6927888cf..21c278a37 100644
--- a/src/parser/smt/smt_parser.h
+++ b/src/parser/smt/smt_parser.h
@@ -1,5 +1,8 @@
 /*********************                                           -*- C++ -*-  */
 /** smt_parser.h
+ ** Original author: mdeters
+ ** Major contributors: none
+ ** 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)
  ** Courant Institute of Mathematical Sciences
diff --git a/src/parser/symbol_table.h b/src/parser/symbol_table.h
index 2c4f0e8b7..66d5727d6 100644
--- a/src/parser/symbol_table.h
+++ b/src/parser/symbol_table.h
@@ -1,5 +1,8 @@
 /*********************                                           -*- C++ -*-  */
 /** symbol_table.h
+ ** Original author: cconway
+ ** 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)
  ** Courant Institute of Mathematical Sciences
@@ -7,6 +10,7 @@
  ** See the file COPYING in the top-level source directory for licensing
  ** information.
  **
+ ** A symbol table for the parsers' use.
  **/
 
 #ifndef __CVC4__PARSER__SYMBOL_TABLE_H