summaryrefslogtreecommitdiff
path: root/src/main
diff options
context:
space:
mode:
Diffstat (limited to 'src/main')
-rw-r--r--src/main/command_executor.cpp4
-rw-r--r--src/main/command_executor.h4
-rw-r--r--src/main/command_executor_portfolio.cpp4
-rw-r--r--src/main/command_executor_portfolio.h4
-rw-r--r--src/main/driver_unified.cpp6
-rw-r--r--src/main/interactive_shell.cpp6
-rw-r--r--src/main/interactive_shell.h4
-rw-r--r--src/main/main.cpp6
-rw-r--r--src/main/main.h2
-rw-r--r--src/main/options_handlers.h2
-rw-r--r--src/main/portfolio.cpp4
-rw-r--r--src/main/portfolio.h4
-rw-r--r--src/main/portfolio_util.cpp4
-rw-r--r--src/main/portfolio_util.h4
-rw-r--r--src/main/util.cpp4
15 files changed, 31 insertions, 31 deletions
diff --git a/src/main/command_executor.cpp b/src/main/command_executor.cpp
index 7bb2c144a..f1742b549 100644
--- a/src/main/command_executor.cpp
+++ b/src/main/command_executor.cpp
@@ -1,8 +1,8 @@
/********************* */
/*! \file command_executor.cpp
** \verbatim
- ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
- ** Major contributors: Kshitij Bansal <kshitij@cs.nyu.edu>
+ ** Original author: Morgan Deters
+ ** Major contributors: Kshitij Bansal
** 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/main/command_executor.h b/src/main/command_executor.h
index 3421aa3f1..f1b8d8f2f 100644
--- a/src/main/command_executor.h
+++ b/src/main/command_executor.h
@@ -1,8 +1,8 @@
/********************* */
/*! \file command_executor.h
** \verbatim
- ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
- ** Major contributors: Kshitij Bansal <kshitij@cs.nyu.edu>
+ ** Original author: Morgan Deters
+ ** Major contributors: Kshitij Bansal
** 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/main/command_executor_portfolio.cpp b/src/main/command_executor_portfolio.cpp
index 9109a7a06..63f689d48 100644
--- a/src/main/command_executor_portfolio.cpp
+++ b/src/main/command_executor_portfolio.cpp
@@ -1,8 +1,8 @@
/********************* */
/*! \file command_executor_portfolio.cpp
** \verbatim
- ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
- ** Major contributors: Kshitij Bansal <kshitij@cs.nyu.edu>
+ ** Original author: Morgan Deters
+ ** Major contributors: Kshitij Bansal
** 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/main/command_executor_portfolio.h b/src/main/command_executor_portfolio.h
index 666bf4762..a8d4a4213 100644
--- a/src/main/command_executor_portfolio.h
+++ b/src/main/command_executor_portfolio.h
@@ -1,8 +1,8 @@
/********************* */
/*! \file command_executor_portfolio.h
** \verbatim
- ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
- ** Major contributors: Kshitij Bansal <kshitij@cs.nyu.edu>
+ ** Original author: Morgan Deters
+ ** Major contributors: Kshitij Bansal
** 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/main/driver_unified.cpp b/src/main/driver_unified.cpp
index 5cd8ce8a8..f57d4f2d7 100644
--- a/src/main/driver_unified.cpp
+++ b/src/main/driver_unified.cpp
@@ -1,9 +1,9 @@
/********************* */
/*! \file driver_unified.cpp
** \verbatim
- ** 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>
+ ** Original author: Kshitij Bansal
+ ** Major contributors: Morgan Deters
+ ** Minor contributors (to current version): 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/main/interactive_shell.cpp b/src/main/interactive_shell.cpp
index 78bae8930..3376e9d0b 100644
--- a/src/main/interactive_shell.cpp
+++ b/src/main/interactive_shell.cpp
@@ -1,9 +1,9 @@
/********************* */
/*! \file interactive_shell.cpp
** \verbatim
- ** 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>
+ ** Original author: Christopher L. Conway
+ ** Major contributors: Morgan Deters
+ ** Minor contributors (to current version): 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/main/interactive_shell.h b/src/main/interactive_shell.h
index d3adad81d..62d0ceeda 100644
--- a/src/main/interactive_shell.h
+++ b/src/main/interactive_shell.h
@@ -1,8 +1,8 @@
/********************* */
/*! \file interactive_shell.h
** \verbatim
- ** Original author: Christopher L. Conway <christopherleeconway@gmail.com>
- ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu>
+ ** Original author: Christopher L. Conway
+ ** Major contributors: Morgan Deters
** 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/main/main.cpp b/src/main/main.cpp
index c4bf3e108..7b61b48aa 100644
--- a/src/main/main.cpp
+++ b/src/main/main.cpp
@@ -1,9 +1,9 @@
/********************* */
/*! \file main.cpp
** \verbatim
- ** 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>
+ ** Original author: Morgan Deters
+ ** Major contributors: Christopher L. Conway
+ ** Minor contributors (to current version): Clark Barrett, 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/main/main.h b/src/main/main.h
index 265c0b958..0180c34d2 100644
--- a/src/main/main.h
+++ b/src/main/main.h
@@ -1,7 +1,7 @@
/********************* */
/*! \file main.h
** \verbatim
- ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
+ ** Original author: Morgan Deters
** Major contributors: none
** Minor contributors (to current version): none
** This file is part of the CVC4 project.
diff --git a/src/main/options_handlers.h b/src/main/options_handlers.h
index cc9586d94..07f19905b 100644
--- a/src/main/options_handlers.h
+++ b/src/main/options_handlers.h
@@ -1,7 +1,7 @@
/********************* */
/*! \file options_handlers.h
** \verbatim
- ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
+ ** Original author: Morgan Deters
** Major contributors: none
** Minor contributors (to current version): none
** This file is part of the CVC4 project.
diff --git a/src/main/portfolio.cpp b/src/main/portfolio.cpp
index d42fcd37f..263458247 100644
--- a/src/main/portfolio.cpp
+++ b/src/main/portfolio.cpp
@@ -1,8 +1,8 @@
/********************* */
/*! \file portfolio.cpp
** \verbatim
- ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
- ** Major contributors: Kshitij Bansal <kshitij@cs.nyu.edu>
+ ** Original author: Morgan Deters
+ ** Major contributors: Kshitij Bansal
** 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/main/portfolio.h b/src/main/portfolio.h
index 8e74b489d..61a4c055f 100644
--- a/src/main/portfolio.h
+++ b/src/main/portfolio.h
@@ -1,9 +1,9 @@
/********************* */
/*! \file portfolio.h
** \verbatim
- ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
+ ** Original author: Morgan Deters
** Major contributors: none
- ** Minor contributors (to current version): Kshitij Bansal <kshitij@cs.nyu.edu>
+ ** Minor contributors (to current version): Kshitij Bansal
** 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/main/portfolio_util.cpp b/src/main/portfolio_util.cpp
index e753c5916..a2d0ff700 100644
--- a/src/main/portfolio_util.cpp
+++ b/src/main/portfolio_util.cpp
@@ -1,9 +1,9 @@
/********************* */
/*! \file portfolio_util.cpp
** \verbatim
- ** Original author: Kshitij Bansal <kshitij@cs.nyu.edu>
+ ** Original author: Kshitij Bansal
** Major contributors: none
- ** Minor contributors (to current version): Morgan Deters <mdeters@cs.nyu.edu>
+ ** 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
diff --git a/src/main/portfolio_util.h b/src/main/portfolio_util.h
index 6d1d91bb8..6f6e2f03b 100644
--- a/src/main/portfolio_util.h
+++ b/src/main/portfolio_util.h
@@ -1,9 +1,9 @@
/********************* */
/*! \file portfolio_util.h
** \verbatim
- ** Original author: Kshitij Bansal <kshitij@cs.nyu.edu>
+ ** Original author: Kshitij Bansal
** Major contributors: none
- ** Minor contributors (to current version): Morgan Deters <mdeters@cs.nyu.edu>
+ ** 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
diff --git a/src/main/util.cpp b/src/main/util.cpp
index 1e3e2794d..5bd0c9bd4 100644
--- a/src/main/util.cpp
+++ b/src/main/util.cpp
@@ -1,9 +1,9 @@
/********************* */
/*! \file util.cpp
** \verbatim
- ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
+ ** Original author: Morgan Deters
** Major contributors: none
- ** Minor contributors (to current version): Christopher L. Conway <christopherleeconway@gmail.com>, Tim King <taking@cs.nyu.edu>, ACSYS <cvc4-devel@cs.nyu.edu>
+ ** Minor contributors (to current version): Christopher L. Conway, Tim King, ACSYS
** 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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback