Update copyrights, add missing file-level documentation; fix perms.

16 files changed, 53 insertions, 19 deletions

diff --git a/src/util/bitvector.h b/src/util/bitvector.h
index 04e23217b..e826a6704 100644
--- a/src/util/bitvector.h
+++ b/src/util/bitvector.h
@@ -3,7 +3,7 @@
  ** \verbatim
  ** Original author: Dejan Jovanovic
  ** Major contributors: Morgan Deters, Liana Hadarean
- ** Minor contributors (to current version): lianah, Christopher L. Conway
+ ** Minor contributors (to current version): Christopher L. Conway
  ** This file is part of the CVC4 project.
  ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
diff --git a/src/util/configuration.cpp b/src/util/configuration.cpp
index f03c5e959..0d22325e7 100644
--- a/src/util/configuration.cpp
+++ b/src/util/configuration.cpp
@@ -3,7 +3,7 @@
  ** \verbatim
  ** Original author: Morgan Deters
  ** Major contributors: none
- ** Minor contributors (to current version): Liana Hadarean, ACSYS, Christopher L. Conway, Dejan Jovanovic, Francois Bobot
+ ** Minor contributors (to current version): Liana Hadarean, Tim King, ACSYS, Christopher L. Conway, Dejan Jovanovic, Francois Bobot
  ** This file is part of the CVC4 project.
  ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
diff --git a/src/util/configuration.h b/src/util/configuration.h
index 7e543c54e..be49e3dcf 100644
--- a/src/util/configuration.h
+++ b/src/util/configuration.h
@@ -3,7 +3,7 @@
  ** \verbatim
  ** Original author: Morgan Deters
  ** Major contributors: none
- ** Minor contributors (to current version): ACSYS, Liana Hadarean, Francois Bobot
+ ** Minor contributors (to current version): ACSYS, Liana Hadarean, Tim King, Francois Bobot
  ** This file is part of the CVC4 project.
  ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
diff --git a/src/util/configuration_private.h b/src/util/configuration_private.h
index 3b3115887..e33c5fa36 100644
--- a/src/util/configuration_private.h
+++ b/src/util/configuration_private.h
@@ -3,7 +3,7 @@
  ** \verbatim
  ** Original author: Christopher L. Conway
  ** Major contributors: ACSYS, Morgan Deters
- ** Minor contributors (to current version): Liana Hadarean
+ ** Minor contributors (to current version): Liana Hadarean, Tim King
  ** This file is part of the CVC4 project.
  ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
diff --git a/src/util/dense_map.h b/src/util/dense_map.h
index 8f8b63668..10ca9f72f 100644
--- a/src/util/dense_map.h
+++ b/src/util/dense_map.h
@@ -3,7 +3,7 @@
  ** \verbatim
  ** Original author: Tim King
  ** Major contributors: none
- ** Minor contributors (to current version): Dejan Jovanovic, Morgan Deters
+ ** Minor contributors (to current version): Morgan Deters, Dejan Jovanovic
  ** This file is part of the CVC4 project.
  ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
diff --git a/src/util/gmp_util.h b/src/util/gmp_util.h
index f2cd0004f..b5654e9cb 100644
--- a/src/util/gmp_util.h
+++ b/src/util/gmp_util.h
@@ -3,7 +3,7 @@
  ** \verbatim
  ** Original author: Dejan Jovanovic
  ** Major contributors: Morgan Deters
- ** Minor contributors (to current version): Tim King
+ ** Minor contributors (to current version): none
  ** This file is part of the CVC4 project.
  ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
diff --git a/src/util/hash.h b/src/util/hash.h
index 34ca8be5b..0cdc96fcb 100644
--- a/src/util/hash.h
+++ b/src/util/hash.h
@@ -3,7 +3,7 @@
  ** \verbatim
  ** Original author: Christopher L. Conway
  ** Major contributors: Morgan Deters
- ** Minor contributors (to current version): Dejan Jovanovic, Tim King
+ ** Minor contributors (to current version): Dejan Jovanovic
  ** This file is part of the CVC4 project.
  ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
diff --git a/src/util/index.h b/src/util/index.h
index 356dbdd8f..be3e2918b 100644
--- a/src/util/index.h
+++ b/src/util/index.h
@@ -3,7 +3,7 @@
  ** \verbatim
  ** Original author: Tim King
  ** Major contributors: Morgan Deters
- ** Minor contributors (to current version): lianah
+ ** Minor contributors (to current version): Liana Hadarean
  ** This file is part of the CVC4 project.
  ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
diff --git a/src/util/ite_removal.cpp b/src/util/ite_removal.cpp
index 5231e05c2..0dfea4399 100644
--- a/src/util/ite_removal.cpp
+++ b/src/util/ite_removal.cpp
@@ -2,7 +2,7 @@
 /*! \file ite_removal.cpp
  ** \verbatim
  ** Original author: Dejan Jovanovic
- ** Major contributors: Andrew Reynolds, Morgan Deters
+ ** Major contributors: Morgan Deters, Andrew Reynolds, Tim King
  ** Minor contributors (to current version): Clark Barrett
  ** This file is part of the CVC4 project.
  ** Copyright (c) 2009-2013  New York University and The University of Iowa
diff --git a/src/util/ite_removal.h b/src/util/ite_removal.h
index 9d79687f4..c2464636e 100644
--- a/src/util/ite_removal.h
+++ b/src/util/ite_removal.h
@@ -2,7 +2,7 @@
 /*! \file ite_removal.h
  ** \verbatim
  ** Original author: Dejan Jovanovic
- ** Major contributors: Kshitij Bansal, Morgan Deters
+ ** Major contributors: Kshitij Bansal, Morgan Deters, Tim King
  ** Minor contributors (to current version): Andrew Reynolds, Clark Barrett
  ** This file is part of the CVC4 project.
  ** Copyright (c) 2009-2013  New York University and The University of Iowa
diff --git a/src/util/maybe.h b/src/util/maybe.h
index 795eac759..e90953e0b 100644
--- a/src/util/maybe.h
+++ b/src/util/maybe.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file maybe.h
  ** \verbatim
- ** Original author: taking
+ ** Original author: Tim King
  ** Major contributors: none
- ** Minor contributors (to current version): mdeters
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** Minor contributors (to current version): none
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/model.cpp b/src/util/model.cpp
index 1d14a7c4f..e25065c21 100644
--- a/src/util/model.cpp
+++ b/src/util/model.cpp
@@ -1,7 +1,7 @@
 /*********************                                                        */
 /*! \file model.cpp
  ** \verbatim
- ** Original author: Clark Barrett
+ ** Original author: Andrew Reynolds
  ** Major contributors: Morgan Deters
  ** Minor contributors (to current version): none
  ** This file is part of the CVC4 project.
diff --git a/src/util/model.h b/src/util/model.h
index 2224f74db..1d80b0308 100644
--- a/src/util/model.h
+++ b/src/util/model.h
@@ -1,8 +1,8 @@
 /*********************                                                        */
 /*! \file model.h
  ** \verbatim
- ** Original author: Clark Barrett
- ** Major contributors: Andrew Reynolds, Morgan Deters
+ ** Original author: Morgan Deters
+ ** Major contributors: Andrew Reynolds
  ** Minor contributors (to current version): none
  ** This file is part of the CVC4 project.
  ** Copyright (c) 2009-2013  New York University and The University of Iowa
diff --git a/src/util/nary_builder.cpp b/src/util/nary_builder.cpp
index 004dd3382..08aceef6f 100644
--- a/src/util/nary_builder.cpp
+++ b/src/util/nary_builder.cpp
@@ -1,3 +1,20 @@
+/*********************                                                        */
+/*! \file nary_builder.cpp
+ ** \verbatim
+ ** Original author: Tim King
+ ** Major contributors: none
+ ** Minor contributors (to current version): none
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
+ ** See the file COPYING in the top-level source directory for licensing
+ ** information.\endverbatim
+ **
+ ** \brief [[ Add one-line brief description here ]]
+ **
+ ** [[ Add lengthier description here ]]
+ ** \todo document this file
+ **/
+
 
 #include "util/nary_builder.h"
 #include "expr/metakind.h"
diff --git a/src/util/nary_builder.h b/src/util/nary_builder.h
index ceaa44e77..7676cadbc 100644
--- a/src/util/nary_builder.h
+++ b/src/util/nary_builder.h
@@ -1,3 +1,20 @@
+/*********************                                                        */
+/*! \file nary_builder.h
+ ** \verbatim
+ ** Original author: Tim King
+ ** Major contributors: none
+ ** Minor contributors (to current version): none
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
+ ** See the file COPYING in the top-level source directory for licensing
+ ** information.\endverbatim
+ **
+ ** \brief [[ Add one-line brief description here ]]
+ **
+ ** [[ Add lengthier description here ]]
+ ** \todo document this file
+ **/
+
 
 #include "cvc4_private.h"
 
diff --git a/src/util/regexp.h b/src/util/regexp.h
index bcd569df0..3a8fc7170 100644
--- a/src/util/regexp.h
+++ b/src/util/regexp.h
@@ -3,8 +3,8 @@
  ** \verbatim
  ** Original author: Tianyi Liang
  ** Major contributors: none
- ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
+ ** Minor contributors (to current version): Morgan Deters
+ ** This file is part of the CVC4 project.
  ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim