update copyrights

14 files changed, 62 insertions, 62 deletions

diff --git a/src/prop/cnf_stream.cpp b/src/prop/cnf_stream.cpp
index 89cd731e9..2b8d65e29 100644
--- a/src/prop/cnf_stream.cpp
+++ b/src/prop/cnf_stream.cpp
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file cnf_stream.cpp
  ** \verbatim
- ** Original author: taking
- ** Major contributors: mdeters, dejan
- ** Minor contributors (to current version): kshitij, lianah, cconway
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** Original author: Tim King <taking@cs.nyu.edu>
+ ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu>, Dejan Jovanović <dejan.jovanovic@gmail.com>
+ ** Minor contributors (to current version): Kshitij Bansal <kshitij@cs.nyu.edu>, Liana Hadarean <lianahady@gmail.com>, Christopher L. Conway <christopherleeconway@gmail.com>
+ ** 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/prop/cnf_stream.h b/src/prop/cnf_stream.h
index 042cccd56..526a61b14 100644
--- a/src/prop/cnf_stream.h
+++ b/src/prop/cnf_stream.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file cnf_stream.h
  ** \verbatim
- ** Original author: taking
- ** Major contributors: mdeters, dejan
- ** Minor contributors (to current version): barrett, lianah, cconway
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** Original author: Tim King <taking@cs.nyu.edu>
+ ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu>, Dejan Jovanović <dejan.jovanovic@gmail.com>
+ ** Minor contributors (to current version): Clark Barrett <barrett@cs.nyu.edu>, Liana Hadarean <lianahady@gmail.com>, Christopher L. Conway <christopherleeconway@gmail.com>
+ ** 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/prop/options_handlers.h b/src/prop/options_handlers.h
index 3f87b6b69..1879fffa5 100644
--- a/src/prop/options_handlers.h
+++ b/src/prop/options_handlers.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file options_handlers.h
  ** \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
  **
diff --git a/src/prop/prop_engine.cpp b/src/prop/prop_engine.cpp
index 1bd5dc8b7..5cca714ae 100644
--- a/src/prop/prop_engine.cpp
+++ b/src/prop/prop_engine.cpp
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file prop_engine.cpp
  ** \verbatim
- ** Original author: mdeters
- ** Major contributors: dejan
- ** Minor contributors (to current version): barrett, lianah, kshitij, cconway, taking
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
+ ** Major contributors: Dejan Jovanović <dejan.jovanovic@gmail.com>
+ ** Minor contributors (to current version): Clark Barrett <barrett@cs.nyu.edu>, Liana Hadarean <lianahady@gmail.com>, Kshitij Bansal <kshitij@cs.nyu.edu>, Christopher L. Conway <christopherleeconway@gmail.com>, Tim King <taking@cs.nyu.edu>
+ ** 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/prop/prop_engine.h b/src/prop/prop_engine.h
index 9540d3921..2cb0cd297 100644
--- a/src/prop/prop_engine.h
+++ b/src/prop/prop_engine.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file prop_engine.h
  ** \verbatim
- ** Original author: mdeters
- ** Major contributors: dejan
- ** Minor contributors (to current version): barrett, cconway, lianah, kshitij, taking
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
+ ** Major contributors: Dejan Jovanović <dejan.jovanovic@gmail.com>
+ ** Minor contributors (to current version): Clark Barrett <barrett@cs.nyu.edu>, Liana Hadarean <lianahady@gmail.com>, Christopher L. Conway <christopherleeconway@gmail.com>, Kshitij Bansal <kshitij@cs.nyu.edu>, Tim King <taking@cs.nyu.edu>
+ ** 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/prop/registrar.h b/src/prop/registrar.h
index 3dfce1420..ed8a78bd5 100644
--- a/src/prop/registrar.h
+++ b/src/prop/registrar.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file registrar.h
  ** \verbatim
- ** Original author: lianah
- ** Major contributors: none
+ ** Original author: Liana Hadarean <lianahady@gmail.com>
+ ** Major contributors: Tim King <taking@cs.nyu.edu>, Morgan Deters <mdeters@cs.nyu.edu>
  ** 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
  **
diff --git a/src/prop/sat_solver.h b/src/prop/sat_solver.h
index b4807b021..436da65e7 100644
--- a/src/prop/sat_solver.h
+++ b/src/prop/sat_solver.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file sat_solver.h
  ** \verbatim
- ** Original author: lianah
- ** Major contributors: mdeters, dejan
+ ** Original author: Dejan Jovanović <dejan.jovanovic@gmail.com>
+ ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu>, Liana Hadarean <lianahady@gmail.com>
  ** 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
  **
diff --git a/src/prop/sat_solver_factory.cpp b/src/prop/sat_solver_factory.cpp
index c9f5643b0..fbd1a4960 100644
--- a/src/prop/sat_solver_factory.cpp
+++ b/src/prop/sat_solver_factory.cpp
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file sat_solver_factory.cpp
  ** \verbatim
- ** Original author: dejan
- ** Major contributors: taking
- ** Minor contributors (to current version): lianah, mdeters
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** Original author: Dejan Jovanović <dejan.jovanovic@gmail.com>
+ ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu>, Tim King <taking@cs.nyu.edu>
+ ** Minor contributors (to current version): Liana Hadarean <lianahady@gmail.com>
+ ** 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/prop/sat_solver_factory.h b/src/prop/sat_solver_factory.h
index 168e21fcc..e2edfa31a 100644
--- a/src/prop/sat_solver_factory.h
+++ b/src/prop/sat_solver_factory.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file sat_solver_factory.h
  ** \verbatim
- ** Original author: dejan
+ ** Original author: Dejan Jovanović <dejan.jovanovic@gmail.com>
  ** Major contributors: none
- ** Minor contributors (to current version): lianah
- ** 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): Liana Hadarean <lianahady@gmail.com>, Morgan Deters <mdeters@cs.nyu.edu>
+ ** 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/prop/sat_solver_registry.cpp b/src/prop/sat_solver_registry.cpp
index a9bf981b7..f6247ed5d 100644
--- a/src/prop/sat_solver_registry.cpp
+++ b/src/prop/sat_solver_registry.cpp
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file sat_solver_registry.cpp
  ** \verbatim
- ** Original author: dejan
+ ** Original author: Dejan Jovanović <dejan.jovanovic@gmail.com>
  ** 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): Morgan Deters <mdeters@cs.nyu.edu>
+ ** 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/prop/sat_solver_registry.h b/src/prop/sat_solver_registry.h
index 4e0357489..0a88468d0 100644
--- a/src/prop/sat_solver_registry.h
+++ b/src/prop/sat_solver_registry.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file sat_solver_registry.h
  ** \verbatim
- ** Original author: dejan
+ ** Original author: Dejan Jovanović <dejan.jovanovic@gmail.com>
  ** 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): Morgan Deters <mdeters@cs.nyu.edu>
+ ** 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/prop/sat_solver_types.h b/src/prop/sat_solver_types.h
index edbf61b13..83278daf4 100644
--- a/src/prop/sat_solver_types.h
+++ b/src/prop/sat_solver_types.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file sat_solver_types.h
  ** \verbatim
- ** Original author: dejan
+ ** Original author: Dejan Jovanović <dejan.jovanovic@gmail.com>
  ** Major contributors: none
- ** Minor contributors (to current version): mdeters, kshitij
- ** 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 <mdeters@cs.nyu.edu>, Kshitij Bansal <kshitij@cs.nyu.edu>
+ ** 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/prop/theory_proxy.cpp b/src/prop/theory_proxy.cpp
index 6246ef7e5..efca8620a 100644
--- a/src/prop/theory_proxy.cpp
+++ b/src/prop/theory_proxy.cpp
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file theory_proxy.cpp
  ** \verbatim
- ** Original author: cconway
- ** Major contributors: kshitij, dejan, mdeters
- ** Minor contributors (to current version): barrett, taking, lianah
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** Original author: Dejan Jovanović <dejan.jovanovic@gmail.com>
+ ** Major contributors: Kshitij Bansal <kshitij@cs.nyu.edu>, Morgan Deters <mdeters@cs.nyu.edu>
+ ** Minor contributors (to current version): Clark Barrett <barrett@cs.nyu.edu>, Christopher L. Conway <christopherleeconway@gmail.com>, Tim King <taking@cs.nyu.edu>, Liana Hadarean <lianahady@gmail.com>
+ ** 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/prop/theory_proxy.h b/src/prop/theory_proxy.h
index 74ee790d8..26b94a86f 100644
--- a/src/prop/theory_proxy.h
+++ b/src/prop/theory_proxy.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file theory_proxy.h
  ** \verbatim
- ** Original author: mdeters
- ** Major contributors: dejan
- ** Minor contributors (to current version): taking, cconway, kshitij, lianah
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** Original author: Dejan Jovanović <dejan.jovanovic@gmail.com>
+ ** Major contributors: Liana Hadarean <lianahady@gmail.com>, Morgan Deters <mdeters@cs.nyu.edu>
+ ** Minor contributors (to current version): Christopher L. Conway <christopherleeconway@gmail.com>, Tim King <taking@cs.nyu.edu>, Kshitij Bansal <kshitij@cs.nyu.edu>
+ ** 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
  **