update copyrights

examples/SimpleVC.java

@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file SimpleVC.java
  ** \verbatim
- ** Original author: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
  ** Major contributors: none
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** 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
  **

examples/SimpleVCCompat.java

@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file SimpleVCCompat.java
  ** \verbatim
- ** Original author: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
  ** Major contributors: none
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** 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
  **

examples/api/bitvectors.cpp

@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file bitvectors.cpp
  ** \verbatim
- ** Original author: lianah
- ** Major contributors: none
+ ** Original author: Liana Hadarean <[email protected]>
+ ** Major contributors: Morgan Deters <[email protected]>
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** 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
  **

examples/api/bitvectors_and_arrays.cpp

@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file bitvectors_and_arrays.cpp
  ** \verbatim
- ** Original author: lianah
- ** Major contributors: none
+ ** Original author: Liana Hadarean <[email protected]>
+ ** Major contributors: Morgan Deters <[email protected]>
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** 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
  **

examples/api/combination.cpp

@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file combination.cpp
  ** \verbatim
- ** Original author: taking
+ ** Original author: Tim King <taking@cs.nyu.edu>
  ** Major contributors: none
- ** Minor contributors (to current version): none
- ** 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): Morgan Deters <[email protected]>
+ ** 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
  **

examples/api/helloworld.cpp

@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file helloworld.cpp
  ** \verbatim
- ** Original author: taking
+ ** Original author: Tim King <taking@cs.nyu.edu>
  ** Major contributors: none
- ** Minor contributors (to current version): none
- ** 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): Morgan Deters <[email protected]>
+ ** 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
  **

examples/api/java/BitVectors.java

@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file BitVectors.java
  ** \verbatim
- ** Original author: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
  ** Major contributors: none
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** 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
  **

examples/api/java/BitVectorsAndArrays.java

@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file BitVectorsAndArrays.java
  ** \verbatim
- ** Original author: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
  ** Major contributors: none
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** 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
  **

examples/api/java/Combination.java

@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file Combination.java
  ** \verbatim
- ** Original author: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
  ** Major contributors: none
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** 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
  **

examples/api/java/HelloWorld.java

@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file HelloWorld.java
  ** \verbatim
- ** Original author: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
  ** Major contributors: none
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** 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
  **

examples/api/java/LinearArith.java

@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file LinearArith.java
  ** \verbatim
- ** Original author: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
  ** Major contributors: none
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** 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
  **

examples/api/java/PipedInput.java

@@ -1,10 +1,10 @@
 /*********************                                                        */
 /*! \file PipedInput.java
  ** \verbatim
- ** Original author: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
  ** Major contributors: none
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
+ ** 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

examples/api/linear_arith.cpp

@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file linear_arith.cpp
  ** \verbatim
- ** Original author: taking
+ ** Original author: Tim King <taking@cs.nyu.edu>
  ** Major contributors: none
- ** Minor contributors (to current version): none
- ** 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): Morgan Deters <[email protected]>
+ ** 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
  **

examples/hashsmt/sha1.hpp

@@ -1,3 +1,20 @@
+/*********************                                                        */
+/*! \file sha1.hpp
+ ** \verbatim
+ ** Original author: Dejan Jovanović <[email protected]>
+ ** 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
+ **/
+
 // boost/uuid/sha1.hpp header file  ----------------------------------------------//
 
 // Copyright 2007 Andy Tompkins.

examples/hashsmt/sha1smt.cpp

@@ -1,3 +1,20 @@
+/*********************                                                        */
+/*! \file sha1smt.cpp
+ ** \verbatim
+ ** Original author: Dejan Jovanović <[email protected]>
+ ** 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
+ **/
+
 /*
  * sha1smt.cpp
  *

examples/hashsmt/word.cpp

@@ -1,3 +1,20 @@
+/*********************                                                        */
+/*! \file word.cpp
+ ** \verbatim
+ ** Original author: Dejan Jovanović <[email protected]>
+ ** Major contributors: none
+ ** Minor contributors (to current version): Morgan Deters <[email protected]>
+ ** 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
+ **/
+
 /*
  * word.cpp
  *

examples/hashsmt/word.h

@@ -1,3 +1,20 @@
+/*********************                                                        */
+/*! \file word.h
+ ** \verbatim
+ ** Original author: Dejan Jovanović <[email protected]>
+ ** Major contributors: none
+ ** Minor contributors (to current version): Morgan Deters <[email protected]>
+ ** 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
+ **/
+
 /*
  * word.h
  *

examples/nra-translate/normalize.cpp

@@ -1,3 +1,20 @@
+/*********************                                                        */
+/*! \file normalize.cpp
+ ** \verbatim
+ ** Original author: Dejan Jovanović <[email protected]>
+ ** Major contributors: none
+ ** Minor contributors (to current version): Morgan Deters <[email protected]>
+ ** 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 <string>
 #include <iostream>
 #include <typeinfo>

examples/nra-translate/smt2info.cpp

@@ -1,3 +1,20 @@
+/*********************                                                        */
+/*! \file smt2info.cpp
+ ** \verbatim
+ ** Original author: Dejan Jovanović <[email protected]>
+ ** Major contributors: none
+ ** Minor contributors (to current version): Morgan Deters <[email protected]>
+ ** 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 <string>
 #include <iostream>
 #include <typeinfo>

examples/nra-translate/smt2todreal.cpp

@@ -1,3 +1,20 @@
+/*********************                                                        */
+/*! \file smt2todreal.cpp
+ ** \verbatim
+ ** Original author: Dejan Jovanović <[email protected]>
+ ** Major contributors: none
+ ** Minor contributors (to current version): Morgan Deters <[email protected]>
+ ** 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 <string>
 #include <iostream>
 #include <typeinfo>

examples/nra-translate/smt2toisat.cpp

@@ -1,3 +1,20 @@
+/*********************                                                        */
+/*! \file smt2toisat.cpp
+ ** \verbatim
+ ** Original author: Dejan Jovanović <[email protected]>
+ ** Major contributors: none
+ ** Minor contributors (to current version): Morgan Deters <[email protected]>
+ ** 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 <string>
 #include <iostream>
 #include <typeinfo>

examples/nra-translate/smt2tomathematica.cpp

@@ -1,3 +1,20 @@
+/*********************                                                        */
+/*! \file smt2tomathematica.cpp
+ ** \verbatim
+ ** Original author: Dejan Jovanović <[email protected]>
+ ** Major contributors: none
+ ** Minor contributors (to current version): Morgan Deters <[email protected]>
+ ** 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 <string>
 #include <iostream>
 #include <typeinfo>