From 166bbd9c5716e646769cdc38aaeff3bd75de94f8 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Tue, 2 Apr 2013 14:31:53 -0400 Subject: Regenerated copyrights: canonicalized names, no emails --- src/smt/boolean_terms.cpp | 2 +- src/smt/boolean_terms.h | 2 +- src/smt/command_list.cpp | 2 +- src/smt/command_list.h | 2 +- src/smt/logic_exception.h | 2 +- src/smt/modal_exception.h | 2 +- src/smt/model_postprocessor.cpp | 2 +- src/smt/model_postprocessor.h | 2 +- src/smt/options_handlers.h | 2 +- src/smt/simplification_mode.cpp | 2 +- src/smt/simplification_mode.h | 2 +- src/smt/smt_engine.cpp | 6 +++--- src/smt/smt_engine.h | 4 ++-- src/smt/smt_engine_scope.cpp | 2 +- src/smt/smt_engine_scope.h | 2 +- src/smt/smt_options_template.cpp | 2 +- 16 files changed, 19 insertions(+), 19 deletions(-) (limited to 'src/smt') 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 + ** 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 + ** 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 + ** 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 + ** 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 + ** 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 + ** 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 + ** 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 + ** 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 + ** 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 + ** 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 + ** 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 - ** Major contributors: Clark Barrett - ** Minor contributors (to current version): Christopher L. Conway , Liana Hadarean , Tim King , Kshitij Bansal , Dejan Jovanović , Andrew Reynolds + ** 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 + ** Original author: Morgan Deters ** Major contributors: none - ** Minor contributors (to current version): Andrew Reynolds , Tim King , Clark Barrett , Christopher L. Conway , Kshitij Bansal , Dejan Jovanović + ** 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 + ** 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 + ** 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 + ** Original author: Morgan Deters ** Major contributors: none ** Minor contributors (to current version): none ** This file is part of the CVC4 project. -- cgit v1.2.3