diff options
Diffstat (limited to 'src/smt')
-rw-r--r-- | src/smt/boolean_terms.cpp | 2 | ||||
-rw-r--r-- | src/smt/boolean_terms.h | 2 | ||||
-rw-r--r-- | src/smt/command_list.cpp | 2 | ||||
-rw-r--r-- | src/smt/command_list.h | 2 | ||||
-rw-r--r-- | src/smt/logic_exception.h | 2 | ||||
-rw-r--r-- | src/smt/modal_exception.h | 2 | ||||
-rw-r--r-- | src/smt/model_postprocessor.cpp | 2 | ||||
-rw-r--r-- | src/smt/model_postprocessor.h | 2 | ||||
-rw-r--r-- | src/smt/options_handlers.h | 2 | ||||
-rw-r--r-- | src/smt/simplification_mode.cpp | 2 | ||||
-rw-r--r-- | src/smt/simplification_mode.h | 2 | ||||
-rw-r--r-- | src/smt/smt_engine.cpp | 6 | ||||
-rw-r--r-- | src/smt/smt_engine.h | 4 | ||||
-rw-r--r-- | src/smt/smt_engine_scope.cpp | 2 | ||||
-rw-r--r-- | src/smt/smt_engine_scope.h | 2 | ||||
-rw-r--r-- | src/smt/smt_options_template.cpp | 2 |
16 files changed, 19 insertions, 19 deletions
diff --git a/src/smt/boolean_terms.cpp b/src/smt/boolean_terms.cpp index e51a5d907..f8f2330e1 100644 --- a/src/smt/boolean_terms.cpp +++ b/src/smt/boolean_terms.cpp @@ -1,7 +1,7 @@ /********************* */ /*! \file boolean_terms.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/smt/boolean_terms.h b/src/smt/boolean_terms.h index 244971044..e5f18b68d 100644 --- a/src/smt/boolean_terms.h +++ b/src/smt/boolean_terms.h @@ -1,7 +1,7 @@ /********************* */ /*! \file boolean_terms.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/smt/command_list.cpp b/src/smt/command_list.cpp index 9a63af52e..fca714490 100644 --- a/src/smt/command_list.cpp +++ b/src/smt/command_list.cpp @@ -1,7 +1,7 @@ /********************* */ /*! \file command_list.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/smt/command_list.h b/src/smt/command_list.h index e4cdf07cf..ac0c382be 100644 --- a/src/smt/command_list.h +++ b/src/smt/command_list.h @@ -1,7 +1,7 @@ /********************* */ /*! \file command_list.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/smt/logic_exception.h b/src/smt/logic_exception.h index d0a06eabb..02c293ab4 100644 --- a/src/smt/logic_exception.h +++ b/src/smt/logic_exception.h @@ -1,7 +1,7 @@ /********************* */ /*! \file logic_exception.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/smt/modal_exception.h b/src/smt/modal_exception.h index 4de18cea9..bf463bb05 100644 --- a/src/smt/modal_exception.h +++ b/src/smt/modal_exception.h @@ -1,7 +1,7 @@ /********************* */ /*! \file modal_exception.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/smt/model_postprocessor.cpp b/src/smt/model_postprocessor.cpp index e3e332fb1..cbabc9542 100644 --- a/src/smt/model_postprocessor.cpp +++ b/src/smt/model_postprocessor.cpp @@ -1,7 +1,7 @@ /********************* */ /*! \file model_postprocessor.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/smt/model_postprocessor.h b/src/smt/model_postprocessor.h index fc5ddb055..952bb1bf0 100644 --- a/src/smt/model_postprocessor.h +++ b/src/smt/model_postprocessor.h @@ -1,7 +1,7 @@ /********************* */ /*! \file model_postprocessor.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/smt/options_handlers.h b/src/smt/options_handlers.h index b68c4794d..6b8d94c08 100644 --- a/src/smt/options_handlers.h +++ b/src/smt/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/smt/simplification_mode.cpp b/src/smt/simplification_mode.cpp index f9574872e..d3155313f 100644 --- a/src/smt/simplification_mode.cpp +++ b/src/smt/simplification_mode.cpp @@ -1,7 +1,7 @@ /********************* */ /*! \file simplification_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/smt/simplification_mode.h b/src/smt/simplification_mode.h index 620c31990..6023bf518 100644 --- a/src/smt/simplification_mode.h +++ b/src/smt/simplification_mode.h @@ -1,7 +1,7 @@ /********************* */ /*! \file simplification_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/smt/smt_engine.cpp b/src/smt/smt_engine.cpp index 0020bc5df..18636a486 100644 --- a/src/smt/smt_engine.cpp +++ b/src/smt/smt_engine.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file smt_engine.cpp ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> - ** Major contributors: Clark Barrett <barrett@cs.nyu.edu> - ** Minor contributors (to current version): Christopher L. Conway <christopherleeconway@gmail.com>, Liana Hadarean <lianahady@gmail.com>, Tim King <taking@cs.nyu.edu>, Kshitij Bansal <kshitij@cs.nyu.edu>, Dejan Jovanović <dejan.jovanovic@gmail.com>, Andrew Reynolds <andrew.j.reynolds@gmail.com> + ** Original author: Morgan Deters + ** Major contributors: Clark Barrett + ** Minor contributors (to current version): Christopher L. Conway, Liana Hadarean, Tim King, Kshitij Bansal, Dejan Jovanovic, Andrew Reynolds ** 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/smt/smt_engine.h b/src/smt/smt_engine.h index 79550c1b8..a22e34c21 100644 --- a/src/smt/smt_engine.h +++ b/src/smt/smt_engine.h @@ -1,9 +1,9 @@ /********************* */ /*! \file smt_engine.h ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Morgan Deters ** Major contributors: none - ** Minor contributors (to current version): Andrew Reynolds <andrew.j.reynolds@gmail.com>, Tim King <taking@cs.nyu.edu>, Clark Barrett <barrett@cs.nyu.edu>, Christopher L. Conway <christopherleeconway@gmail.com>, Kshitij Bansal <kshitij@cs.nyu.edu>, Dejan Jovanović <dejan.jovanovic@gmail.com> + ** Minor contributors (to current version): Andrew Reynolds, Tim King, Clark Barrett, Christopher L. Conway, Kshitij Bansal, 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/smt/smt_engine_scope.cpp b/src/smt/smt_engine_scope.cpp index deac0de18..5a075280d 100644 --- a/src/smt/smt_engine_scope.cpp +++ b/src/smt/smt_engine_scope.cpp @@ -1,7 +1,7 @@ /********************* */ /*! \file smt_engine_scope.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/smt/smt_engine_scope.h b/src/smt/smt_engine_scope.h index 9a5878786..21644d3f4 100644 --- a/src/smt/smt_engine_scope.h +++ b/src/smt/smt_engine_scope.h @@ -1,7 +1,7 @@ /********************* */ /*! \file smt_engine_scope.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/smt/smt_options_template.cpp b/src/smt/smt_options_template.cpp index 03c9c5f52..638cf2f83 100644 --- a/src/smt/smt_options_template.cpp +++ b/src/smt/smt_options_template.cpp @@ -1,7 +1,7 @@ /********************* */ /*! \file smt_options_template.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. |