diff options
Diffstat (limited to 'src/theory/rewriterules')
17 files changed, 38 insertions, 38 deletions
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 |