diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-04-01 23:32:39 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-04-01 23:32:39 -0400 |
commit | 0e6e0f181618aedf6161ed994d9d4e71ffb1b21d (patch) | |
tree | df4464da8be416697eceee1697fd6cc08831c603 /src/decision | |
parent | 2f195e4babef016e9b02faeb80cd79f0177a3f05 (diff) |
update copyrights
Diffstat (limited to 'src/decision')
-rw-r--r-- | src/decision/decision_engine.cpp | 8 | ||||
-rw-r--r-- | src/decision/decision_engine.h | 8 | ||||
-rw-r--r-- | src/decision/decision_mode.cpp | 6 | ||||
-rw-r--r-- | src/decision/decision_mode.h | 6 | ||||
-rw-r--r-- | src/decision/decision_strategy.h | 8 | ||||
-rw-r--r-- | src/decision/justification_heuristic.cpp | 8 | ||||
-rw-r--r-- | src/decision/justification_heuristic.h | 8 | ||||
-rw-r--r-- | src/decision/options_handlers.h | 8 | ||||
-rw-r--r-- | src/decision/relevancy.cpp | 8 | ||||
-rw-r--r-- | src/decision/relevancy.h | 8 |
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 ** |