diff options
Diffstat (limited to 'src/decision')
-rw-r--r-- | src/decision/decision_engine.cpp | 4 | ||||
-rw-r--r-- | src/decision/decision_engine.h | 4 | ||||
-rw-r--r-- | src/decision/decision_mode.cpp | 2 | ||||
-rw-r--r-- | src/decision/decision_mode.h | 2 | ||||
-rw-r--r-- | src/decision/decision_strategy.h | 4 | ||||
-rw-r--r-- | src/decision/justification_heuristic.cpp | 4 | ||||
-rw-r--r-- | src/decision/justification_heuristic.h | 4 | ||||
-rw-r--r-- | src/decision/options_handlers.h | 4 | ||||
-rw-r--r-- | src/decision/relevancy.cpp | 4 | ||||
-rw-r--r-- | src/decision/relevancy.h | 4 |
10 files changed, 18 insertions, 18 deletions
diff --git a/src/decision/decision_engine.cpp b/src/decision/decision_engine.cpp index bba44bb70..687515ff0 100644 --- a/src/decision/decision_engine.cpp +++ b/src/decision/decision_engine.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file decision_engine.cpp ** \verbatim - ** Original author: Kshitij Bansal <kshitij@cs.nyu.edu> + ** Original author: Kshitij Bansal ** Major contributors: none - ** Minor contributors (to current version): Tim King <taking@cs.nyu.edu>, Morgan Deters <mdeters@cs.nyu.edu> + ** Minor contributors (to current version): Tim King, 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/decision/decision_engine.h b/src/decision/decision_engine.h index da548784f..5d7c5ea74 100644 --- a/src/decision/decision_engine.h +++ b/src/decision/decision_engine.h @@ -1,9 +1,9 @@ /********************* */ /*! \file decision_engine.h ** \verbatim - ** Original author: Kshitij Bansal <kshitij@cs.nyu.edu> + ** Original author: Kshitij Bansal ** Major contributors: none - ** Minor contributors (to current version): Clark Barrett <barrett@cs.nyu.edu>, Dejan Jovanović <dejan.jovanovic@gmail.com>, Morgan Deters <mdeters@cs.nyu.edu> + ** Minor contributors (to current version): Clark Barrett, Dejan Jovanovic, 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/decision/decision_mode.cpp b/src/decision/decision_mode.cpp index 6b398570b..dfbd035f7 100644 --- a/src/decision/decision_mode.cpp +++ b/src/decision/decision_mode.cpp @@ -1,7 +1,7 @@ /********************* */ /*! \file decision_mode.cpp ** \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/decision/decision_mode.h b/src/decision/decision_mode.h index 6a02c1d2d..335e6279e 100644 --- a/src/decision/decision_mode.h +++ b/src/decision/decision_mode.h @@ -1,7 +1,7 @@ /********************* */ /*! \file decision_mode.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/decision/decision_strategy.h b/src/decision/decision_strategy.h index 22b6e515a..7f6f30a0a 100644 --- a/src/decision/decision_strategy.h +++ b/src/decision/decision_strategy.h @@ -1,8 +1,8 @@ /********************* */ /*! \file decision_strategy.h ** \verbatim - ** Original author: Kshitij Bansal <kshitij@cs.nyu.edu> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Kshitij Bansal + ** 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/decision/justification_heuristic.cpp b/src/decision/justification_heuristic.cpp index ae4eefe11..28d26adb1 100644 --- a/src/decision/justification_heuristic.cpp +++ b/src/decision/justification_heuristic.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file justification_heuristic.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/decision/justification_heuristic.h b/src/decision/justification_heuristic.h index d4adaefd1..503f6c2af 100644 --- a/src/decision/justification_heuristic.h +++ b/src/decision/justification_heuristic.h @@ -1,9 +1,9 @@ /********************* */ /*! \file justification_heuristic.h ** \verbatim - ** Original author: Kshitij Bansal <kshitij@cs.nyu.edu> + ** Original author: Kshitij Bansal ** Major contributors: none - ** Minor contributors (to current version): Tim King <taking@cs.nyu.edu>, Morgan Deters <mdeters@cs.nyu.edu> + ** Minor contributors (to current version): Tim King, 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/decision/options_handlers.h b/src/decision/options_handlers.h index b18180f69..1d4321614 100644 --- a/src/decision/options_handlers.h +++ b/src/decision/options_handlers.h @@ -1,9 +1,9 @@ /********************* */ /*! \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): 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/decision/relevancy.cpp b/src/decision/relevancy.cpp index fb79293b9..f83e238d4 100644 --- a/src/decision/relevancy.cpp +++ b/src/decision/relevancy.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file relevancy.cpp ** \verbatim - ** Original author: Kshitij Bansal <kshitij@cs.nyu.edu> + ** Original author: Kshitij Bansal ** Major contributors: none - ** Minor contributors (to current version): Dejan Jovanović <dejan@cs.nyu.edu>, Morgan Deters <mdeters@cs.nyu.edu> + ** Minor contributors (to current version): Dejan Jovanovic, 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/decision/relevancy.h b/src/decision/relevancy.h index 115ef2e49..fd16eb0cc 100644 --- a/src/decision/relevancy.h +++ b/src/decision/relevancy.h @@ -1,9 +1,9 @@ /********************* */ /*! \file relevancy.h ** \verbatim - ** Original author: Kshitij Bansal <kshitij@cs.nyu.edu> + ** Original author: Kshitij Bansal ** Major contributors: none - ** Minor contributors (to current version): Tim King <taking@cs.nyu.edu>, Dejan Jovanović <dejan@cs.nyu.edu>, Morgan Deters <mdeters@cs.nyu.edu> + ** Minor contributors (to current version): Tim King, Dejan Jovanovic, 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 |