diff options
Diffstat (limited to 'src/theory')
216 files changed, 464 insertions, 464 deletions
diff --git a/src/theory/arith/arith_heuristic_pivot_rule.cpp b/src/theory/arith/arith_heuristic_pivot_rule.cpp index 6d0794d27..4fbc84892 100644 --- a/src/theory/arith/arith_heuristic_pivot_rule.cpp +++ b/src/theory/arith/arith_heuristic_pivot_rule.cpp @@ -1,7 +1,7 @@ /********************* */ /*! \file arith_heuristic_pivot_rule.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/theory/arith/arith_heuristic_pivot_rule.h b/src/theory/arith/arith_heuristic_pivot_rule.h index 6c1b17a5b..a1ecc5b2c 100644 --- a/src/theory/arith/arith_heuristic_pivot_rule.h +++ b/src/theory/arith/arith_heuristic_pivot_rule.h @@ -1,7 +1,7 @@ /********************* */ /*! \file arith_heuristic_pivot_rule.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/theory/arith/arith_priority_queue.cpp b/src/theory/arith/arith_priority_queue.cpp index d9bdde5d5..9fc30c136 100644 --- a/src/theory/arith/arith_priority_queue.cpp +++ b/src/theory/arith/arith_priority_queue.cpp @@ -1,8 +1,8 @@ /********************* */ /*! \file arith_priority_queue.cpp ** \verbatim - ** Original author: Tim King <taking@cs.nyu.edu> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Tim King + ** 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/theory/arith/arith_priority_queue.h b/src/theory/arith/arith_priority_queue.h index 695a981cb..912799dde 100644 --- a/src/theory/arith/arith_priority_queue.h +++ b/src/theory/arith/arith_priority_queue.h @@ -1,9 +1,9 @@ /********************* */ /*! \file arith_priority_queue.h ** \verbatim - ** Original author: Tim King <taking@cs.nyu.edu> + ** Original author: Tim King ** 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/theory/arith/arith_propagation_mode.cpp b/src/theory/arith/arith_propagation_mode.cpp index bd87bbab8..23ca96056 100644 --- a/src/theory/arith/arith_propagation_mode.cpp +++ b/src/theory/arith/arith_propagation_mode.cpp @@ -1,7 +1,7 @@ /********************* */ /*! \file arith_propagation_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/theory/arith/arith_propagation_mode.h b/src/theory/arith/arith_propagation_mode.h index 0d3db014e..97867043f 100644 --- a/src/theory/arith/arith_propagation_mode.h +++ b/src/theory/arith/arith_propagation_mode.h @@ -1,7 +1,7 @@ /********************* */ /*! \file arith_propagation_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/theory/arith/arith_rewriter.cpp b/src/theory/arith/arith_rewriter.cpp index 41e8c2542..aa5049ed4 100644 --- a/src/theory/arith/arith_rewriter.cpp +++ b/src/theory/arith/arith_rewriter.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file arith_rewriter.cpp ** \verbatim - ** Original author: Tim King <taking@cs.nyu.edu> + ** Original author: Tim King ** Major contributors: none - ** Minor contributors (to current version): Morgan Deters <mdeters@cs.nyu.edu>, Dejan Jovanović <dejan.jovanovic@gmail.com> + ** Minor contributors (to current version): Morgan Deters, 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/theory/arith/arith_rewriter.h b/src/theory/arith/arith_rewriter.h index 8c9aba83e..91b4099ab 100644 --- a/src/theory/arith/arith_rewriter.h +++ b/src/theory/arith/arith_rewriter.h @@ -1,8 +1,8 @@ /********************* */ /*! \file arith_rewriter.h ** \verbatim - ** Original author: Tim King <taking@cs.nyu.edu> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu>, Dejan Jovanović <dejan.jovanovic@gmail.com> + ** Original author: Tim King + ** Major contributors: Morgan Deters, Dejan Jovanovic ** 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/theory/arith/arith_static_learner.cpp b/src/theory/arith/arith_static_learner.cpp index 551fd819b..a4dfb1fa4 100644 --- a/src/theory/arith/arith_static_learner.cpp +++ b/src/theory/arith/arith_static_learner.cpp @@ -1,8 +1,8 @@ /********************* */ /*! \file arith_static_learner.cpp ** \verbatim - ** Original author: Tim King <taking@cs.nyu.edu> - ** Major contributors: Dejan Jovanović <dejan.jovanovic@gmail.com>, Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Tim King + ** Major contributors: Dejan Jovanovic, 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/theory/arith/arith_static_learner.h b/src/theory/arith/arith_static_learner.h index 0414e2f09..c4bf92a16 100644 --- a/src/theory/arith/arith_static_learner.h +++ b/src/theory/arith/arith_static_learner.h @@ -1,9 +1,9 @@ /********************* */ /*! \file arith_static_learner.h ** \verbatim - ** Original author: Tim King <taking@cs.nyu.edu> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> - ** Minor contributors (to current version): Dejan Jovanović <dejan.jovanovic@gmail.com> + ** Original author: Tim King + ** Major contributors: Morgan Deters + ** Minor contributors (to current version): 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/theory/arith/arith_unate_lemma_mode.cpp b/src/theory/arith/arith_unate_lemma_mode.cpp index b3efaf1a0..ec7e81cf3 100644 --- a/src/theory/arith/arith_unate_lemma_mode.cpp +++ b/src/theory/arith/arith_unate_lemma_mode.cpp @@ -1,7 +1,7 @@ /********************* */ /*! \file arith_unate_lemma_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/theory/arith/arith_unate_lemma_mode.h b/src/theory/arith/arith_unate_lemma_mode.h index 3f8214889..212ea85b1 100644 --- a/src/theory/arith/arith_unate_lemma_mode.h +++ b/src/theory/arith/arith_unate_lemma_mode.h @@ -1,7 +1,7 @@ /********************* */ /*! \file arith_unate_lemma_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/theory/arith/arith_utilities.h b/src/theory/arith/arith_utilities.h index a68eb6568..2efd895f2 100644 --- a/src/theory/arith/arith_utilities.h +++ b/src/theory/arith/arith_utilities.h @@ -1,9 +1,9 @@ /********************* */ /*! \file arith_utilities.h ** \verbatim - ** Original author: Tim King <taking@cs.nyu.edu> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> - ** Minor contributors (to current version): Dejan Jovanović <dejan.jovanovic@gmail.com> + ** Original author: Tim King + ** Major contributors: Morgan Deters + ** Minor contributors (to current version): 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/theory/arith/arithvar.cpp b/src/theory/arith/arithvar.cpp index cbcdfb866..ce05383da 100644 --- a/src/theory/arith/arithvar.cpp +++ b/src/theory/arith/arithvar.cpp @@ -1,7 +1,7 @@ /********************* */ /*! \file arithvar.cpp ** \verbatim - ** Original author: Tim King <taking@cs.nyu.edu> + ** Original author: Tim King ** Major contributors: none ** Minor contributors (to current version): none ** This file is part of the CVC4 project. diff --git a/src/theory/arith/arithvar.h b/src/theory/arith/arithvar.h index 7e2573394..e6cecff3f 100644 --- a/src/theory/arith/arithvar.h +++ b/src/theory/arith/arithvar.h @@ -1,9 +1,9 @@ /********************* */ /*! \file arithvar.h ** \verbatim - ** Original author: Tim King <taking@cs.nyu.edu> + ** Original author: Tim King ** 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/theory/arith/arithvar_node_map.h b/src/theory/arith/arithvar_node_map.h index 17e9a8f56..552beb82c 100644 --- a/src/theory/arith/arithvar_node_map.h +++ b/src/theory/arith/arithvar_node_map.h @@ -1,9 +1,9 @@ /********************* */ /*! \file arithvar_node_map.h ** \verbatim - ** Original author: Tim King <taking@cs.nyu.edu> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> - ** Minor contributors (to current version): Dejan Jovanović <dejan.jovanovic@gmail.com> + ** Original author: Tim King + ** Major contributors: Morgan Deters + ** Minor contributors (to current version): 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/theory/arith/congruence_manager.cpp b/src/theory/arith/congruence_manager.cpp index 8af9152db..c10d59234 100644 --- a/src/theory/arith/congruence_manager.cpp +++ b/src/theory/arith/congruence_manager.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file congruence_manager.cpp ** \verbatim - ** Original author: Tim King <taking@cs.nyu.edu> + ** Original author: Tim King ** Major contributors: none - ** Minor contributors (to current version): Dejan Jovanović <dejan.jovanovic@gmail.com>, 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/theory/arith/congruence_manager.h b/src/theory/arith/congruence_manager.h index 5edcbe435..b0a4467bf 100644 --- a/src/theory/arith/congruence_manager.h +++ b/src/theory/arith/congruence_manager.h @@ -1,9 +1,9 @@ /********************* */ /*! \file congruence_manager.h ** \verbatim - ** Original author: Tim King <taking@cs.nyu.edu> - ** Major contributors: Dejan Jovanović <dejan.jovanovic@gmail.com> - ** Minor contributors (to current version): Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Tim King + ** Major contributors: Dejan Jovanovic + ** 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/theory/arith/constraint.cpp b/src/theory/arith/constraint.cpp index 3132f869f..28b999852 100644 --- a/src/theory/arith/constraint.cpp +++ b/src/theory/arith/constraint.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file constraint.cpp ** \verbatim - ** Original author: Tim King <taking@cs.nyu.edu> + ** Original author: Tim King ** Major contributors: none - ** Minor contributors (to current version): Dejan Jovanović <dejan.jovanovic@gmail.com>, 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/theory/arith/constraint.h b/src/theory/arith/constraint.h index 26af01e63..e1c55f113 100644 --- a/src/theory/arith/constraint.h +++ b/src/theory/arith/constraint.h @@ -1,9 +1,9 @@ /********************* */ /*! \file constraint.h ** \verbatim - ** Original author: Tim King <taking@cs.nyu.edu> + ** Original author: Tim King ** 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/theory/arith/constraint_forward.h b/src/theory/arith/constraint_forward.h index 65c950ab5..f01c64b60 100644 --- a/src/theory/arith/constraint_forward.h +++ b/src/theory/arith/constraint_forward.h @@ -1,9 +1,9 @@ /********************* */ /*! \file constraint_forward.h ** \verbatim - ** Original author: Tim King <taking@cs.nyu.edu> + ** Original author: Tim King ** 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/theory/arith/delta_rational.cpp b/src/theory/arith/delta_rational.cpp index b6394887d..811658df8 100644 --- a/src/theory/arith/delta_rational.cpp +++ b/src/theory/arith/delta_rational.cpp @@ -1,8 +1,8 @@ /********************* */ /*! \file delta_rational.cpp ** \verbatim - ** Original author: Tim King <taking@cs.nyu.edu> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Tim King + ** 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/theory/arith/delta_rational.h b/src/theory/arith/delta_rational.h index 2a280f634..e97bde555 100644 --- a/src/theory/arith/delta_rational.h +++ b/src/theory/arith/delta_rational.h @@ -1,9 +1,9 @@ /********************* */ /*! \file delta_rational.h ** \verbatim - ** Original author: Tim King <taking@cs.nyu.edu> + ** Original author: Tim King ** Major contributors: none - ** Minor contributors (to current version): Dejan Jovanović <dejan.jovanovic@gmail.com>, 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/theory/arith/dio_solver.cpp b/src/theory/arith/dio_solver.cpp index e090e5b62..a0a932bb4 100644 --- a/src/theory/arith/dio_solver.cpp +++ b/src/theory/arith/dio_solver.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file dio_solver.cpp ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> - ** Major contributors: Tim King <taking@cs.nyu.edu> - ** Minor contributors (to current version): Dejan Jovanović <dejan.jovanovic@gmail.com> + ** Original author: Morgan Deters + ** Major contributors: Tim King + ** Minor contributors (to current version): 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/theory/arith/dio_solver.h b/src/theory/arith/dio_solver.h index 87e9f5215..b940bce76 100644 --- a/src/theory/arith/dio_solver.h +++ b/src/theory/arith/dio_solver.h @@ -1,8 +1,8 @@ /********************* */ /*! \file dio_solver.h ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> - ** Major contributors: Tim King <taking@cs.nyu.edu> + ** Original author: Morgan Deters + ** Major contributors: Tim King ** 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/theory/arith/linear_equality.cpp b/src/theory/arith/linear_equality.cpp index 81501fc53..7229eba95 100644 --- a/src/theory/arith/linear_equality.cpp +++ b/src/theory/arith/linear_equality.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file linear_equality.cpp ** \verbatim - ** Original author: Tim King <taking@cs.nyu.edu> + ** Original author: Tim King ** 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/theory/arith/linear_equality.h b/src/theory/arith/linear_equality.h index 39da88faa..14df8d819 100644 --- a/src/theory/arith/linear_equality.h +++ b/src/theory/arith/linear_equality.h @@ -1,9 +1,9 @@ /********************* */ /*! \file linear_equality.h ** \verbatim - ** Original author: Tim King <taking@cs.nyu.edu> + ** Original author: Tim King ** 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/theory/arith/matrix.cpp b/src/theory/arith/matrix.cpp index 3ddc73666..9fee74324 100644 --- a/src/theory/arith/matrix.cpp +++ b/src/theory/arith/matrix.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file matrix.cpp ** \verbatim - ** Original author: Tim King <taking@cs.nyu.edu> + ** Original author: Tim King ** 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/theory/arith/matrix.h b/src/theory/arith/matrix.h index 9d4cee0e1..51c2114a0 100644 --- a/src/theory/arith/matrix.h +++ b/src/theory/arith/matrix.h @@ -1,9 +1,9 @@ /********************* */ /*! \file matrix.h ** \verbatim - ** Original author: Tim King <taking@cs.nyu.edu> + ** Original author: Tim King ** 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/theory/arith/normal_form.cpp b/src/theory/arith/normal_form.cpp index b0c225461..8454ca210 100644 --- a/src/theory/arith/normal_form.cpp +++ b/src/theory/arith/normal_form.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file normal_form.cpp ** \verbatim - ** Original author: Tim King <taking@cs.nyu.edu> + ** Original author: Tim King ** Major contributors: none - ** Minor contributors (to current version): Dejan Jovanović <dejan.jovanovic@gmail.com>, 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/theory/arith/normal_form.h b/src/theory/arith/normal_form.h index 24d295fb5..bcf9cbfa4 100644 --- a/src/theory/arith/normal_form.h +++ b/src/theory/arith/normal_form.h @@ -1,9 +1,9 @@ /********************* */ /*! \file normal_form.h ** \verbatim - ** Original author: Tim King <taking@cs.nyu.edu> + ** Original author: Tim King ** Major contributors: none - ** Minor contributors (to current version): Dejan Jovanović <dejan.jovanovic@gmail.com>, 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/theory/arith/options_handlers.h b/src/theory/arith/options_handlers.h index 06c367687..1e2ab379a 100644 --- a/src/theory/arith/options_handlers.h +++ b/src/theory/arith/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/theory/arith/partial_model.cpp b/src/theory/arith/partial_model.cpp index 33ce5dcdf..6bbaa1e5e 100644 --- a/src/theory/arith/partial_model.cpp +++ b/src/theory/arith/partial_model.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file partial_model.cpp ** \verbatim - ** Original author: Tim King <taking@cs.nyu.edu> + ** Original author: Tim King ** 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/theory/arith/partial_model.h b/src/theory/arith/partial_model.h index f3cf5164b..820b1b909 100644 --- a/src/theory/arith/partial_model.h +++ b/src/theory/arith/partial_model.h @@ -1,8 +1,8 @@ /********************* */ /*! \file partial_model.h ** \verbatim - ** Original author: Tim King <taking@cs.nyu.edu> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Tim King + ** 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/theory/arith/simplex.cpp b/src/theory/arith/simplex.cpp index 8f8a9b261..ea8fefc6f 100644 --- a/src/theory/arith/simplex.cpp +++ b/src/theory/arith/simplex.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file simplex.cpp ** \verbatim - ** Original author: Tim King <taking@cs.nyu.edu> + ** Original author: Tim King ** 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/theory/arith/simplex.h b/src/theory/arith/simplex.h index a1f451059..a20920257 100644 --- a/src/theory/arith/simplex.h +++ b/src/theory/arith/simplex.h @@ -1,9 +1,9 @@ /********************* */ /*! \file simplex.h ** \verbatim - ** Original author: Tim King <taking@cs.nyu.edu> + ** Original author: Tim King ** Major contributors: none - ** Minor contributors (to current version): Kshitij Bansal <kshitij@cs.nyu.edu>, Morgan Deters <mdeters@cs.nyu.edu> + ** Minor contributors (to current version): Kshitij Bansal, 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/theory/arith/theory_arith.cpp b/src/theory/arith/theory_arith.cpp index 0ed10d4aa..8c31c02ac 100644 --- a/src/theory/arith/theory_arith.cpp +++ b/src/theory/arith/theory_arith.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file theory_arith.cpp ** \verbatim - ** Original author: Tim King <taking@cs.nyu.edu> + ** Original author: Tim King ** Major contributors: none - ** Minor contributors (to current version): Kshitij Bansal <kshitij@cs.nyu.edu>, Andrew Reynolds <andrew.j.reynolds@gmail.com>, Morgan Deters <mdeters@cs.nyu.edu>, Dejan Jovanović <dejan.jovanovic@gmail.com> + ** Minor contributors (to current version): Kshitij Bansal, Andrew Reynolds, Morgan Deters, 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/theory/arith/theory_arith.h b/src/theory/arith/theory_arith.h index a63a0bbb3..0e5a7e7e4 100644 --- a/src/theory/arith/theory_arith.h +++ b/src/theory/arith/theory_arith.h @@ -1,9 +1,9 @@ /********************* */ /*! \file theory_arith.h ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> - ** Major contributors: Tim King <taking@cs.nyu.edu> - ** Minor contributors (to current version): Andrew Reynolds <andrew.j.reynolds@gmail.com>, Dejan Jovanović <dejan.jovanovic@gmail.com> + ** Original author: Morgan Deters + ** Major contributors: Tim King + ** Minor contributors (to current version): Andrew Reynolds, 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/theory/arith/theory_arith_type_rules.h b/src/theory/arith/theory_arith_type_rules.h index 32def6116..cc8451f8b 100644 --- a/src/theory/arith/theory_arith_type_rules.h +++ b/src/theory/arith/theory_arith_type_rules.h @@ -1,8 +1,8 @@ /********************* */ /*! \file theory_arith_type_rules.h ** \verbatim - ** Original author: Dejan Jovanović <dejan.jovanovic@gmail.com> - ** Major contributors: Tim King <taking@cs.nyu.edu>, Christopher L. Conway <christopherleeconway@gmail.com>, Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Dejan Jovanovic + ** Major contributors: Tim King, Christopher L. Conway, 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/theory/arith/type_enumerator.h b/src/theory/arith/type_enumerator.h index dc6ff4b1f..30cfe20cd 100644 --- a/src/theory/arith/type_enumerator.h +++ b/src/theory/arith/type_enumerator.h @@ -1,7 +1,7 @@ /********************* */ /*! \file type_enumerator.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/theory/arrays/array_info.cpp b/src/theory/arrays/array_info.cpp index da34b8a8b..293713aab 100644 --- a/src/theory/arrays/array_info.cpp +++ b/src/theory/arrays/array_info.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file array_info.cpp ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> - ** Major contributors: Clark Barrett <barrett@cs.nyu.edu> - ** Minor contributors (to current version): Dejan Jovanović <dejan.jovanovic@gmail.com> + ** Original author: Morgan Deters + ** Major contributors: Clark Barrett + ** Minor contributors (to current version): 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/theory/arrays/array_info.h b/src/theory/arrays/array_info.h index 69f2957ed..1f97c02ca 100644 --- a/src/theory/arrays/array_info.h +++ b/src/theory/arrays/array_info.h @@ -1,9 +1,9 @@ /********************* */ /*! \file array_info.h ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Morgan Deters ** Major contributors: none - ** Minor contributors (to current version): Dejan Jovanović <dejan.jovanovic@gmail.com>, Clark Barrett <barrett@cs.nyu.edu> + ** Minor contributors (to current version): Dejan Jovanovic, Clark Barrett ** 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/theory/arrays/static_fact_manager.cpp b/src/theory/arrays/static_fact_manager.cpp index e220d279b..cc9bd9991 100644 --- a/src/theory/arrays/static_fact_manager.cpp +++ b/src/theory/arrays/static_fact_manager.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file static_fact_manager.cpp ** \verbatim - ** Original author: Clark Barrett <barrett@cs.nyu.edu> + ** Original author: Clark Barrett ** 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/theory/arrays/static_fact_manager.h b/src/theory/arrays/static_fact_manager.h index 3ced3db6d..74011ad92 100644 --- a/src/theory/arrays/static_fact_manager.h +++ b/src/theory/arrays/static_fact_manager.h @@ -1,9 +1,9 @@ /********************* */ /*! \file static_fact_manager.h ** \verbatim - ** Original author: Clark Barrett <barrett@cs.nyu.edu> + ** Original author: Clark Barrett ** 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/theory/arrays/theory_arrays.cpp b/src/theory/arrays/theory_arrays.cpp index 7b727c35b..53cdd3fdc 100644 --- a/src/theory/arrays/theory_arrays.cpp +++ b/src/theory/arrays/theory_arrays.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file theory_arrays.cpp ** \verbatim - ** Original author: Clark Barrett <barrett@cs.nyu.edu> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> - ** Minor contributors (to current version): Tim King <taking@cs.nyu.edu>, Andrew Reynolds <andrew.j.reynolds@gmail.com>, Dejan Jovanović <dejan.jovanovic@gmail.com> + ** Original author: Clark Barrett + ** Major contributors: Morgan Deters + ** Minor contributors (to current version): Tim King, Andrew Reynolds, 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/theory/arrays/theory_arrays.h b/src/theory/arrays/theory_arrays.h index b82d30cbf..39fd90012 100644 --- a/src/theory/arrays/theory_arrays.h +++ b/src/theory/arrays/theory_arrays.h @@ -1,9 +1,9 @@ /********************* */ /*! \file theory_arrays.h ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> - ** Major contributors: Dejan Jovanović <dejan.jovanovic@gmail.com>, Clark Barrett <barrett@cs.nyu.edu> - ** Minor contributors (to current version): Tim King <taking@cs.nyu.edu>, Andrew Reynolds <andrew.j.reynolds@gmail.com> + ** Original author: Morgan Deters + ** Major contributors: Dejan Jovanovic, Clark Barrett + ** Minor contributors (to current version): Tim King, 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/theory/arrays/theory_arrays_model.cpp b/src/theory/arrays/theory_arrays_model.cpp index ec2bacc4b..b5c81ef69 100644 --- a/src/theory/arrays/theory_arrays_model.cpp +++ b/src/theory/arrays/theory_arrays_model.cpp @@ -1,8 +1,8 @@ /********************* */ /*! \file theory_arrays_model.cpp ** \verbatim - ** Original author: Andrew Reynolds <andrew.j.reynolds@gmail.com> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Andrew Reynolds + ** 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/theory/arrays/theory_arrays_model.h b/src/theory/arrays/theory_arrays_model.h index c82c7635d..66dc80568 100644 --- a/src/theory/arrays/theory_arrays_model.h +++ b/src/theory/arrays/theory_arrays_model.h @@ -1,8 +1,8 @@ /********************* */ /*! \file theory_arrays_model.h ** \verbatim - ** Original author: Andrew Reynolds <andrew.j.reynolds@gmail.com> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Andrew Reynolds + ** 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/theory/arrays/theory_arrays_rewriter.h b/src/theory/arrays/theory_arrays_rewriter.h index b1e8ea664..18bbef8cf 100644 --- a/src/theory/arrays/theory_arrays_rewriter.h +++ b/src/theory/arrays/theory_arrays_rewriter.h @@ -1,9 +1,9 @@ /********************* */ /*! \file theory_arrays_rewriter.h ** \verbatim - ** Original author: Dejan Jovanović <dejan.jovanovic@gmail.com> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu>, Clark Barrett <barrett@cs.nyu.edu> - ** Minor contributors (to current version): Andrew Reynolds <andrew.j.reynolds@gmail.com> + ** Original author: Dejan Jovanovic + ** Major contributors: Morgan Deters, Clark Barrett + ** Minor contributors (to current version): 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/theory/arrays/theory_arrays_type_rules.h b/src/theory/arrays/theory_arrays_type_rules.h index 8c833bc75..b16b62f69 100644 --- a/src/theory/arrays/theory_arrays_type_rules.h +++ b/src/theory/arrays/theory_arrays_type_rules.h @@ -1,9 +1,9 @@ /********************* */ /*! \file theory_arrays_type_rules.h ** \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> + ** Original author: Morgan Deters + ** Major contributors: Clark Barrett + ** Minor contributors (to current version): Christopher L. Conway ** 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/theory/arrays/type_enumerator.h b/src/theory/arrays/type_enumerator.h index f7d8b3637..bde7eef85 100644 --- a/src/theory/arrays/type_enumerator.h +++ b/src/theory/arrays/type_enumerator.h @@ -1,8 +1,8 @@ /********************* */ /*! \file type_enumerator.h ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> - ** Major contributors: Clark Barrett <barrett@cs.nyu.edu> + ** Original author: Morgan Deters + ** Major contributors: Clark Barrett ** 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/theory/arrays/union_find.cpp b/src/theory/arrays/union_find.cpp index ad9dc2f5d..78305f00a 100644 --- a/src/theory/arrays/union_find.cpp +++ b/src/theory/arrays/union_find.cpp @@ -1,7 +1,7 @@ /********************* */ /*! \file union_find.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/theory/arrays/union_find.h b/src/theory/arrays/union_find.h index b86805a72..29e7c82c0 100644 --- a/src/theory/arrays/union_find.h +++ b/src/theory/arrays/union_find.h @@ -1,7 +1,7 @@ /********************* */ /*! \file union_find.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/theory/booleans/boolean_term_conversion_mode.cpp b/src/theory/booleans/boolean_term_conversion_mode.cpp index 305c41125..958fd3f23 100644 --- a/src/theory/booleans/boolean_term_conversion_mode.cpp +++ b/src/theory/booleans/boolean_term_conversion_mode.cpp @@ -1,7 +1,7 @@ /********************* */ /*! \file boolean_term_conversion_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/theory/booleans/boolean_term_conversion_mode.h b/src/theory/booleans/boolean_term_conversion_mode.h index e36cc0af1..c40684bbc 100644 --- a/src/theory/booleans/boolean_term_conversion_mode.h +++ b/src/theory/booleans/boolean_term_conversion_mode.h @@ -1,7 +1,7 @@ /********************* */ /*! \file boolean_term_conversion_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/theory/booleans/circuit_propagator.cpp b/src/theory/booleans/circuit_propagator.cpp index d4755d8c4..834b094f3 100644 --- a/src/theory/booleans/circuit_propagator.cpp +++ b/src/theory/booleans/circuit_propagator.cpp @@ -1,8 +1,8 @@ /********************* */ /*! \file circuit_propagator.cpp ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> - ** Major contributors: Dejan Jovanović <dejan.jovanovic@gmail.com> + ** Original author: Morgan Deters + ** Major contributors: Dejan Jovanovic ** 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/theory/booleans/circuit_propagator.h b/src/theory/booleans/circuit_propagator.h index 0e45a53c8..360efea80 100644 --- a/src/theory/booleans/circuit_propagator.h +++ b/src/theory/booleans/circuit_propagator.h @@ -1,9 +1,9 @@ /********************* */ /*! \file circuit_propagator.h ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> - ** Major contributors: Dejan Jovanović <dejan.jovanovic@gmail.com> - ** Minor contributors (to current version): Tim King <taking@cs.nyu.edu>, Clark Barrett <barrett@cs.nyu.edu> + ** Original author: Morgan Deters + ** Major contributors: Dejan Jovanovic + ** Minor contributors (to current version): Tim King, Clark Barrett ** 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/theory/booleans/options_handlers.h b/src/theory/booleans/options_handlers.h index d06fac0d0..614003047 100644 --- a/src/theory/booleans/options_handlers.h +++ b/src/theory/booleans/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/theory/booleans/theory_bool.cpp b/src/theory/booleans/theory_bool.cpp index 7bcedfdce..3e75dd258 100644 --- a/src/theory/booleans/theory_bool.cpp +++ b/src/theory/booleans/theory_bool.cpp @@ -1,8 +1,8 @@ /********************* */ /*! \file theory_bool.cpp ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> - ** Major contributors: Dejan Jovanović <dejan.jovanovic@gmail.com> + ** Original author: Morgan Deters + ** Major contributors: Dejan Jovanovic ** 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/theory/booleans/theory_bool.h b/src/theory/booleans/theory_bool.h index e41f95c52..49bf905c0 100644 --- a/src/theory/booleans/theory_bool.h +++ b/src/theory/booleans/theory_bool.h @@ -1,9 +1,9 @@ /********************* */ /*! \file theory_bool.h ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Morgan Deters ** Major contributors: none - ** Minor contributors (to current version): Dejan Jovanović <dejan.jovanovic@gmail.com> + ** Minor contributors (to current version): 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/theory/booleans/theory_bool_rewriter.cpp b/src/theory/booleans/theory_bool_rewriter.cpp index 911b49ea0..d6aa51aba 100644 --- a/src/theory/booleans/theory_bool_rewriter.cpp +++ b/src/theory/booleans/theory_bool_rewriter.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file theory_bool_rewriter.cpp ** \verbatim - ** Original author: Dejan Jovanović <dejan.jovanovic@gmail.com> - ** Major contributors: Tim King <taking@cs.nyu.edu>, Clark Barrett <barrett@cs.nyu.edu> - ** Minor contributors (to current version): Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Dejan Jovanovic + ** Major contributors: Tim King, Clark Barrett + ** 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/theory/booleans/theory_bool_rewriter.h b/src/theory/booleans/theory_bool_rewriter.h index 33f24b6d1..96bd2ae29 100644 --- a/src/theory/booleans/theory_bool_rewriter.h +++ b/src/theory/booleans/theory_bool_rewriter.h @@ -1,8 +1,8 @@ /********************* */ /*! \file theory_bool_rewriter.h ** \verbatim - ** Original author: Dejan Jovanović <dejan.jovanovic@gmail.com> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Dejan Jovanovic + ** 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/theory/booleans/theory_bool_type_rules.h b/src/theory/booleans/theory_bool_type_rules.h index 38d8da259..38c394622 100644 --- a/src/theory/booleans/theory_bool_type_rules.h +++ b/src/theory/booleans/theory_bool_type_rules.h @@ -1,9 +1,9 @@ /********************* */ /*! \file theory_bool_type_rules.h ** \verbatim - ** Original author: Dejan Jovanović <dejan.jovanovic@gmail.com> - ** Major contributors: Christopher L. Conway <christopherleeconway@gmail.com>, Morgan Deters <mdeters@cs.nyu.edu> - ** Minor contributors (to current version): Tim King <taking@cs.nyu.edu> + ** Original author: Dejan Jovanovic + ** Major contributors: Christopher L. Conway, Morgan Deters + ** Minor contributors (to current version): Tim King ** 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/theory/booleans/type_enumerator.h b/src/theory/booleans/type_enumerator.h index 5d5509fb8..ff0d50ee0 100644 --- a/src/theory/booleans/type_enumerator.h +++ b/src/theory/booleans/type_enumerator.h @@ -1,7 +1,7 @@ /********************* */ /*! \file type_enumerator.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/theory/builtin/theory_builtin.cpp b/src/theory/builtin/theory_builtin.cpp index c1e5a044e..49908c5db 100644 --- a/src/theory/builtin/theory_builtin.cpp +++ b/src/theory/builtin/theory_builtin.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file theory_builtin.cpp ** \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> + ** Minor contributors (to current version): 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/theory/builtin/theory_builtin.h b/src/theory/builtin/theory_builtin.h index b40aa289f..b49147c91 100644 --- a/src/theory/builtin/theory_builtin.h +++ b/src/theory/builtin/theory_builtin.h @@ -1,7 +1,7 @@ /********************* */ /*! \file theory_builtin.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/theory/builtin/theory_builtin_rewriter.cpp b/src/theory/builtin/theory_builtin_rewriter.cpp index 846c6b23a..4d62ce511 100644 --- a/src/theory/builtin/theory_builtin_rewriter.cpp +++ b/src/theory/builtin/theory_builtin_rewriter.cpp @@ -1,8 +1,8 @@ /********************* */ /*! \file theory_builtin_rewriter.cpp ** \verbatim - ** Original author: Dejan Jovanović <dejan.jovanovic@gmail.com> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Dejan Jovanovic + ** 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/theory/builtin/theory_builtin_rewriter.h b/src/theory/builtin/theory_builtin_rewriter.h index 198cea40c..a76bafe81 100644 --- a/src/theory/builtin/theory_builtin_rewriter.h +++ b/src/theory/builtin/theory_builtin_rewriter.h @@ -1,8 +1,8 @@ /********************* */ /*! \file theory_builtin_rewriter.h ** \verbatim - ** Original author: Dejan Jovanović <dejan.jovanovic@gmail.com> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Dejan Jovanovic + ** 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/theory/builtin/theory_builtin_type_rules.h b/src/theory/builtin/theory_builtin_type_rules.h index 1eba0da9a..2a4e07528 100644 --- a/src/theory/builtin/theory_builtin_type_rules.h +++ b/src/theory/builtin/theory_builtin_type_rules.h @@ -1,9 +1,9 @@ /********************* */ /*! \file theory_builtin_type_rules.h ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Morgan Deters ** Major contributors: none - ** Minor contributors (to current version): Tim King <taking@cs.nyu.edu>, Andrew Reynolds <andrew.j.reynolds@gmail.com>, Christopher L. Conway <christopherleeconway@gmail.com>, Dejan Jovanović <dejan.jovanovic@gmail.com> + ** Minor contributors (to current version): Tim King, Andrew Reynolds, Christopher L. Conway, 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/theory/builtin/type_enumerator.h b/src/theory/builtin/type_enumerator.h index 493ddc535..21eca0b21 100644 --- a/src/theory/builtin/type_enumerator.h +++ b/src/theory/builtin/type_enumerator.h @@ -1,7 +1,7 @@ /********************* */ /*! \file type_enumerator.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/theory/bv/bitblast_strategies.cpp b/src/theory/bv/bitblast_strategies.cpp index 265523c18..bc7da8786 100644 --- a/src/theory/bv/bitblast_strategies.cpp +++ b/src/theory/bv/bitblast_strategies.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file bitblast_strategies.cpp ** \verbatim - ** Original author: Liana Hadarean <lianahady@gmail.com> + ** Original author: Liana Hadarean ** 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>, lianah <lianahady@gmail.com>, Tim King <taking@cs.nyu.edu> + ** Minor contributors (to current version): Clark Barrett, Dejan Jovanovic, Morgan Deters, lianah, Tim King ** 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/theory/bv/bitblast_strategies.h b/src/theory/bv/bitblast_strategies.h index 3d9ba5936..cb29e430b 100644 --- a/src/theory/bv/bitblast_strategies.h +++ b/src/theory/bv/bitblast_strategies.h @@ -1,9 +1,9 @@ /********************* */ /*! \file bitblast_strategies.h ** \verbatim - ** Original author: Liana Hadarean <lianahady@gmail.com> + ** Original author: Liana Hadarean ** Major contributors: none - ** Minor contributors (to current version): Dejan Jovanović <dejan.jovanovic@gmail.com>, 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/theory/bv/bitblaster.cpp b/src/theory/bv/bitblaster.cpp index 5f99e33db..cf841bb56 100644 --- a/src/theory/bv/bitblaster.cpp +++ b/src/theory/bv/bitblaster.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file bitblaster.cpp ** \verbatim - ** Original author: Liana Hadarean <lianahady@gmail.com> - ** Major contributors: Dejan Jovanović <dejan.jovanovic@gmail.com> - ** Minor contributors (to current version): Clark Barrett <barrett@cs.nyu.edu>, Morgan Deters <mdeters@cs.nyu.edu>, lianah <lianahady@gmail.com> + ** Original author: Liana Hadarean + ** Major contributors: Dejan Jovanovic + ** Minor contributors (to current version): Clark Barrett, Morgan Deters, lianah ** 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/theory/bv/bitblaster.h b/src/theory/bv/bitblaster.h index d4ba482ed..2c52a2670 100644 --- a/src/theory/bv/bitblaster.h +++ b/src/theory/bv/bitblaster.h @@ -1,9 +1,9 @@ /********************* */ /*! \file bitblaster.h ** \verbatim - ** Original author: Liana Hadarean <lianahady@gmail.com> + ** Original author: Liana Hadarean ** Major contributors: none - ** Minor contributors (to current version): lianah <lianahady@gmail.com>, Morgan Deters <mdeters@cs.nyu.edu>, Dejan Jovanović <dejan.jovanovic@gmail.com> + ** Minor contributors (to current version): lianah, Morgan Deters, 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/theory/bv/bv_inequality_graph.cpp b/src/theory/bv/bv_inequality_graph.cpp index 760a38a16..ccdfc1583 100644 --- a/src/theory/bv/bv_inequality_graph.cpp +++ b/src/theory/bv/bv_inequality_graph.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file bv_inequality_graph.cpp ** \verbatim - ** Original author: Liana Hadarean <lianahady@gmail.com> - ** Major contributors: lianah <lianahady@gmail.com> - ** Minor contributors (to current version): Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Liana Hadarean + ** Major contributors: lianah + ** 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/theory/bv/bv_inequality_graph.h b/src/theory/bv/bv_inequality_graph.h index fcb48ed61..200c49195 100644 --- a/src/theory/bv/bv_inequality_graph.h +++ b/src/theory/bv/bv_inequality_graph.h @@ -1,8 +1,8 @@ /********************* */ /*! \file bv_inequality_graph.h ** \verbatim - ** Original author: lianah <lianahady@gmail.com> - ** Major contributors: Liana Hadarean <lianahady@gmail.com> + ** Original author: lianah + ** Major contributors: Liana Hadarean ** 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/theory/bv/bv_subtheory.h b/src/theory/bv/bv_subtheory.h index ea0eedabb..8374a3f75 100644 --- a/src/theory/bv/bv_subtheory.h +++ b/src/theory/bv/bv_subtheory.h @@ -1,9 +1,9 @@ /********************* */ /*! \file bv_subtheory.h ** \verbatim - ** Original author: Liana Hadarean <lianahady@gmail.com> - ** Major contributors: Dejan Jovanović <dejan.jovanovic@gmail.com>, lianah <lianahady@gmail.com> - ** Minor contributors (to current version): Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Liana Hadarean + ** Major contributors: Dejan Jovanovic, lianah + ** 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/theory/bv/bv_subtheory_bitblast.cpp b/src/theory/bv/bv_subtheory_bitblast.cpp index 1fbab8514..237b04172 100644 --- a/src/theory/bv/bv_subtheory_bitblast.cpp +++ b/src/theory/bv/bv_subtheory_bitblast.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file bv_subtheory_bitblast.cpp ** \verbatim - ** Original author: Dejan Jovanović <dejan.jovanovic@gmail.com> - ** Major contributors: lianah <lianahady@gmail.com> - ** Minor contributors (to current version): Dejan Jovanović <dejan@cs.nyu.edu>, Liana Hadarean <lianahady@gmail.com>, Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Dejan Jovanovic + ** Major contributors: lianah + ** Minor contributors (to current version): Liana Hadarean, 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/theory/bv/bv_subtheory_bitblast.h b/src/theory/bv/bv_subtheory_bitblast.h index d295b0ee7..1eef61daf 100644 --- a/src/theory/bv/bv_subtheory_bitblast.h +++ b/src/theory/bv/bv_subtheory_bitblast.h @@ -1,9 +1,9 @@ /********************* */ /*! \file bv_subtheory_bitblast.h ** \verbatim - ** Original author: Dejan Jovanović <dejan.jovanovic@gmail.com> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu>, lianah <lianahady@gmail.com> - ** Minor contributors (to current version): Dejan Jovanović <dejan@cs.nyu.edu>, Liana Hadarean <lianahady@gmail.com> + ** Original author: Dejan Jovanovic + ** Major contributors: Morgan Deters, lianah + ** Minor contributors (to current version): Liana Hadarean ** 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/theory/bv/bv_subtheory_core.cpp b/src/theory/bv/bv_subtheory_core.cpp index 5853eed50..a1c8f0e9a 100644 --- a/src/theory/bv/bv_subtheory_core.cpp +++ b/src/theory/bv/bv_subtheory_core.cpp @@ -1,8 +1,8 @@ /********************* */ /*! \file bv_subtheory_core.cpp ** \verbatim - ** Original author: Liana Hadarean <lianahady@gmail.com> - ** Major contributors: lianah <lianahady@gmail.com> + ** Original author: Liana Hadarean + ** Major contributors: lianah ** 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/theory/bv/bv_subtheory_core.h b/src/theory/bv/bv_subtheory_core.h index a460c91fa..423408a7c 100644 --- a/src/theory/bv/bv_subtheory_core.h +++ b/src/theory/bv/bv_subtheory_core.h @@ -1,9 +1,9 @@ /********************* */ /*! \file bv_subtheory_core.h ** \verbatim - ** Original author: Liana Hadarean <lianahady@gmail.com> - ** Major contributors: lianah <lianahady@gmail.com> - ** Minor contributors (to current version): Dejan Jovanović <dejan.jovanovic@gmail.com> + ** Original author: Liana Hadarean + ** Major contributors: lianah + ** Minor contributors (to current version): 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/theory/bv/bv_subtheory_inequality.cpp b/src/theory/bv/bv_subtheory_inequality.cpp index 15b51d2c8..40093f070 100644 --- a/src/theory/bv/bv_subtheory_inequality.cpp +++ b/src/theory/bv/bv_subtheory_inequality.cpp @@ -1,8 +1,8 @@ /********************* */ /*! \file bv_subtheory_inequality.cpp ** \verbatim - ** Original author: lianah <lianahady@gmail.com> - ** Major contributors: Liana Hadarean <lianahady@gmail.com> + ** Original author: lianah + ** Major contributors: Liana Hadarean ** 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/theory/bv/bv_subtheory_inequality.h b/src/theory/bv/bv_subtheory_inequality.h index d79ea6e1c..390a329ff 100644 --- a/src/theory/bv/bv_subtheory_inequality.h +++ b/src/theory/bv/bv_subtheory_inequality.h @@ -1,9 +1,9 @@ /********************* */ /*! \file bv_subtheory_inequality.h ** \verbatim - ** Original author: lianah <lianahady@gmail.com> + ** Original author: lianah ** Major contributors: none - ** Minor contributors (to current version): Liana Hadarean <lianahady@gmail.com> + ** Minor contributors (to current version): Liana Hadarean ** 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/theory/bv/cd_set_collection.h b/src/theory/bv/cd_set_collection.h index 518043ec0..01aeeab91 100644 --- a/src/theory/bv/cd_set_collection.h +++ b/src/theory/bv/cd_set_collection.h @@ -1,9 +1,9 @@ /********************* */ /*! \file cd_set_collection.h ** \verbatim - ** Original author: Dejan Jovanović <dejan.jovanovic@gmail.com> + ** Original author: Dejan Jovanovic ** 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/theory/bv/slicer.cpp b/src/theory/bv/slicer.cpp index fd344aed5..e8e4ff84b 100644 --- a/src/theory/bv/slicer.cpp +++ b/src/theory/bv/slicer.cpp @@ -1,8 +1,8 @@ /********************* */ /*! \file slicer.cpp ** \verbatim - ** Original author: Liana Hadarean <lianahady@gmail.com> - ** Major contributors: lianah <lianahady@gmail.com> + ** Original author: Liana Hadarean + ** Major contributors: lianah ** 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/theory/bv/slicer.h b/src/theory/bv/slicer.h index 7da12fc6d..fefbad756 100644 --- a/src/theory/bv/slicer.h +++ b/src/theory/bv/slicer.h @@ -1,8 +1,8 @@ /********************* */ /*! \file slicer.h ** \verbatim - ** Original author: Liana Hadarean <lianahady@gmail.com> - ** Major contributors: lianah <lianahady@gmail.com> + ** Original author: Liana Hadarean + ** Major contributors: lianah ** 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/theory/bv/theory_bv.cpp b/src/theory/bv/theory_bv.cpp index 39fc68823..228a4d8a3 100644 --- a/src/theory/bv/theory_bv.cpp +++ b/src/theory/bv/theory_bv.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file theory_bv.cpp ** \verbatim - ** Original author: Dejan Jovanović <dejan.jovanovic@gmail.com> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu>, Liana Hadarean <lianahady@gmail.com>, lianah <lianahady@gmail.com> - ** Minor contributors (to current version): Tim King <taking@cs.nyu.edu>, Dejan Jovanović <dejan@cs.nyu.edu>, Andrew Reynolds <andrew.j.reynolds@gmail.com>, Clark Barrett <barrett@cs.nyu.edu> + ** Original author: Dejan Jovanovic + ** Major contributors: Morgan Deters, Liana Hadarean, lianah + ** Minor contributors (to current version): Tim King, Andrew Reynolds, Clark Barrett ** 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/theory/bv/theory_bv.h b/src/theory/bv/theory_bv.h index c0c8823c1..8b184f972 100644 --- a/src/theory/bv/theory_bv.h +++ b/src/theory/bv/theory_bv.h @@ -1,9 +1,9 @@ /********************* */ /*! \file theory_bv.h ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> - ** Major contributors: lianah <lianahady@gmail.com>, Dejan Jovanović <dejan.jovanovic@gmail.com>, Liana Hadarean <lianahady@gmail.com> - ** Minor contributors (to current version): Clark Barrett <barrett@cs.nyu.edu>, Dejan Jovanović <dejan@cs.nyu.edu>, Tim King <taking@cs.nyu.edu>, Andrew Reynolds <andrew.j.reynolds@gmail.com> + ** Original author: Morgan Deters + ** Major contributors: lianah, Dejan Jovanovic, Liana Hadarean + ** Minor contributors (to current version): Clark Barrett, Tim King, 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/theory/bv/theory_bv_rewrite_rules.h b/src/theory/bv/theory_bv_rewrite_rules.h index 4000fe77e..e9a3494f0 100644 --- a/src/theory/bv/theory_bv_rewrite_rules.h +++ b/src/theory/bv/theory_bv_rewrite_rules.h @@ -1,9 +1,9 @@ /********************* */ /*! \file theory_bv_rewrite_rules.h ** \verbatim - ** Original author: Dejan Jovanović <dejan.jovanovic@gmail.com> - ** Major contributors: Liana Hadarean <lianahady@gmail.com> - ** Minor contributors (to current version): Tim King <taking@cs.nyu.edu>, Clark Barrett <barrett@cs.nyu.edu>, Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Dejan Jovanovic + ** Major contributors: Liana Hadarean + ** Minor contributors (to current version): Tim King, Clark Barrett, 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/theory/bv/theory_bv_rewrite_rules_constant_evaluation.h b/src/theory/bv/theory_bv_rewrite_rules_constant_evaluation.h index c7ce164eb..a5368d2c9 100644 --- a/src/theory/bv/theory_bv_rewrite_rules_constant_evaluation.h +++ b/src/theory/bv/theory_bv_rewrite_rules_constant_evaluation.h @@ -1,9 +1,9 @@ /********************* */ /*! \file theory_bv_rewrite_rules_constant_evaluation.h ** \verbatim - ** Original author: Liana Hadarean <lianahady@gmail.com> - ** Major contributors: Clark Barrett <barrett@cs.nyu.edu> - ** Minor contributors (to current version): lianah <lianahady@gmail.com>, Morgan Deters <mdeters@cs.nyu.edu>, Tim King <taking@cs.nyu.edu> + ** Original author: Liana Hadarean + ** Major contributors: Clark Barrett + ** Minor contributors (to current version): lianah, Morgan Deters, Tim King ** 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/theory/bv/theory_bv_rewrite_rules_core.h b/src/theory/bv/theory_bv_rewrite_rules_core.h index e6260e074..43acfef75 100644 --- a/src/theory/bv/theory_bv_rewrite_rules_core.h +++ b/src/theory/bv/theory_bv_rewrite_rules_core.h @@ -1,9 +1,9 @@ /********************* */ /*! \file theory_bv_rewrite_rules_core.h ** \verbatim - ** Original author: Dejan Jovanović <dejan.jovanovic@gmail.com> + ** Original author: Dejan Jovanovic ** Major contributors: none - ** Minor contributors (to current version): Tim King <taking@cs.nyu.edu>, Clark Barrett <barrett@cs.nyu.edu>, Liana Hadarean <lianahady@gmail.com>, Morgan Deters <mdeters@cs.nyu.edu> + ** Minor contributors (to current version): Tim King, Clark Barrett, Liana Hadarean, 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/theory/bv/theory_bv_rewrite_rules_normalization.h b/src/theory/bv/theory_bv_rewrite_rules_normalization.h index 28ae9d0b3..4ba09ef67 100644 --- a/src/theory/bv/theory_bv_rewrite_rules_normalization.h +++ b/src/theory/bv/theory_bv_rewrite_rules_normalization.h @@ -1,9 +1,9 @@ /********************* */ /*! \file theory_bv_rewrite_rules_normalization.h ** \verbatim - ** Original author: Liana Hadarean <lianahady@gmail.com> - ** Major contributors: Clark Barrett <barrett@cs.nyu.edu> - ** Minor contributors (to current version): Dejan Jovanović <dejan.jovanovic@gmail.com>, Morgan Deters <mdeters@cs.nyu.edu>, Tim King <taking@cs.nyu.edu> + ** Original author: Liana Hadarean + ** Major contributors: Clark Barrett + ** Minor contributors (to current version): Dejan Jovanovic, Morgan Deters, Tim King ** 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/theory/bv/theory_bv_rewrite_rules_operator_elimination.h b/src/theory/bv/theory_bv_rewrite_rules_operator_elimination.h index 6f54f5a52..06ddc215d 100644 --- a/src/theory/bv/theory_bv_rewrite_rules_operator_elimination.h +++ b/src/theory/bv/theory_bv_rewrite_rules_operator_elimination.h @@ -1,9 +1,9 @@ /********************* */ /*! \file theory_bv_rewrite_rules_operator_elimination.h ** \verbatim - ** Original author: Liana Hadarean <lianahady@gmail.com> - ** Major contributors: Clark Barrett <barrett@cs.nyu.edu> - ** Minor contributors (to current version): Morgan Deters <mdeters@cs.nyu.edu>, Tim King <taking@cs.nyu.edu> + ** Original author: Liana Hadarean + ** Major contributors: Clark Barrett + ** Minor contributors (to current version): Morgan Deters, Tim King ** 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/theory/bv/theory_bv_rewrite_rules_simplification.h b/src/theory/bv/theory_bv_rewrite_rules_simplification.h index 20e143d2f..bcfb189af 100644 --- a/src/theory/bv/theory_bv_rewrite_rules_simplification.h +++ b/src/theory/bv/theory_bv_rewrite_rules_simplification.h @@ -1,9 +1,9 @@ /********************* */ /*! \file theory_bv_rewrite_rules_simplification.h ** \verbatim - ** Original author: Liana Hadarean <lianahady@gmail.com> - ** Major contributors: Clark Barrett <barrett@cs.nyu.edu> - ** Minor contributors (to current version): Morgan Deters <mdeters@cs.nyu.edu>, Dejan Jovanović <dejan.jovanovic@gmail.com>, Tim King <taking@cs.nyu.edu> + ** Original author: Liana Hadarean + ** Major contributors: Clark Barrett + ** Minor contributors (to current version): Morgan Deters, Dejan Jovanovic, Tim King ** 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/theory/bv/theory_bv_rewriter.cpp b/src/theory/bv/theory_bv_rewriter.cpp index b16c426e6..a712a8391 100644 --- a/src/theory/bv/theory_bv_rewriter.cpp +++ b/src/theory/bv/theory_bv_rewriter.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file theory_bv_rewriter.cpp ** \verbatim - ** Original author: Dejan Jovanović <dejan.jovanovic@gmail.com> - ** Major contributors: Liana Hadarean <lianahady@gmail.com> - ** Minor contributors (to current version): Tim King <taking@cs.nyu.edu>, Morgan Deters <mdeters@cs.nyu.edu>, Clark Barrett <barrett@cs.nyu.edu> + ** Original author: Dejan Jovanovic + ** Major contributors: Liana Hadarean + ** Minor contributors (to current version): Tim King, Morgan Deters, Clark Barrett ** 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/theory/bv/theory_bv_rewriter.h b/src/theory/bv/theory_bv_rewriter.h index 1ef936028..183b5e8d5 100644 --- a/src/theory/bv/theory_bv_rewriter.h +++ b/src/theory/bv/theory_bv_rewriter.h @@ -1,9 +1,9 @@ /********************* */ /*! \file theory_bv_rewriter.h ** \verbatim - ** Original author: Dejan Jovanović <dejan.jovanovic@gmail.com> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu>, Liana Hadarean <lianahady@gmail.com> - ** Minor contributors (to current version): Tim King <taking@cs.nyu.edu> + ** Original author: Dejan Jovanovic + ** Major contributors: Morgan Deters, Liana Hadarean + ** Minor contributors (to current version): Tim King ** 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/theory/bv/theory_bv_type_rules.h b/src/theory/bv/theory_bv_type_rules.h index af331237c..00284e7ae 100644 --- a/src/theory/bv/theory_bv_type_rules.h +++ b/src/theory/bv/theory_bv_type_rules.h @@ -1,8 +1,8 @@ /********************* */ /*! \file theory_bv_type_rules.h ** \verbatim - ** Original author: Dejan Jovanović <dejan.jovanovic@gmail.com> - ** Major contributors: Liana Hadarean <lianahady@gmail.com>, Morgan Deters <mdeters@cs.nyu.edu>, Christopher L. Conway <christopherleeconway@gmail.com> + ** Original author: Dejan Jovanovic + ** Major contributors: Liana Hadarean, Morgan Deters, Christopher L. Conway ** 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/theory/bv/theory_bv_utils.h b/src/theory/bv/theory_bv_utils.h index 77e36860d..dffdf10df 100644 --- a/src/theory/bv/theory_bv_utils.h +++ b/src/theory/bv/theory_bv_utils.h @@ -1,9 +1,9 @@ /********************* */ /*! \file theory_bv_utils.h ** \verbatim - ** Original author: Dejan Jovanović <dejan.jovanovic@gmail.com> - ** Major contributors: lianah <lianahady@gmail.com>, Liana Hadarean <lianahady@gmail.com> - ** Minor contributors (to current version): Clark Barrett <barrett@cs.nyu.edu>, Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Dejan Jovanovic + ** Major contributors: lianah, Liana Hadarean + ** Minor contributors (to current version): Clark Barrett, 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/theory/bv/type_enumerator.h b/src/theory/bv/type_enumerator.h index b68d199ec..01741737f 100644 --- a/src/theory/bv/type_enumerator.h +++ b/src/theory/bv/type_enumerator.h @@ -1,7 +1,7 @@ /********************* */ /*! \file type_enumerator.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/theory/datatypes/datatypes_rewriter.h b/src/theory/datatypes/datatypes_rewriter.h index c0bcf2560..bc6d1f839 100644 --- a/src/theory/datatypes/datatypes_rewriter.h +++ b/src/theory/datatypes/datatypes_rewriter.h @@ -1,8 +1,8 @@ /********************* */ /*! \file datatypes_rewriter.h ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> - ** Major contributors: Andrew Reynolds <andrew.j.reynolds@gmail.com> + ** Original author: Morgan Deters + ** Major contributors: Andrew Reynolds ** 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/theory/datatypes/theory_datatypes.cpp b/src/theory/datatypes/theory_datatypes.cpp index 6be8b5ce8..7f96232d6 100644 --- a/src/theory/datatypes/theory_datatypes.cpp +++ b/src/theory/datatypes/theory_datatypes.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file theory_datatypes.cpp ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> - ** Major contributors: Andrew Reynolds <andrew.j.reynolds@gmail.com> - ** Minor contributors (to current version): Dejan Jovanović <dejan.jovanovic@gmail.com> + ** Original author: Morgan Deters + ** Major contributors: Andrew Reynolds + ** Minor contributors (to current version): 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/theory/datatypes/theory_datatypes.h b/src/theory/datatypes/theory_datatypes.h index 236bc0327..e38c522c5 100644 --- a/src/theory/datatypes/theory_datatypes.h +++ b/src/theory/datatypes/theory_datatypes.h @@ -1,9 +1,9 @@ /********************* */ /*! \file theory_datatypes.h ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> - ** Major contributors: Andrew Reynolds <andrew.j.reynolds@gmail.com> - ** Minor contributors (to current version): François Bobot <francois@bobot.eu>, Dejan Jovanović <dejan.jovanovic@gmail.com> + ** Original author: Morgan Deters + ** Major contributors: Andrew Reynolds + ** Minor contributors (to current version): Francois Bobot, 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/theory/datatypes/theory_datatypes_type_rules.h b/src/theory/datatypes/theory_datatypes_type_rules.h index bed697e5d..d3efc636f 100644 --- a/src/theory/datatypes/theory_datatypes_type_rules.h +++ b/src/theory/datatypes/theory_datatypes_type_rules.h @@ -1,9 +1,9 @@ /********************* */ /*! \file theory_datatypes_type_rules.h ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> - ** Major contributors: Andrew Reynolds <andrew.j.reynolds@gmail.com> - ** Minor contributors (to current version): Tim King <taking@cs.nyu.edu> + ** Original author: Morgan Deters + ** Major contributors: Andrew Reynolds + ** Minor contributors (to current version): Tim King ** 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/theory/datatypes/type_enumerator.h b/src/theory/datatypes/type_enumerator.h index bc4f7736a..778304f32 100644 --- a/src/theory/datatypes/type_enumerator.h +++ b/src/theory/datatypes/type_enumerator.h @@ -1,9 +1,9 @@ /********************* */ /*! \file type_enumerator.h ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Morgan Deters ** Major contributors: none - ** Minor contributors (to current version): Dejan Jovanović <dejan@cs.nyu.edu> + ** Minor contributors (to current version): 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/theory/example/ecdata.cpp b/src/theory/example/ecdata.cpp index d6c87b3a0..4ed0bdb45 100644 --- a/src/theory/example/ecdata.cpp +++ b/src/theory/example/ecdata.cpp @@ -1,7 +1,7 @@ /********************* */ /*! \file ecdata.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/theory/example/ecdata.h b/src/theory/example/ecdata.h index 07f4e551b..fd557a1fa 100644 --- a/src/theory/example/ecdata.h +++ b/src/theory/example/ecdata.h @@ -1,7 +1,7 @@ /********************* */ /*! \file ecdata.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/theory/example/theory_uf_tim.cpp b/src/theory/example/theory_uf_tim.cpp index b27bb165f..03748d567 100644 --- a/src/theory/example/theory_uf_tim.cpp +++ b/src/theory/example/theory_uf_tim.cpp @@ -1,7 +1,7 @@ /********************* */ /*! \file theory_uf_tim.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/theory/example/theory_uf_tim.h b/src/theory/example/theory_uf_tim.h index 8a2bb4766..64639bbfa 100644 --- a/src/theory/example/theory_uf_tim.h +++ b/src/theory/example/theory_uf_tim.h @@ -1,7 +1,7 @@ /********************* */ /*! \file theory_uf_tim.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/theory/interrupted.h b/src/theory/interrupted.h index 39edd8461..86fbe3036 100644 --- a/src/theory/interrupted.h +++ b/src/theory/interrupted.h @@ -1,7 +1,7 @@ /********************* */ /*! \file interrupted.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/theory/ite_simplifier.cpp b/src/theory/ite_simplifier.cpp index e799f27ef..ec9eb27d4 100644 --- a/src/theory/ite_simplifier.cpp +++ b/src/theory/ite_simplifier.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file ite_simplifier.cpp ** \verbatim - ** Original author: Clark Barrett <barrett@cs.nyu.edu> + ** Original author: Clark Barrett ** 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/theory/ite_simplifier.h b/src/theory/ite_simplifier.h index 6f787b3ff..0f648f91d 100644 --- a/src/theory/ite_simplifier.h +++ b/src/theory/ite_simplifier.h @@ -1,9 +1,9 @@ /********************* */ /*! \file ite_simplifier.h ** \verbatim - ** Original author: Clark Barrett <barrett@cs.nyu.edu> + ** Original author: Clark Barrett ** 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/theory/logic_info.cpp b/src/theory/logic_info.cpp index 16e8aea6c..dc9de8662 100644 --- a/src/theory/logic_info.cpp +++ b/src/theory/logic_info.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file logic_info.cpp ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Morgan Deters ** Major contributors: none - ** Minor contributors (to current version): Dejan Jovanović <dejan.jovanovic@gmail.com> + ** Minor contributors (to current version): 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/theory/logic_info.h b/src/theory/logic_info.h index 12e23fd53..c7b5c58f9 100644 --- a/src/theory/logic_info.h +++ b/src/theory/logic_info.h @@ -1,9 +1,9 @@ /********************* */ /*! \file logic_info.h ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Morgan Deters ** Major contributors: none - ** Minor contributors (to current version): Dejan Jovanović <dejan.jovanovic@gmail.com> + ** Minor contributors (to current version): 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/theory/model.cpp b/src/theory/model.cpp index 26cd11eac..1c511be30 100644 --- a/src/theory/model.cpp +++ b/src/theory/model.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file model.cpp ** \verbatim - ** Original author: Andrew Reynolds <andrew.j.reynolds@gmail.com> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu>, Clark Barrett <barrett@cs.nyu.edu> - ** Minor contributors (to current version): Tim King <taking@cs.nyu.edu> + ** Original author: Andrew Reynolds + ** Major contributors: Morgan Deters, Clark Barrett + ** Minor contributors (to current version): Tim King ** 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/theory/model.h b/src/theory/model.h index 15bf42895..03a641df4 100644 --- a/src/theory/model.h +++ b/src/theory/model.h @@ -1,9 +1,9 @@ /********************* */ /*! \file model.h ** \verbatim - ** Original author: Andrew Reynolds <andrew.j.reynolds@gmail.com> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu>, Clark Barrett <barrett@cs.nyu.edu> - ** Minor contributors (to current version): Tim King <taking@cs.nyu.edu> + ** Original author: Andrew Reynolds + ** Major contributors: Morgan Deters, Clark Barrett + ** Minor contributors (to current version): Tim King ** 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/theory/options_handlers.h b/src/theory/options_handlers.h index 2b6a66366..268fd46fd 100644 --- a/src/theory/options_handlers.h +++ b/src/theory/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/theory/output_channel.h b/src/theory/output_channel.h index 0b5ee58e2..af3065404 100644 --- a/src/theory/output_channel.h +++ b/src/theory/output_channel.h @@ -1,9 +1,9 @@ /********************* */ /*! \file output_channel.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>, Dejan Jovanović <dejan.jovanovic@gmail.com>, Tim King <taking@cs.nyu.edu> + ** Minor contributors (to current version): Andrew Reynolds, Dejan Jovanovic, Tim King ** 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/theory/quantifiers/candidate_generator.cpp b/src/theory/quantifiers/candidate_generator.cpp index 58c4d2557..0c423de19 100644 --- a/src/theory/quantifiers/candidate_generator.cpp +++ b/src/theory/quantifiers/candidate_generator.cpp @@ -1,7 +1,7 @@ /********************* */ /*! \file candidate_generator.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/theory/quantifiers/candidate_generator.h b/src/theory/quantifiers/candidate_generator.h index e185b67d5..81b98ce0a 100644 --- a/src/theory/quantifiers/candidate_generator.h +++ b/src/theory/quantifiers/candidate_generator.h @@ -1,7 +1,7 @@ /********************* */ /*! \file candidate_generator.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/theory/quantifiers/first_order_model.cpp b/src/theory/quantifiers/first_order_model.cpp index aa2e342b7..bba9c0163 100644 --- a/src/theory/quantifiers/first_order_model.cpp +++ b/src/theory/quantifiers/first_order_model.cpp @@ -1,8 +1,8 @@ /********************* */ /*! \file first_order_model.cpp ** \verbatim - ** Original author: Andrew Reynolds <andrew.j.reynolds@gmail.com> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Andrew Reynolds + ** 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/theory/quantifiers/first_order_model.h b/src/theory/quantifiers/first_order_model.h index 0ccde0746..76f21e19c 100644 --- a/src/theory/quantifiers/first_order_model.h +++ b/src/theory/quantifiers/first_order_model.h @@ -1,8 +1,8 @@ /********************* */ /*! \file first_order_model.h ** \verbatim - ** Original author: Andrew Reynolds <andrew.j.reynolds@gmail.com> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Andrew Reynolds + ** 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/theory/quantifiers/inst_gen.cpp b/src/theory/quantifiers/inst_gen.cpp index dea371e9c..e495b39c0 100644 --- a/src/theory/quantifiers/inst_gen.cpp +++ b/src/theory/quantifiers/inst_gen.cpp @@ -1,8 +1,8 @@ /********************* */ /*! \file inst_gen.cpp ** \verbatim - ** Original author: Andrew Reynolds <andrew.j.reynolds@gmail.com> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Andrew Reynolds + ** 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/theory/quantifiers/inst_gen.h b/src/theory/quantifiers/inst_gen.h index 930133954..55afed889 100644 --- a/src/theory/quantifiers/inst_gen.h +++ b/src/theory/quantifiers/inst_gen.h @@ -1,8 +1,8 @@ /********************* */ /*! \file inst_gen.h ** \verbatim - ** Original author: Andrew Reynolds <andrew.j.reynolds@gmail.com> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Andrew Reynolds + ** 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/theory/quantifiers/inst_match.cpp b/src/theory/quantifiers/inst_match.cpp index 64aa212c1..f6a0dad11 100644 --- a/src/theory/quantifiers/inst_match.cpp +++ b/src/theory/quantifiers/inst_match.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file inst_match.cpp ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> - ** Major contributors: Andrew Reynolds <andrew.j.reynolds@gmail.com> - ** Minor contributors (to current version): Clark Barrett <barrett@cs.nyu.edu>, François Bobot <francois@bobot.eu> + ** Original author: Morgan Deters + ** Major contributors: Andrew Reynolds + ** Minor contributors (to current version): Clark Barrett, Francois Bobot ** 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/theory/quantifiers/inst_match.h b/src/theory/quantifiers/inst_match.h index 3a3da248c..127f83c60 100644 --- a/src/theory/quantifiers/inst_match.h +++ b/src/theory/quantifiers/inst_match.h @@ -1,8 +1,8 @@ /********************* */ /*! \file inst_match.h ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> - ** Major contributors: François Bobot <francois@bobot.eu>, Andrew Reynolds <andrew.j.reynolds@gmail.com> + ** Original author: Morgan Deters + ** Major contributors: Francois Bobot, Andrew Reynolds ** 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/theory/quantifiers/inst_match_generator.cpp b/src/theory/quantifiers/inst_match_generator.cpp index dd8588b52..de7f2f373 100644 --- a/src/theory/quantifiers/inst_match_generator.cpp +++ b/src/theory/quantifiers/inst_match_generator.cpp @@ -1,8 +1,8 @@ /********************* */ /*! \file inst_match_generator.cpp ** \verbatim - ** Original author: Andrew Reynolds <andrew.j.reynolds@gmail.com> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Andrew Reynolds + ** 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/theory/quantifiers/inst_match_generator.h b/src/theory/quantifiers/inst_match_generator.h index b201fa60f..4c954fa81 100644 --- a/src/theory/quantifiers/inst_match_generator.h +++ b/src/theory/quantifiers/inst_match_generator.h @@ -1,8 +1,8 @@ /********************* */ /*! \file inst_match_generator.h ** \verbatim - ** Original author: Andrew Reynolds <andrew.j.reynolds@gmail.com> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Andrew Reynolds + ** 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/theory/quantifiers/inst_strategy_cbqi.cpp b/src/theory/quantifiers/inst_strategy_cbqi.cpp index b12fed619..20eb7373b 100644 --- a/src/theory/quantifiers/inst_strategy_cbqi.cpp +++ b/src/theory/quantifiers/inst_strategy_cbqi.cpp @@ -1,8 +1,8 @@ /********************* */ /*! \file inst_strategy_cbqi.cpp ** \verbatim - ** Original author: Andrew Reynolds <andrew.j.reynolds@gmail.com> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Andrew Reynolds + ** 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/theory/quantifiers/inst_strategy_cbqi.h b/src/theory/quantifiers/inst_strategy_cbqi.h index de548ab14..5528d70ea 100644 --- a/src/theory/quantifiers/inst_strategy_cbqi.h +++ b/src/theory/quantifiers/inst_strategy_cbqi.h @@ -1,8 +1,8 @@ /********************* */ /*! \file inst_strategy_cbqi.h ** \verbatim - ** Original author: Andrew Reynolds <andrew.j.reynolds@gmail.com> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Andrew Reynolds + ** 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/theory/quantifiers/inst_strategy_e_matching.cpp b/src/theory/quantifiers/inst_strategy_e_matching.cpp index 0915f59a5..0e1266e0d 100644 --- a/src/theory/quantifiers/inst_strategy_e_matching.cpp +++ b/src/theory/quantifiers/inst_strategy_e_matching.cpp @@ -1,8 +1,8 @@ /********************* */ /*! \file inst_strategy_e_matching.cpp ** \verbatim - ** Original author: Andrew Reynolds <andrew.j.reynolds@gmail.com> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Andrew Reynolds + ** 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/theory/quantifiers/inst_strategy_e_matching.h b/src/theory/quantifiers/inst_strategy_e_matching.h index 13d443c6a..c73186dbb 100644 --- a/src/theory/quantifiers/inst_strategy_e_matching.h +++ b/src/theory/quantifiers/inst_strategy_e_matching.h @@ -1,8 +1,8 @@ /********************* */ /*! \file inst_strategy_e_matching.h ** \verbatim - ** Original author: Andrew Reynolds <andrew.j.reynolds@gmail.com> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Andrew Reynolds + ** 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/theory/quantifiers/instantiation_engine.cpp b/src/theory/quantifiers/instantiation_engine.cpp index e1fb29440..77df69456 100644 --- a/src/theory/quantifiers/instantiation_engine.cpp +++ b/src/theory/quantifiers/instantiation_engine.cpp @@ -1,8 +1,8 @@ /********************* */ /*! \file instantiation_engine.cpp ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> - ** Major contributors: Andrew Reynolds <andrew.j.reynolds@gmail.com> + ** Original author: Morgan Deters + ** Major contributors: Andrew Reynolds ** 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/theory/quantifiers/instantiation_engine.h b/src/theory/quantifiers/instantiation_engine.h index eac522aa9..5f7e26297 100644 --- a/src/theory/quantifiers/instantiation_engine.h +++ b/src/theory/quantifiers/instantiation_engine.h @@ -1,8 +1,8 @@ /********************* */ /*! \file instantiation_engine.h ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> - ** Major contributors: Andrew Reynolds <andrew.j.reynolds@gmail.com> + ** Original author: Morgan Deters + ** Major contributors: Andrew Reynolds ** 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/theory/quantifiers/macros.cpp b/src/theory/quantifiers/macros.cpp index bf67bdd25..8e1083b7b 100644 --- a/src/theory/quantifiers/macros.cpp +++ b/src/theory/quantifiers/macros.cpp @@ -1,8 +1,8 @@ /********************* */ /*! \file macros.cpp ** \verbatim - ** Original author: Andrew Reynolds <andrew.j.reynolds@gmail.com> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Andrew Reynolds + ** 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/theory/quantifiers/macros.h b/src/theory/quantifiers/macros.h index 140f02966..ad5cd2e55 100644 --- a/src/theory/quantifiers/macros.h +++ b/src/theory/quantifiers/macros.h @@ -1,8 +1,8 @@ /********************* */ /*! \file macros.h ** \verbatim - ** Original author: Andrew Reynolds <andrew.j.reynolds@gmail.com> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Andrew Reynolds + ** 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/theory/quantifiers/model_builder.cpp b/src/theory/quantifiers/model_builder.cpp index 310cd4eed..0b74cfc5e 100644 --- a/src/theory/quantifiers/model_builder.cpp +++ b/src/theory/quantifiers/model_builder.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file model_builder.cpp ** \verbatim - ** Original author: Andrew Reynolds <andrew.j.reynolds@gmail.com> + ** Original author: Andrew Reynolds ** Major contributors: none - ** Minor contributors (to current version): Kshitij Bansal <kshitij@cs.nyu.edu>, Morgan Deters <mdeters@cs.nyu.edu> + ** Minor contributors (to current version): Kshitij Bansal, 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/theory/quantifiers/model_builder.h b/src/theory/quantifiers/model_builder.h index 4df3e57b0..31448acee 100644 --- a/src/theory/quantifiers/model_builder.h +++ b/src/theory/quantifiers/model_builder.h @@ -1,8 +1,8 @@ /********************* */ /*! \file model_builder.h ** \verbatim - ** Original author: Andrew Reynolds <andrew.j.reynolds@gmail.com> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Andrew Reynolds + ** 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/theory/quantifiers/model_engine.cpp b/src/theory/quantifiers/model_engine.cpp index 8af0ce501..a69b278c0 100644 --- a/src/theory/quantifiers/model_engine.cpp +++ b/src/theory/quantifiers/model_engine.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file model_engine.cpp ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> - ** Major contributors: Andrew Reynolds <andrew.j.reynolds@gmail.com> - ** Minor contributors (to current version): François Bobot <francois@bobot.eu> + ** Original author: Morgan Deters + ** Major contributors: Andrew Reynolds + ** Minor contributors (to current version): Francois Bobot ** 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/theory/quantifiers/model_engine.h b/src/theory/quantifiers/model_engine.h index c0598dc37..386864164 100644 --- a/src/theory/quantifiers/model_engine.h +++ b/src/theory/quantifiers/model_engine.h @@ -1,8 +1,8 @@ /********************* */ /*! \file model_engine.h ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> - ** Major contributors: Andrew Reynolds <andrew.j.reynolds@gmail.com> + ** Original author: Morgan Deters + ** Major contributors: Andrew Reynolds ** 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/theory/quantifiers/modes.cpp b/src/theory/quantifiers/modes.cpp index 6b8ea2061..7da3b150f 100644 --- a/src/theory/quantifiers/modes.cpp +++ b/src/theory/quantifiers/modes.cpp @@ -1,8 +1,8 @@ /********************* */ /*! \file modes.cpp ** \verbatim - ** Original author: Andrew Reynolds <andrew.j.reynolds@gmail.com> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Andrew Reynolds + ** 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/theory/quantifiers/modes.h b/src/theory/quantifiers/modes.h index 0460cbb41..edf9c78fe 100644 --- a/src/theory/quantifiers/modes.h +++ b/src/theory/quantifiers/modes.h @@ -1,8 +1,8 @@ /********************* */ /*! \file modes.h ** \verbatim - ** Original author: Andrew Reynolds <andrew.j.reynolds@gmail.com> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Andrew Reynolds + ** 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/theory/quantifiers/options_handlers.h b/src/theory/quantifiers/options_handlers.h index ba5f31d99..410578af0 100644 --- a/src/theory/quantifiers/options_handlers.h +++ b/src/theory/quantifiers/options_handlers.h @@ -1,8 +1,8 @@ /********************* */ /*! \file options_handlers.h ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> - ** Major contributors: Andrew Reynolds <andrew.j.reynolds@gmail.com> + ** Original author: Morgan Deters + ** Major contributors: Andrew Reynolds ** 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/theory/quantifiers/quant_util.cpp b/src/theory/quantifiers/quant_util.cpp index 9e4a2a14a..36db56d0d 100644 --- a/src/theory/quantifiers/quant_util.cpp +++ b/src/theory/quantifiers/quant_util.cpp @@ -1,8 +1,8 @@ /********************* */ /*! \file quant_util.cpp ** \verbatim - ** Original author: Andrew Reynolds <andrew.j.reynolds@gmail.com> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Andrew Reynolds + ** 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/theory/quantifiers/quant_util.h b/src/theory/quantifiers/quant_util.h index 187587227..6a5726cc7 100644 --- a/src/theory/quantifiers/quant_util.h +++ b/src/theory/quantifiers/quant_util.h @@ -1,8 +1,8 @@ /********************* */ /*! \file quant_util.h ** \verbatim - ** Original author: Andrew Reynolds <andrew.j.reynolds@gmail.com> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Andrew Reynolds + ** 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/theory/quantifiers/quantifiers_attributes.cpp b/src/theory/quantifiers/quantifiers_attributes.cpp index b00fe45f4..5bdce5fac 100644 --- a/src/theory/quantifiers/quantifiers_attributes.cpp +++ b/src/theory/quantifiers/quantifiers_attributes.cpp @@ -1,8 +1,8 @@ /********************* */ /*! \file quantifiers_attributes.cpp ** \verbatim - ** Original author: Andrew Reynolds <andrew.j.reynolds@gmail.com> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Andrew Reynolds + ** 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/theory/quantifiers/quantifiers_attributes.h b/src/theory/quantifiers/quantifiers_attributes.h index 8e8ebe97a..878d3ac50 100644 --- a/src/theory/quantifiers/quantifiers_attributes.h +++ b/src/theory/quantifiers/quantifiers_attributes.h @@ -1,8 +1,8 @@ /********************* */ /*! \file quantifiers_attributes.h ** \verbatim - ** Original author: Andrew Reynolds <andrew.j.reynolds@gmail.com> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Andrew Reynolds + ** 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/theory/quantifiers/quantifiers_rewriter.cpp b/src/theory/quantifiers/quantifiers_rewriter.cpp index 94a178f83..c6379860e 100644 --- a/src/theory/quantifiers/quantifiers_rewriter.cpp +++ b/src/theory/quantifiers/quantifiers_rewriter.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file quantifiers_rewriter.cpp ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> - ** Major contributors: Andrew Reynolds <andrew.j.reynolds@gmail.com> - ** Minor contributors (to current version): Tim King <taking@cs.nyu.edu> + ** Original author: Morgan Deters + ** Major contributors: Andrew Reynolds + ** Minor contributors (to current version): Tim King ** 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/theory/quantifiers/quantifiers_rewriter.h b/src/theory/quantifiers/quantifiers_rewriter.h index f7250ca42..712967bd2 100644 --- a/src/theory/quantifiers/quantifiers_rewriter.h +++ b/src/theory/quantifiers/quantifiers_rewriter.h @@ -1,8 +1,8 @@ /********************* */ /*! \file quantifiers_rewriter.h ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> - ** Major contributors: Andrew Reynolds <andrew.j.reynolds@gmail.com> + ** Original author: Morgan Deters + ** Major contributors: Andrew Reynolds ** 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/theory/quantifiers/relevant_domain.cpp b/src/theory/quantifiers/relevant_domain.cpp index a8245652e..2b011552c 100644 --- a/src/theory/quantifiers/relevant_domain.cpp +++ b/src/theory/quantifiers/relevant_domain.cpp @@ -1,8 +1,8 @@ /********************* */ /*! \file relevant_domain.cpp ** \verbatim - ** Original author: Andrew Reynolds <andrew.j.reynolds@gmail.com> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Andrew Reynolds + ** 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/theory/quantifiers/relevant_domain.h b/src/theory/quantifiers/relevant_domain.h index 7e30e9d92..6fc035e8a 100644 --- a/src/theory/quantifiers/relevant_domain.h +++ b/src/theory/quantifiers/relevant_domain.h @@ -1,8 +1,8 @@ /********************* */ /*! \file relevant_domain.h ** \verbatim - ** Original author: Andrew Reynolds <andrew.j.reynolds@gmail.com> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Andrew Reynolds + ** 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/theory/quantifiers/term_database.cpp b/src/theory/quantifiers/term_database.cpp index d638321c6..3153a3c64 100644 --- a/src/theory/quantifiers/term_database.cpp +++ b/src/theory/quantifiers/term_database.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file term_database.cpp ** \verbatim - ** Original author: Andrew Reynolds <andrew.j.reynolds@gmail.com> - ** Major contributors: François Bobot <francois@bobot.eu> - ** Minor contributors (to current version): Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Andrew Reynolds + ** Major contributors: Francois Bobot + ** 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/theory/quantifiers/term_database.h b/src/theory/quantifiers/term_database.h index c2bdf3cf8..231d0ee9e 100644 --- a/src/theory/quantifiers/term_database.h +++ b/src/theory/quantifiers/term_database.h @@ -1,8 +1,8 @@ /********************* */ /*! \file term_database.h ** \verbatim - ** Original author: Andrew Reynolds <andrew.j.reynolds@gmail.com> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Andrew Reynolds + ** 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/theory/quantifiers/theory_quantifiers.cpp b/src/theory/quantifiers/theory_quantifiers.cpp index 523186a4d..9843cd09e 100644 --- a/src/theory/quantifiers/theory_quantifiers.cpp +++ b/src/theory/quantifiers/theory_quantifiers.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file theory_quantifiers.cpp ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Morgan Deters ** Major contributors: none - ** Minor contributors (to current version): Dejan Jovanović <dejan.jovanovic@gmail.com>, Andrew Reynolds <andrew.j.reynolds@gmail.com> + ** Minor contributors (to current version): 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/theory/quantifiers/theory_quantifiers.h b/src/theory/quantifiers/theory_quantifiers.h index 40609c445..fb599e2a0 100644 --- a/src/theory/quantifiers/theory_quantifiers.h +++ b/src/theory/quantifiers/theory_quantifiers.h @@ -1,9 +1,9 @@ /********************* */ /*! \file theory_quantifiers.h ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Morgan Deters ** Major contributors: none - ** Minor contributors (to current version): François Bobot <francois@bobot.eu>, Dejan Jovanović <dejan.jovanovic@gmail.com>, Andrew Reynolds <andrew.j.reynolds@gmail.com> + ** Minor contributors (to current version): Francois Bobot, 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/theory/quantifiers/theory_quantifiers_type_rules.h b/src/theory/quantifiers/theory_quantifiers_type_rules.h index d0741bd63..b13d8601e 100644 --- a/src/theory/quantifiers/theory_quantifiers_type_rules.h +++ b/src/theory/quantifiers/theory_quantifiers_type_rules.h @@ -1,7 +1,7 @@ /********************* */ /*! \file theory_quantifiers_type_rules.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/theory/quantifiers/trigger.cpp b/src/theory/quantifiers/trigger.cpp index 630812e12..cab94fb5c 100644 --- a/src/theory/quantifiers/trigger.cpp +++ b/src/theory/quantifiers/trigger.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file trigger.cpp ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> - ** Major contributors: Andrew Reynolds <andrew.j.reynolds@gmail.com> - ** Minor contributors (to current version): François Bobot <francois@bobot.eu> + ** Original author: Morgan Deters + ** Major contributors: Andrew Reynolds + ** Minor contributors (to current version): Francois Bobot ** 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/theory/quantifiers/trigger.h b/src/theory/quantifiers/trigger.h index 1c82f47e9..ca9124751 100644 --- a/src/theory/quantifiers/trigger.h +++ b/src/theory/quantifiers/trigger.h @@ -1,9 +1,9 @@ /********************* */ /*! \file trigger.h ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> - ** Major contributors: Andrew Reynolds <andrew.j.reynolds@gmail.com> - ** Minor contributors (to current version): François Bobot <francois@bobot.eu> + ** Original author: Morgan Deters + ** Major contributors: Andrew Reynolds + ** Minor contributors (to current version): Francois Bobot ** 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/theory/quantifiers_engine.cpp b/src/theory/quantifiers_engine.cpp index 955f9c55f..6ec5ea2a4 100644 --- a/src/theory/quantifiers_engine.cpp +++ b/src/theory/quantifiers_engine.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file quantifiers_engine.cpp ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> - ** Major contributors: Andrew Reynolds <andrew.j.reynolds@gmail.com> - ** Minor contributors (to current version): François Bobot <francois@bobot.eu> + ** Original author: Morgan Deters + ** Major contributors: Andrew Reynolds + ** Minor contributors (to current version): Francois Bobot ** 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/theory/quantifiers_engine.h b/src/theory/quantifiers_engine.h index 9699dc1f9..bfa19bb98 100644 --- a/src/theory/quantifiers_engine.h +++ b/src/theory/quantifiers_engine.h @@ -1,9 +1,9 @@ /********************* */ /*! \file quantifiers_engine.h ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> - ** Major contributors: Andrew Reynolds <andrew.j.reynolds@gmail.com> - ** Minor contributors (to current version): François Bobot <francois@bobot.eu> + ** Original author: Morgan Deters + ** Major contributors: Andrew Reynolds + ** Minor contributors (to current version): Francois Bobot ** 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/theory/rep_set.cpp b/src/theory/rep_set.cpp index 2df0c3f61..f6da32bbf 100644 --- a/src/theory/rep_set.cpp +++ b/src/theory/rep_set.cpp @@ -1,8 +1,8 @@ /********************* */ /*! \file rep_set.cpp ** \verbatim - ** Original author: Andrew Reynolds <andrew.j.reynolds@gmail.com> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Andrew Reynolds + ** 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/theory/rep_set.h b/src/theory/rep_set.h index 019f69ec2..24fa7473e 100644 --- a/src/theory/rep_set.h +++ b/src/theory/rep_set.h @@ -1,8 +1,8 @@ /********************* */ /*! \file rep_set.h ** \verbatim - ** Original author: Andrew Reynolds <andrew.j.reynolds@gmail.com> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Andrew Reynolds + ** 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/theory/rewriter.cpp b/src/theory/rewriter.cpp index def41975b..979d5d88d 100644 --- a/src/theory/rewriter.cpp +++ b/src/theory/rewriter.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file rewriter.cpp ** \verbatim - ** Original author: Dejan Jovanović <dejan.jovanovic@gmail.com> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> - ** Minor contributors (to current version): Clark Barrett <barrett@cs.nyu.edu> + ** Original author: Dejan Jovanovic + ** Major contributors: Morgan Deters + ** Minor contributors (to current version): Clark Barrett ** 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/theory/rewriter.h b/src/theory/rewriter.h index 2c1ea4c5a..4245ad6f9 100644 --- a/src/theory/rewriter.h +++ b/src/theory/rewriter.h @@ -1,8 +1,8 @@ /********************* */ /*! \file rewriter.h ** \verbatim - ** Original author: Dejan Jovanović <dejan.jovanovic@gmail.com> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Dejan Jovanovic + ** 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/theory/rewriter_attributes.h b/src/theory/rewriter_attributes.h index 73bde7c12..45e83aa63 100644 --- a/src/theory/rewriter_attributes.h +++ b/src/theory/rewriter_attributes.h @@ -1,8 +1,8 @@ /********************* */ /*! \file rewriter_attributes.h ** \verbatim - ** Original author: Dejan Jovanović <dejan.jovanovic@gmail.com> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Dejan Jovanovic + ** 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/theory/rewriter_tables_template.h b/src/theory/rewriter_tables_template.h index 8387d3975..408bdec1a 100644 --- a/src/theory/rewriter_tables_template.h +++ b/src/theory/rewriter_tables_template.h @@ -1,8 +1,8 @@ /********************* */ /*! \file rewriter_tables_template.h ** \verbatim - ** Original author: Dejan Jovanović <dejan.jovanovic@gmail.com> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Dejan Jovanovic + ** 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/theory/rewriterules/efficient_e_matching.cpp b/src/theory/rewriterules/efficient_e_matching.cpp index 5ed34d46c..a9e1cfbb5 100644 --- a/src/theory/rewriterules/efficient_e_matching.cpp +++ b/src/theory/rewriterules/efficient_e_matching.cpp @@ -1,8 +1,8 @@ /********************* */ /*! \file efficient_e_matching.cpp ** \verbatim - ** Original author: Andrew Reynolds <andrew.j.reynolds@gmail.com> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Andrew Reynolds + ** 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/theory/rewriterules/efficient_e_matching.h b/src/theory/rewriterules/efficient_e_matching.h index 11c6b783e..b02d465fc 100644 --- a/src/theory/rewriterules/efficient_e_matching.h +++ b/src/theory/rewriterules/efficient_e_matching.h @@ -1,8 +1,8 @@ /********************* */ /*! \file efficient_e_matching.h ** \verbatim - ** Original author: Andrew Reynolds <andrew.j.reynolds@gmail.com> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Andrew Reynolds + ** 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/theory/rewriterules/rr_candidate_generator.cpp b/src/theory/rewriterules/rr_candidate_generator.cpp index 1e072d2ad..3ebb3547c 100644 --- a/src/theory/rewriterules/rr_candidate_generator.cpp +++ b/src/theory/rewriterules/rr_candidate_generator.cpp @@ -1,8 +1,8 @@ /********************* */ /*! \file rr_candidate_generator.cpp ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> - ** Major contributors: Andrew Reynolds <andrew.j.reynolds@gmail.com> + ** Original author: Morgan Deters + ** Major contributors: Andrew Reynolds ** 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/theory/rewriterules/rr_candidate_generator.h b/src/theory/rewriterules/rr_candidate_generator.h index 264c44334..d00c8ab83 100644 --- a/src/theory/rewriterules/rr_candidate_generator.h +++ b/src/theory/rewriterules/rr_candidate_generator.h @@ -1,8 +1,8 @@ /********************* */ /*! \file rr_candidate_generator.h ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> - ** Major contributors: Andrew Reynolds <andrew.j.reynolds@gmail.com>, François Bobot <francois@bobot.eu> + ** Original author: Morgan Deters + ** Major contributors: Andrew Reynolds, Francois Bobot ** 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/theory/rewriterules/rr_inst_match.cpp b/src/theory/rewriterules/rr_inst_match.cpp index fca2780c8..a4c111f86 100644 --- a/src/theory/rewriterules/rr_inst_match.cpp +++ b/src/theory/rewriterules/rr_inst_match.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file rr_inst_match.cpp ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> - ** Major contributors: François Bobot <francois@bobot.eu> - ** Minor contributors (to current version): Andrew Reynolds <andrew.j.reynolds@gmail.com> + ** Original author: Morgan Deters + ** Major contributors: Francois Bobot + ** Minor contributors (to current version): 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/theory/rewriterules/rr_inst_match.h b/src/theory/rewriterules/rr_inst_match.h index 2314615cf..3ec9438fd 100644 --- a/src/theory/rewriterules/rr_inst_match.h +++ b/src/theory/rewriterules/rr_inst_match.h @@ -1,9 +1,9 @@ /********************* */ /*! \file rr_inst_match.h ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> - ** Major contributors: François Bobot <francois@bobot.eu> - ** Minor contributors (to current version): Andrew Reynolds <andrew.j.reynolds@gmail.com> + ** Original author: Morgan Deters + ** Major contributors: Francois Bobot + ** Minor contributors (to current version): 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/theory/rewriterules/rr_inst_match_impl.h b/src/theory/rewriterules/rr_inst_match_impl.h index f885333f6..c0dea3ba2 100644 --- a/src/theory/rewriterules/rr_inst_match_impl.h +++ b/src/theory/rewriterules/rr_inst_match_impl.h @@ -1,9 +1,9 @@ /********************* */ /*! \file rr_inst_match_impl.h ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> - ** Major contributors: François Bobot <francois@bobot.eu> - ** Minor contributors (to current version): Andrew Reynolds <andrew.j.reynolds@gmail.com> + ** Original author: Morgan Deters + ** Major contributors: Francois Bobot + ** Minor contributors (to current version): 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/theory/rewriterules/rr_trigger.cpp b/src/theory/rewriterules/rr_trigger.cpp index 3583772d7..7e35be7ad 100644 --- a/src/theory/rewriterules/rr_trigger.cpp +++ b/src/theory/rewriterules/rr_trigger.cpp @@ -1,8 +1,8 @@ /********************* */ /*! \file rr_trigger.cpp ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> - ** Major contributors: Andrew Reynolds <andrew.j.reynolds@gmail.com>, François Bobot <francois@bobot.eu> + ** Original author: Morgan Deters + ** Major contributors: Andrew Reynolds, Francois Bobot ** 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/theory/rewriterules/rr_trigger.h b/src/theory/rewriterules/rr_trigger.h index 49c8021b1..f1a37d937 100644 --- a/src/theory/rewriterules/rr_trigger.h +++ b/src/theory/rewriterules/rr_trigger.h @@ -1,9 +1,9 @@ /********************* */ /*! \file rr_trigger.h ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> - ** Major contributors: Andrew Reynolds <andrew.j.reynolds@gmail.com>, François Bobot <francois@bobot.eu> - ** Minor contributors (to current version): Tianyi Liang <tianyi-liang@uiowa.edu> + ** Original author: Morgan Deters + ** Major contributors: Andrew Reynolds, Francois Bobot + ** Minor contributors (to current version): Tianyi Liang ** 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/theory/rewriterules/theory_rewriterules.cpp b/src/theory/rewriterules/theory_rewriterules.cpp index 4a93dc01b..0a89e2518 100644 --- a/src/theory/rewriterules/theory_rewriterules.cpp +++ b/src/theory/rewriterules/theory_rewriterules.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file theory_rewriterules.cpp ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> - ** Major contributors: François Bobot <francois@bobot.eu> - ** Minor contributors (to current version): Andrew Reynolds <andrew.j.reynolds@gmail.com> + ** Original author: Morgan Deters + ** Major contributors: Francois Bobot + ** Minor contributors (to current version): 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/theory/rewriterules/theory_rewriterules.h b/src/theory/rewriterules/theory_rewriterules.h index f83e549ce..19cb3e987 100644 --- a/src/theory/rewriterules/theory_rewriterules.h +++ b/src/theory/rewriterules/theory_rewriterules.h @@ -1,9 +1,9 @@ /********************* */ /*! \file theory_rewriterules.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>, François Bobot <francois@bobot.eu> + ** Minor contributors (to current version): Andrew Reynolds, Francois Bobot ** 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/theory/rewriterules/theory_rewriterules_params.h b/src/theory/rewriterules/theory_rewriterules_params.h index 3c3904f98..e20556ef3 100644 --- a/src/theory/rewriterules/theory_rewriterules_params.h +++ b/src/theory/rewriterules/theory_rewriterules_params.h @@ -1,9 +1,9 @@ /********************* */ /*! \file theory_rewriterules_params.h ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Morgan Deters ** Major contributors: none - ** Minor contributors (to current version): François Bobot <francois@bobot.eu> + ** Minor contributors (to current version): Francois Bobot ** 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/theory/rewriterules/theory_rewriterules_preprocess.h b/src/theory/rewriterules/theory_rewriterules_preprocess.h index a826342dd..cc24357c6 100644 --- a/src/theory/rewriterules/theory_rewriterules_preprocess.h +++ b/src/theory/rewriterules/theory_rewriterules_preprocess.h @@ -1,9 +1,9 @@ /********************* */ /*! \file theory_rewriterules_preprocess.h ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Morgan Deters ** Major contributors: none - ** Minor contributors (to current version): Tim King <taking@cs.nyu.edu> + ** Minor contributors (to current version): Tim King ** 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/theory/rewriterules/theory_rewriterules_rewriter.h b/src/theory/rewriterules/theory_rewriterules_rewriter.h index 1eb08095a..2c90f063a 100644 --- a/src/theory/rewriterules/theory_rewriterules_rewriter.h +++ b/src/theory/rewriterules/theory_rewriterules_rewriter.h @@ -1,7 +1,7 @@ /********************* */ /*! \file theory_rewriterules_rewriter.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/theory/rewriterules/theory_rewriterules_rules.cpp b/src/theory/rewriterules/theory_rewriterules_rules.cpp index ed549a5d3..589556802 100644 --- a/src/theory/rewriterules/theory_rewriterules_rules.cpp +++ b/src/theory/rewriterules/theory_rewriterules_rules.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file theory_rewriterules_rules.cpp ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> - ** Major contributors: François Bobot <francois@bobot.eu> - ** Minor contributors (to current version): Andrew Reynolds <andrew.j.reynolds@gmail.com> + ** Original author: Morgan Deters + ** Major contributors: Francois Bobot + ** Minor contributors (to current version): 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/theory/rewriterules/theory_rewriterules_rules.h b/src/theory/rewriterules/theory_rewriterules_rules.h index 0e9360ecf..308194667 100644 --- a/src/theory/rewriterules/theory_rewriterules_rules.h +++ b/src/theory/rewriterules/theory_rewriterules_rules.h @@ -1,7 +1,7 @@ /********************* */ /*! \file theory_rewriterules_rules.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/theory/rewriterules/theory_rewriterules_type_rules.h b/src/theory/rewriterules/theory_rewriterules_type_rules.h index 35ab30b60..256957855 100644 --- a/src/theory/rewriterules/theory_rewriterules_type_rules.h +++ b/src/theory/rewriterules/theory_rewriterules_type_rules.h @@ -1,9 +1,9 @@ /********************* */ /*! \file theory_rewriterules_type_rules.h ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Morgan Deters ** Major contributors: none - ** Minor contributors (to current version): François Bobot <francois@bobot.eu> + ** Minor contributors (to current version): Francois Bobot ** 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/theory/shared_terms_database.cpp b/src/theory/shared_terms_database.cpp index 723aca8c9..58b8cf697 100644 --- a/src/theory/shared_terms_database.cpp +++ b/src/theory/shared_terms_database.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file shared_terms_database.cpp ** \verbatim - ** Original author: Dejan Jovanović <dejan.jovanovic@gmail.com> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> - ** Minor contributors (to current version): Andrew Reynolds <andrew.j.reynolds@gmail.com>, Clark Barrett <barrett@cs.nyu.edu> + ** Original author: Dejan Jovanovic + ** Major contributors: Morgan Deters + ** Minor contributors (to current version): Andrew Reynolds, Clark Barrett ** 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/theory/shared_terms_database.h b/src/theory/shared_terms_database.h index b10941b8f..944df63b2 100644 --- a/src/theory/shared_terms_database.h +++ b/src/theory/shared_terms_database.h @@ -1,9 +1,9 @@ /********************* */ /*! \file shared_terms_database.h ** \verbatim - ** Original author: Dejan Jovanović <dejan.jovanovic@gmail.com> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> - ** Minor contributors (to current version): Tim King <taking@cs.nyu.edu>, Andrew Reynolds <andrew.j.reynolds@gmail.com> + ** Original author: Dejan Jovanovic + ** Major contributors: Morgan Deters + ** Minor contributors (to current version): Tim King, 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/theory/substitutions.cpp b/src/theory/substitutions.cpp index 791abaf53..c12129d01 100644 --- a/src/theory/substitutions.cpp +++ b/src/theory/substitutions.cpp @@ -1,8 +1,8 @@ /********************* */ /*! \file substitutions.cpp ** \verbatim - ** Original author: Dejan Jovanović <dejan.jovanovic@gmail.com> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu>, Clark Barrett <barrett@cs.nyu.edu> + ** Original author: Dejan Jovanovic + ** Major contributors: Morgan Deters, Clark Barrett ** 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/theory/substitutions.h b/src/theory/substitutions.h index 79cfd3964..bde7dfdbc 100644 --- a/src/theory/substitutions.h +++ b/src/theory/substitutions.h @@ -1,8 +1,8 @@ /********************* */ /*! \file substitutions.h ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> - ** Major contributors: Clark Barrett <barrett@cs.nyu.edu>, Dejan Jovanović <dejan.jovanovic@gmail.com> + ** Original author: Morgan Deters + ** Major contributors: Clark Barrett, Dejan Jovanovic ** 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/theory/term_registration_visitor.cpp b/src/theory/term_registration_visitor.cpp index 56c6eb9f4..48d00130c 100644 --- a/src/theory/term_registration_visitor.cpp +++ b/src/theory/term_registration_visitor.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file term_registration_visitor.cpp ** \verbatim - ** Original author: Dejan Jovanović <dejan.jovanovic@gmail.com> - ** Major contributors: Andrew Reynolds <andrew.j.reynolds@gmail.com> - ** Minor contributors (to current version): Tim King <taking@cs.nyu.edu>, Clark Barrett <barrett@cs.nyu.edu>, Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Dejan Jovanovic + ** Major contributors: Andrew Reynolds + ** Minor contributors (to current version): Tim King, Clark Barrett, 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/theory/term_registration_visitor.h b/src/theory/term_registration_visitor.h index d68d69c9b..768508d2c 100644 --- a/src/theory/term_registration_visitor.h +++ b/src/theory/term_registration_visitor.h @@ -1,9 +1,9 @@ /********************* */ /*! \file term_registration_visitor.h ** \verbatim - ** Original author: Dejan Jovanović <dejan.jovanovic@gmail.com> + ** Original author: Dejan Jovanovic ** 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/theory/theory.cpp b/src/theory/theory.cpp index 187287c71..9ed20cc99 100644 --- a/src/theory/theory.cpp +++ b/src/theory/theory.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file theory.cpp ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> - ** Major contributors: Clark Barrett <barrett@cs.nyu.edu>, Dejan Jovanović <dejan.jovanovic@gmail.com> - ** Minor contributors (to current version): Andrew Reynolds <andrew.j.reynolds@gmail.com>, Tim King <taking@cs.nyu.edu> + ** Original author: Morgan Deters + ** Major contributors: Clark Barrett, Dejan Jovanovic + ** Minor contributors (to current version): Andrew Reynolds, Tim King ** 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/theory/theory.h b/src/theory/theory.h index 517efbaca..23fd67b23 100644 --- a/src/theory/theory.h +++ b/src/theory/theory.h @@ -1,9 +1,9 @@ /********************* */ /*! \file theory.h ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> - ** Major contributors: Dejan Jovanović <dejan.jovanovic@gmail.com> - ** Minor contributors (to current version): François Bobot <francois@bobot.eu>, Dejan Jovanović <dejan@cs.nyu.edu>, Tim King <taking@cs.nyu.edu>, Andrew Reynolds <andrew.j.reynolds@gmail.com>, Clark Barrett <barrett@cs.nyu.edu> + ** Original author: Morgan Deters + ** Major contributors: Dejan Jovanovic + ** Minor contributors (to current version): Francois Bobot, Tim King, Andrew Reynolds, Clark Barrett ** 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/theory/theory_engine.cpp b/src/theory/theory_engine.cpp index e03c3f35c..442b1ef1c 100644 --- a/src/theory/theory_engine.cpp +++ b/src/theory/theory_engine.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file theory_engine.cpp ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> - ** Major contributors: Dejan Jovanović <dejan.jovanovic@gmail.com> - ** Minor contributors (to current version): Christopher L. Conway <christopherleeconway@gmail.com>, Kshitij Bansal <kshitij@cs.nyu.edu>, Dejan Jovanović <dejan@cs.nyu.edu>, Tim King <taking@cs.nyu.edu>, Liana Hadarean <lianahady@gmail.com>, Clark Barrett <barrett@cs.nyu.edu>, Andrew Reynolds <andrew.j.reynolds@gmail.com> + ** Original author: Morgan Deters + ** Major contributors: Dejan Jovanovic + ** Minor contributors (to current version): Christopher L. Conway, Kshitij Bansal, Tim King, Liana Hadarean, Clark Barrett, 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/theory/theory_engine.h b/src/theory/theory_engine.h index 8d5236f18..fad6c1839 100644 --- a/src/theory/theory_engine.h +++ b/src/theory/theory_engine.h @@ -1,9 +1,9 @@ /********************* */ /*! \file theory_engine.h ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> - ** Major contributors: Dejan Jovanović <dejan.jovanovic@gmail.com> - ** Minor contributors (to current version): Christopher L. Conway <christopherleeconway@gmail.com>, Dejan Jovanović <dejan@cs.nyu.edu>, François Bobot <francois@bobot.eu>, Kshitij Bansal <kshitij@cs.nyu.edu>, Liana Hadarean <lianahady@gmail.com>, Clark Barrett <barrett@cs.nyu.edu>, Tim King <taking@cs.nyu.edu>, Andrew Reynolds <andrew.j.reynolds@gmail.com> + ** Original author: Morgan Deters + ** Major contributors: Dejan Jovanovic + ** Minor contributors (to current version): Christopher L. Conway, Francois Bobot, Kshitij Bansal, Liana Hadarean, Clark Barrett, Tim King, 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/theory/theory_registrar.h b/src/theory/theory_registrar.h index dd2702eab..d77bf1eb0 100644 --- a/src/theory/theory_registrar.h +++ b/src/theory/theory_registrar.h @@ -1,8 +1,8 @@ /********************* */ /*! \file theory_registrar.h ** \verbatim - ** Original author: Liana Hadarean <lianahady@gmail.com> - ** Major contributors: Tim King <taking@cs.nyu.edu>, Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Liana Hadarean + ** Major contributors: Tim King, 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/theory/theory_test_utils.h b/src/theory/theory_test_utils.h index 6c79a1c3f..237b09bc1 100644 --- a/src/theory/theory_test_utils.h +++ b/src/theory/theory_test_utils.h @@ -1,9 +1,9 @@ /********************* */ /*! \file theory_test_utils.h ** \verbatim - ** Original author: Tim King <taking@cs.nyu.edu> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> - ** Minor contributors (to current version): Andrew Reynolds <andrew.j.reynolds@gmail.com>, Dejan Jovanović <dejan.jovanovic@gmail.com> + ** Original author: Tim King + ** Major contributors: Morgan Deters + ** Minor contributors (to current version): Andrew Reynolds, 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/theory/theory_traits_template.h b/src/theory/theory_traits_template.h index ab141a7c5..d4f961eb7 100644 --- a/src/theory/theory_traits_template.h +++ b/src/theory/theory_traits_template.h @@ -1,8 +1,8 @@ /********************* */ /*! \file theory_traits_template.h ** \verbatim - ** Original author: Dejan Jovanović <dejan.jovanovic@gmail.com> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Dejan Jovanovic + ** 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/theory/theoryof_mode.h b/src/theory/theoryof_mode.h index 728dac657..cd8c68b1a 100644 --- a/src/theory/theoryof_mode.h +++ b/src/theory/theoryof_mode.h @@ -1,8 +1,8 @@ /********************* */ /*! \file theoryof_mode.h ** \verbatim - ** Original author: Dejan Jovanović <dejan.jovanovic@gmail.com> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Dejan Jovanovic + ** 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/theory/type_enumerator.h b/src/theory/type_enumerator.h index be8557d8f..7a4fcdaff 100644 --- a/src/theory/type_enumerator.h +++ b/src/theory/type_enumerator.h @@ -1,7 +1,7 @@ /********************* */ /*! \file type_enumerator.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/theory/type_enumerator_template.cpp b/src/theory/type_enumerator_template.cpp index 712e18237..76591487a 100644 --- a/src/theory/type_enumerator_template.cpp +++ b/src/theory/type_enumerator_template.cpp @@ -1,7 +1,7 @@ /********************* */ /*! \file type_enumerator_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. diff --git a/src/theory/uf/equality_engine.cpp b/src/theory/uf/equality_engine.cpp index 7cc81697a..7f0f79ebc 100644 --- a/src/theory/uf/equality_engine.cpp +++ b/src/theory/uf/equality_engine.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file equality_engine.cpp ** \verbatim - ** Original author: Dejan Jovanović <dejan.jovanovic@gmail.com> + ** Original author: Dejan Jovanovic ** Major contributors: none - ** Minor contributors (to current version): Tim King <taking@cs.nyu.edu>, François Bobot <francois@bobot.eu>, Morgan Deters <mdeters@cs.nyu.edu>, Dejan Jovanović <dejan@cs.nyu.edu> + ** Minor contributors (to current version): Tim King, Francois Bobot, 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/theory/uf/equality_engine.h b/src/theory/uf/equality_engine.h index f7f803435..206fb61c7 100644 --- a/src/theory/uf/equality_engine.h +++ b/src/theory/uf/equality_engine.h @@ -1,9 +1,9 @@ /********************* */ /*! \file equality_engine.h ** \verbatim - ** Original author: Dejan Jovanović <dejan.jovanovic@gmail.com> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> - ** Minor contributors (to current version): Tim King <taking@cs.nyu.edu>, Liana Hadarean <lianahady@gmail.com>, Andrew Reynolds <andrew.j.reynolds@gmail.com>, Dejan Jovanović <dejan@cs.nyu.edu> + ** Original author: Dejan Jovanovic + ** Major contributors: Morgan Deters + ** Minor contributors (to current version): Tim King, Liana Hadarean, 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/theory/uf/equality_engine_types.h b/src/theory/uf/equality_engine_types.h index ed543640b..a36291974 100644 --- a/src/theory/uf/equality_engine_types.h +++ b/src/theory/uf/equality_engine_types.h @@ -1,9 +1,9 @@ /********************* */ /*! \file equality_engine_types.h ** \verbatim - ** Original author: Dejan Jovanović <dejan.jovanovic@gmail.com> + ** Original author: Dejan Jovanovic ** Major contributors: none - ** Minor contributors (to current version): Morgan Deters <mdeters@cs.nyu.edu>, Dejan Jovanović <dejan@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/theory/uf/options_handlers.h b/src/theory/uf/options_handlers.h index 85164a843..029db809d 100644 --- a/src/theory/uf/options_handlers.h +++ b/src/theory/uf/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/theory/uf/symmetry_breaker.cpp b/src/theory/uf/symmetry_breaker.cpp index 032ab59cb..fcb6c3cd5 100644 --- a/src/theory/uf/symmetry_breaker.cpp +++ b/src/theory/uf/symmetry_breaker.cpp @@ -1,7 +1,7 @@ /********************* */ /*! \file symmetry_breaker.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/theory/uf/symmetry_breaker.h b/src/theory/uf/symmetry_breaker.h index 7be208fdf..cf54b62c2 100644 --- a/src/theory/uf/symmetry_breaker.h +++ b/src/theory/uf/symmetry_breaker.h @@ -1,7 +1,7 @@ /********************* */ /*! \file symmetry_breaker.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/theory/uf/theory_uf.cpp b/src/theory/uf/theory_uf.cpp index 1d492003a..69a963360 100644 --- a/src/theory/uf/theory_uf.cpp +++ b/src/theory/uf/theory_uf.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file theory_uf.cpp ** \verbatim - ** Original author: Tim King <taking@cs.nyu.edu> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu>, Dejan Jovanović <dejan.jovanovic@gmail.com> - ** Minor contributors (to current version): Clark Barrett <barrett@cs.nyu.edu>, Andrew Reynolds <andrew.j.reynolds@gmail.com> + ** Original author: Tim King + ** Major contributors: Morgan Deters, Dejan Jovanovic + ** Minor contributors (to current version): Clark Barrett, 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/theory/uf/theory_uf.h b/src/theory/uf/theory_uf.h index f03f3e843..9ca146bde 100644 --- a/src/theory/uf/theory_uf.h +++ b/src/theory/uf/theory_uf.h @@ -1,9 +1,9 @@ /********************* */ /*! \file theory_uf.h ** \verbatim - ** Original author: Tim King <taking@cs.nyu.edu> - ** Major contributors: Dejan Jovanović <dejan.jovanovic@gmail.com>, Morgan Deters <mdeters@cs.nyu.edu> - ** Minor contributors (to current version): Andrew Reynolds <andrew.j.reynolds@gmail.com> + ** Original author: Tim King + ** Major contributors: Dejan Jovanovic, Morgan Deters + ** Minor contributors (to current version): 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/theory/uf/theory_uf_model.cpp b/src/theory/uf/theory_uf_model.cpp index 6e10c09dd..228cfd2c4 100644 --- a/src/theory/uf/theory_uf_model.cpp +++ b/src/theory/uf/theory_uf_model.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file theory_uf_model.cpp ** \verbatim - ** Original author: Andrew Reynolds <andrew.j.reynolds@gmail.com> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> - ** Minor contributors (to current version): Clark Barrett <barrett@cs.nyu.edu> + ** Original author: Andrew Reynolds + ** Major contributors: Morgan Deters + ** Minor contributors (to current version): Clark Barrett ** 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/theory/uf/theory_uf_model.h b/src/theory/uf/theory_uf_model.h index 2644fd517..12c1cf244 100644 --- a/src/theory/uf/theory_uf_model.h +++ b/src/theory/uf/theory_uf_model.h @@ -1,8 +1,8 @@ /********************* */ /*! \file theory_uf_model.h ** \verbatim - ** Original author: Andrew Reynolds <andrew.j.reynolds@gmail.com> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Andrew Reynolds + ** 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/theory/uf/theory_uf_rewriter.h b/src/theory/uf/theory_uf_rewriter.h index c69915f02..94ab47d23 100644 --- a/src/theory/uf/theory_uf_rewriter.h +++ b/src/theory/uf/theory_uf_rewriter.h @@ -1,8 +1,8 @@ /********************* */ /*! \file theory_uf_rewriter.h ** \verbatim - ** Original author: Dejan Jovanović <dejan.jovanovic@gmail.com> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Dejan Jovanovic + ** 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/theory/uf/theory_uf_strong_solver.cpp b/src/theory/uf/theory_uf_strong_solver.cpp index 53403dd60..d64f7df60 100644 --- a/src/theory/uf/theory_uf_strong_solver.cpp +++ b/src/theory/uf/theory_uf_strong_solver.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file theory_uf_strong_solver.cpp ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> - ** Major contributors: Andrew Reynolds <andrew.j.reynolds@gmail.com> - ** Minor contributors (to current version): Clark Barrett <barrett@cs.nyu.edu> + ** Original author: Morgan Deters + ** Major contributors: Andrew Reynolds + ** Minor contributors (to current version): Clark Barrett ** 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/theory/uf/theory_uf_strong_solver.h b/src/theory/uf/theory_uf_strong_solver.h index 6d4144dbb..0cc995723 100644 --- a/src/theory/uf/theory_uf_strong_solver.h +++ b/src/theory/uf/theory_uf_strong_solver.h @@ -1,8 +1,8 @@ /********************* */ /*! \file theory_uf_strong_solver.h ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> - ** Major contributors: Andrew Reynolds <andrew.j.reynolds@gmail.com> + ** Original author: Morgan Deters + ** Major contributors: Andrew Reynolds ** 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/theory/uf/theory_uf_type_rules.h b/src/theory/uf/theory_uf_type_rules.h index c019a6894..b9a8ed12e 100644 --- a/src/theory/uf/theory_uf_type_rules.h +++ b/src/theory/uf/theory_uf_type_rules.h @@ -1,9 +1,9 @@ /********************* */ /*! \file theory_uf_type_rules.h ** \verbatim - ** Original author: Dejan Jovanović <dejan.jovanovic@gmail.com> - ** Major contributors: Christopher L. Conway <christopherleeconway@gmail.com>, Morgan Deters <mdeters@cs.nyu.edu> - ** Minor contributors (to current version): Andrew Reynolds <andrew.j.reynolds@gmail.com>, Tim King <taking@cs.nyu.edu> + ** Original author: Dejan Jovanovic + ** Major contributors: Christopher L. Conway, Morgan Deters + ** Minor contributors (to current version): Andrew Reynolds, Tim King ** 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/theory/unconstrained_simplifier.cpp b/src/theory/unconstrained_simplifier.cpp index 682bbf30c..9b172a561 100644 --- a/src/theory/unconstrained_simplifier.cpp +++ b/src/theory/unconstrained_simplifier.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file unconstrained_simplifier.cpp ** \verbatim - ** Original author: Clark Barrett <barrett@cs.nyu.edu> + ** Original author: Clark Barrett ** 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/theory/unconstrained_simplifier.h b/src/theory/unconstrained_simplifier.h index 66751375a..7d8e85036 100644 --- a/src/theory/unconstrained_simplifier.h +++ b/src/theory/unconstrained_simplifier.h @@ -1,9 +1,9 @@ /********************* */ /*! \file unconstrained_simplifier.h ** \verbatim - ** Original author: Clark Barrett <barrett@cs.nyu.edu> + ** Original author: Clark Barrett ** 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/theory/valuation.cpp b/src/theory/valuation.cpp index fdd798f22..d4aef4fff 100644 --- a/src/theory/valuation.cpp +++ b/src/theory/valuation.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file valuation.cpp ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> - ** Major contributors: Dejan Jovanović <dejan.jovanovic@gmail.com> - ** Minor contributors (to current version): Andrew Reynolds <andrew.j.reynolds@gmail.com>, Clark Barrett <barrett@cs.nyu.edu>, Dejan Jovanović <dejan@cs.nyu.edu>, Tim King <taking@cs.nyu.edu> + ** Original author: Morgan Deters + ** Major contributors: Dejan Jovanovic + ** Minor contributors (to current version): Andrew Reynolds, Clark Barrett, Tim King ** 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/theory/valuation.h b/src/theory/valuation.h index 5f8994493..d175e5e3d 100644 --- a/src/theory/valuation.h +++ b/src/theory/valuation.h @@ -1,9 +1,9 @@ /********************* */ /*! \file valuation.h ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> - ** Major contributors: Dejan Jovanović <dejan.jovanovic@gmail.com> - ** Minor contributors (to current version): Tim King <taking@cs.nyu.edu>, Andrew Reynolds <andrew.j.reynolds@gmail.com>, Clark Barrett <barrett@cs.nyu.edu>, Dejan Jovanović <dejan@cs.nyu.edu> + ** Original author: Morgan Deters + ** Major contributors: Dejan Jovanovic + ** Minor contributors (to current version): Tim King, Andrew Reynolds, Clark Barrett ** 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 |