summaryrefslogtreecommitdiff
path: root/src/main
diff options
context:
space:
mode:
Diffstat (limited to 'src/main')
-rw-r--r--src/main/command_executor.cpp8
-rw-r--r--src/main/command_executor.h8
-rw-r--r--src/main/command_executor_portfolio.cpp8
-rw-r--r--src/main/command_executor_portfolio.h8
-rw-r--r--src/main/driver_unified.cpp10
-rw-r--r--src/main/interactive_shell.cpp10
-rw-r--r--src/main/interactive_shell.h8
-rw-r--r--src/main/main.cpp10
-rw-r--r--src/main/main.h6
-rw-r--r--src/main/options_handlers.h6
-rw-r--r--src/main/portfolio.cpp8
-rw-r--r--src/main/portfolio.h10
-rw-r--r--src/main/portfolio_util.cpp8
-rw-r--r--src/main/portfolio_util.h8
-rw-r--r--src/main/util.cpp8
15 files changed, 62 insertions, 62 deletions
diff --git a/src/main/command_executor.cpp b/src/main/command_executor.cpp
index 6a4e18b5b..7bb2c144a 100644
--- a/src/main/command_executor.cpp
+++ b/src/main/command_executor.cpp
@@ -1,11 +1,11 @@
/********************* */
/*! \file command_executor.cpp
** \verbatim
- ** Original author: kshitij
- ** Major contributors: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
+ ** Major contributors: Kshitij Bansal <kshitij@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/main/command_executor.h b/src/main/command_executor.h
index f8804101d..3421aa3f1 100644
--- a/src/main/command_executor.h
+++ b/src/main/command_executor.h
@@ -1,11 +1,11 @@
/********************* */
/*! \file command_executor.h
** \verbatim
- ** Original author: kshitij
- ** Major contributors: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
+ ** Major contributors: Kshitij Bansal <kshitij@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/main/command_executor_portfolio.cpp b/src/main/command_executor_portfolio.cpp
index 45ee52121..9109a7a06 100644
--- a/src/main/command_executor_portfolio.cpp
+++ b/src/main/command_executor_portfolio.cpp
@@ -1,11 +1,11 @@
/********************* */
/*! \file command_executor_portfolio.cpp
** \verbatim
- ** Original author: kshitij
- ** Major contributors: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
+ ** Major contributors: Kshitij Bansal <kshitij@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/main/command_executor_portfolio.h b/src/main/command_executor_portfolio.h
index bb26feef3..666bf4762 100644
--- a/src/main/command_executor_portfolio.h
+++ b/src/main/command_executor_portfolio.h
@@ -1,11 +1,11 @@
/********************* */
/*! \file command_executor_portfolio.h
** \verbatim
- ** Original author: kshitij
- ** Major contributors: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
+ ** Major contributors: Kshitij Bansal <kshitij@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/main/driver_unified.cpp b/src/main/driver_unified.cpp
index bdce5639b..5cd8ce8a8 100644
--- a/src/main/driver_unified.cpp
+++ b/src/main/driver_unified.cpp
@@ -1,11 +1,11 @@
/********************* */
/*! \file driver_unified.cpp
** \verbatim
- ** Original author: kshitij
- ** Major contributors: mdeters
- ** 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
+ ** Original author: Kshitij Bansal <kshitij@cs.nyu.edu>
+ ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu>
+ ** Minor contributors (to current version): François Bobot <francois@bobot.eu>
+ ** 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/main/interactive_shell.cpp b/src/main/interactive_shell.cpp
index cba896e4e..78bae8930 100644
--- a/src/main/interactive_shell.cpp
+++ b/src/main/interactive_shell.cpp
@@ -1,11 +1,11 @@
/********************* */
/*! \file interactive_shell.cpp
** \verbatim
- ** Original author: cconway
- ** Major contributors: mdeters
- ** Minor contributors (to current version): bobot
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012 New York University and The University of Iowa
+ ** Original author: Christopher L. Conway <christopherleeconway@gmail.com>
+ ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu>
+ ** Minor contributors (to current version): François Bobot <francois@bobot.eu>
+ ** 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/main/interactive_shell.h b/src/main/interactive_shell.h
index 3d75c0fe2..d3adad81d 100644
--- a/src/main/interactive_shell.h
+++ b/src/main/interactive_shell.h
@@ -1,11 +1,11 @@
/********************* */
/*! \file interactive_shell.h
** \verbatim
- ** Original author: cconway
- ** Major contributors: mdeters
+ ** Original author: Christopher L. Conway <christopherleeconway@gmail.com>
+ ** Major contributors: 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/main/main.cpp b/src/main/main.cpp
index a83baf45f..c4bf3e108 100644
--- a/src/main/main.cpp
+++ b/src/main/main.cpp
@@ -1,11 +1,11 @@
/********************* */
/*! \file main.cpp
** \verbatim
- ** Original author: mdeters
- ** Major contributors: cconway
- ** Minor contributors (to current version): barrett, dejan
- ** 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: Christopher L. Conway <christopherleeconway@gmail.com>
+ ** Minor contributors (to current version): Clark Barrett <barrett@cs.nyu.edu>, Dejan Jovanović <dejan.jovanovic@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/main/main.h b/src/main/main.h
index 56cd866da..265c0b958 100644
--- a/src/main/main.h
+++ b/src/main/main.h
@@ -1,11 +1,11 @@
/********************* */
/*! \file main.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/main/options_handlers.h b/src/main/options_handlers.h
index 4bb4841fe..cc9586d94 100644
--- a/src/main/options_handlers.h
+++ b/src/main/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/main/portfolio.cpp b/src/main/portfolio.cpp
index e4b31f54d..d42fcd37f 100644
--- a/src/main/portfolio.cpp
+++ b/src/main/portfolio.cpp
@@ -1,11 +1,11 @@
/********************* */
/*! \file portfolio.cpp
** \verbatim
- ** Original author: kshitij
- ** Major contributors: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
+ ** Major contributors: Kshitij Bansal <kshitij@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/main/portfolio.h b/src/main/portfolio.h
index 46b70624d..8e74b489d 100644
--- a/src/main/portfolio.h
+++ b/src/main/portfolio.h
@@ -1,11 +1,11 @@
/********************* */
/*! \file portfolio.h
** \verbatim
- ** Original author: kshitij
- ** Major contributors: mdeters
- ** 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
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
+ ** Major contributors: none
+ ** Minor contributors (to current version): 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/main/portfolio_util.cpp b/src/main/portfolio_util.cpp
index 6a6db482a..e753c5916 100644
--- a/src/main/portfolio_util.cpp
+++ b/src/main/portfolio_util.cpp
@@ -1,11 +1,11 @@
/********************* */
/*! \file portfolio_util.cpp
** \verbatim
- ** Original author: kshitij
+ ** Original author: Kshitij Bansal <kshitij@cs.nyu.edu>
** 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/main/portfolio_util.h b/src/main/portfolio_util.h
index eff8d6a7e..6d1d91bb8 100644
--- a/src/main/portfolio_util.h
+++ b/src/main/portfolio_util.h
@@ -1,11 +1,11 @@
/********************* */
/*! \file portfolio_util.h
** \verbatim
- ** Original author: kshitij
+ ** Original author: Kshitij Bansal <kshitij@cs.nyu.edu>
** 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/main/util.cpp b/src/main/util.cpp
index a6fcddf3b..1e3e2794d 100644
--- a/src/main/util.cpp
+++ b/src/main/util.cpp
@@ -1,11 +1,11 @@
/********************* */
/*! \file util.cpp
** \verbatim
- ** Original author: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
** Major contributors: none
- ** Minor contributors (to current version): taking, acsys
- ** 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): Christopher L. Conway <christopherleeconway@gmail.com>, Tim King <taking@cs.nyu.edu>, ACSYS <cvc4-devel@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
**
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback