* configure.ac: Remove doc/ from search path for Makefile.ams

* configure.ac, test/unit/Makefile.am: Resolved an issue where even
  when not testing, one unit test was built.

* Re-ran contrib/update-copyright.pl on all source files to ensure
  consistent and correct header comments.

* contrib/get-authors: Change definition of "minor contributor"
  to >= 10% of lines (rather than strictly greater than 10% of lines)

11 files changed, 20 insertions, 20 deletions

diff --git a/src/expr/attribute.h b/src/expr/attribute.h
index 1d2705240..54500d0d5 100644
--- a/src/expr/attribute.h
+++ b/src/expr/attribute.h
@@ -1,7 +1,7 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** attribute.h
  ** Original author: mdeters
- ** Major contributors: dejan
+ ** 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)
diff --git a/src/expr/expr.cpp b/src/expr/expr.cpp
index 18c0fdbab..c29b7e448 100644
--- a/src/expr/expr.cpp
+++ b/src/expr/expr.cpp
@@ -1,8 +1,8 @@
 /*********************                                                        */
 /** expr.cpp
  ** Original author: dejan
- ** Major contributors: taking
- ** Minor contributors (to current version): mdeters
+ ** Major contributors: mdeters
+ ** Minor contributors (to current version): 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.h b/src/expr/expr.h
index dd4d0e9d7..096094aff 100644
--- a/src/expr/expr.h
+++ b/src/expr/expr.h
@@ -2,7 +2,7 @@
 /** expr.h
  ** Original author: dejan
  ** Major contributors: none
- ** Minor contributors (to current version): mdeters, taking
+ ** Minor contributors (to current version): taking, 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/expr/expr_manager.cpp b/src/expr/expr_manager.cpp
index 506c118bc..71368c101 100644
--- a/src/expr/expr_manager.cpp
+++ b/src/expr/expr_manager.cpp
@@ -1,7 +1,7 @@
 /*********************                                                        */
 /** expr_manager.cpp
  ** Original author: dejan
- ** Major contributors: mdeters
+ ** Major contributors: cconway, mdeters
  ** Minor contributors (to current version): none
  ** This file is part of the CVC4 prototype.
  ** Copyright (c) 2009, 2010  The Analysis of Computer Systems Group (ACSys)
diff --git a/src/expr/expr_manager.h b/src/expr/expr_manager.h
index edfc18c8d..d84cf76be 100644
--- a/src/expr/expr_manager.h
+++ b/src/expr/expr_manager.h
@@ -1,7 +1,7 @@
 /*********************                                                        */
 /** expr_manager.h
  ** Original author: dejan
- ** Major contributors: mdeters
+ ** Major contributors: cconway, mdeters
  ** Minor contributors (to current version): taking
  ** This file is part of the CVC4 prototype.
  ** Copyright (c) 2009, 2010  The Analysis of Computer Systems Group (ACSys)
diff --git a/src/expr/node.cpp b/src/expr/node.cpp
index 79490d58e..90dd86712 100644
--- a/src/expr/node.cpp
+++ b/src/expr/node.cpp
@@ -1,8 +1,8 @@
 /*********************                                                        */
 /** node.cpp
  ** Original author: mdeters
- ** Major contributors: taking, dejan
- ** Minor contributors (to current version): none
+ ** Major contributors: dejan
+ ** Minor contributors (to current version): 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.cpp b/src/expr/node_manager.cpp
index 12a6d1732..c6aee3dea 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: none
- ** Minor contributors (to current version): dejan
+ ** 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)
  ** Courant Institute of Mathematical Sciences
diff --git a/src/expr/node_manager.h b/src/expr/node_manager.h
index 18a95f041..97f5ba9cd 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: none
- ** Minor contributors (to current version): taking, dejan
+ ** Major contributors: dejan
+ ** Minor contributors (to current version): 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/soft_node.h b/src/expr/soft_node.h
index fe71a4d1a..0bf9b47cf 100644
--- a/src/expr/soft_node.h
+++ b/src/expr/soft_node.h
@@ -1,8 +1,8 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** soft_node.h
  ** Original author: mdeters
- ** Major contributors: dejan
- ** Minor contributors (to current version): taking
+ ** 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/expr/type.cpp b/src/expr/type.cpp
index d4662d420..368a3fe44 100644
--- a/src/expr/type.cpp
+++ b/src/expr/type.cpp
@@ -1,5 +1,5 @@
-/*********************                                           -*- C++ -*-  */
-/** type.h
+/*********************                                                        */
+/** type.cpp
  ** Original author: cconway
  ** Major contributors: none
  ** Minor contributors (to current version): none
diff --git a/src/expr/type.h b/src/expr/type.h
index 19d0c831e..fd485602e 100644
--- a/src/expr/type.h
+++ b/src/expr/type.h
@@ -1,8 +1,8 @@
-/*********************                                           -*- C++ -*-  */
+/*********************                                                        */
 /** type.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