summaryrefslogtreecommitdiff
path: root/src/decision
diff options
context:
space:
mode:
Diffstat (limited to 'src/decision')
-rw-r--r--src/decision/decision_engine.cpp8
-rw-r--r--src/decision/decision_engine.h8
-rw-r--r--src/decision/decision_mode.cpp6
-rw-r--r--src/decision/decision_mode.h6
-rw-r--r--src/decision/decision_strategy.h8
-rw-r--r--src/decision/justification_heuristic.cpp8
-rw-r--r--src/decision/justification_heuristic.h8
-rw-r--r--src/decision/options_handlers.h8
-rw-r--r--src/decision/relevancy.cpp8
-rw-r--r--src/decision/relevancy.h8
10 files changed, 38 insertions, 38 deletions
diff --git a/src/decision/decision_engine.cpp b/src/decision/decision_engine.cpp
index 98294f92b..bba44bb70 100644
--- a/src/decision/decision_engine.cpp
+++ b/src/decision/decision_engine.cpp
@@ -1,11 +1,11 @@
/********************* */
/*! \file decision_engine.cpp
** \verbatim
- ** Original author: kshitij
+ ** Original author: Kshitij Bansal <kshitij@cs.nyu.edu>
** Major contributors: none
- ** Minor contributors (to current version): taking, 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): Tim King <taking@cs.nyu.edu>, 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/decision/decision_engine.h b/src/decision/decision_engine.h
index 859443d00..da548784f 100644
--- a/src/decision/decision_engine.h
+++ b/src/decision/decision_engine.h
@@ -1,11 +1,11 @@
/********************* */
/*! \file decision_engine.h
** \verbatim
- ** Original author: kshitij
+ ** Original author: Kshitij Bansal <kshitij@cs.nyu.edu>
** Major contributors: none
- ** Minor contributors (to current version): barrett, dejan, 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): Clark Barrett <barrett@cs.nyu.edu>, Dejan Jovanović <dejan.jovanovic@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/decision/decision_mode.cpp b/src/decision/decision_mode.cpp
index 488e6890d..6b398570b 100644
--- a/src/decision/decision_mode.cpp
+++ b/src/decision/decision_mode.cpp
@@ -1,11 +1,11 @@
/********************* */
/*! \file decision_mode.cpp
** \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/decision/decision_mode.h b/src/decision/decision_mode.h
index 86d0d25a6..6a02c1d2d 100644
--- a/src/decision/decision_mode.h
+++ b/src/decision/decision_mode.h
@@ -1,11 +1,11 @@
/********************* */
/*! \file decision_mode.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/decision/decision_strategy.h b/src/decision/decision_strategy.h
index a2fda44fe..22b6e515a 100644
--- a/src/decision/decision_strategy.h
+++ b/src/decision/decision_strategy.h
@@ -1,11 +1,11 @@
/********************* */
/*! \file decision_strategy.h
** \verbatim
- ** Original author: kshitij
- ** Major contributors: mdeters
+ ** Original author: Kshitij Bansal <kshitij@cs.nyu.edu>
+ ** 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/decision/justification_heuristic.cpp b/src/decision/justification_heuristic.cpp
index b77d3ba6b..ae4eefe11 100644
--- a/src/decision/justification_heuristic.cpp
+++ b/src/decision/justification_heuristic.cpp
@@ -1,11 +1,11 @@
/********************* */
/*! \file justification_heuristic.cpp
** \verbatim
- ** Original author: kshitij
+ ** Original author: Kshitij Bansal <kshitij@cs.nyu.edu>
** Major contributors: none
- ** Minor contributors (to current version): dejan, 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/decision/justification_heuristic.h b/src/decision/justification_heuristic.h
index d8f9a15a8..d4adaefd1 100644
--- a/src/decision/justification_heuristic.h
+++ b/src/decision/justification_heuristic.h
@@ -1,11 +1,11 @@
/********************* */
/*! \file justification_heuristic.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): Tim King <taking@cs.nyu.edu>, 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/decision/options_handlers.h b/src/decision/options_handlers.h
index 826bd8acb..b18180f69 100644
--- a/src/decision/options_handlers.h
+++ b/src/decision/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
+ ** 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/decision/relevancy.cpp b/src/decision/relevancy.cpp
index ecd31a4cc..fb79293b9 100644
--- a/src/decision/relevancy.cpp
+++ b/src/decision/relevancy.cpp
@@ -1,11 +1,11 @@
/********************* */
/*! \file relevancy.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): Dejan Jovanović <dejan@cs.nyu.edu>, 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/decision/relevancy.h b/src/decision/relevancy.h
index 23d980a1b..115ef2e49 100644
--- a/src/decision/relevancy.h
+++ b/src/decision/relevancy.h
@@ -1,11 +1,11 @@
/********************* */
/*! \file relevancy.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): Tim King <taking@cs.nyu.edu>, Dejan Jovanović <dejan@cs.nyu.edu>, 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
**
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback