diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-04-01 23:32:39 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-04-01 23:32:39 -0400 |
commit | 0e6e0f181618aedf6161ed994d9d4e71ffb1b21d (patch) | |
tree | df4464da8be416697eceee1697fd6cc08831c603 /src/theory/bv | |
parent | 2f195e4babef016e9b02faeb80cd79f0177a3f05 (diff) |
update copyrights
Diffstat (limited to 'src/theory/bv')
29 files changed, 135 insertions, 139 deletions
diff --git a/src/theory/bv/bitblast_strategies.cpp b/src/theory/bv/bitblast_strategies.cpp index a952b2929..265523c18 100644 --- a/src/theory/bv/bitblast_strategies.cpp +++ b/src/theory/bv/bitblast_strategies.cpp @@ -1,11 +1,11 @@ /********************* */ /*! \file bitblast_strategies.cpp ** \verbatim - ** Original author: lianah + ** Original author: Liana Hadarean <lianahady@gmail.com> ** Major contributors: none - ** Minor contributors (to current version): barrett, dejan, mdeters - ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 New York University and The University of Iowa + ** Minor contributors (to current version): Clark Barrett <barrett@cs.nyu.edu>, Dejan Jovanović <dejan.jovanovic@gmail.com>, Morgan Deters <mdeters@cs.nyu.edu>, lianah <lianahady@gmail.com>, Tim King <taking@cs.nyu.edu> + ** This file is part of the CVC4 project. + ** Copyright (c) 2009-2013 New York University and The University of Iowa ** See the file COPYING in the top-level source directory for licensing ** information.\endverbatim ** diff --git a/src/theory/bv/bitblast_strategies.h b/src/theory/bv/bitblast_strategies.h index 749a4c21f..3d9ba5936 100644 --- a/src/theory/bv/bitblast_strategies.h +++ b/src/theory/bv/bitblast_strategies.h @@ -1,11 +1,11 @@ /********************* */ /*! \file bitblast_strategies.h ** \verbatim - ** Original author: lianah + ** Original author: Liana Hadarean <lianahady@gmail.com> ** Major contributors: none - ** Minor contributors (to current version): dejan, mdeters - ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 New York University and The University of Iowa + ** Minor contributors (to current version): Dejan Jovanović <dejan.jovanovic@gmail.com>, Morgan Deters <mdeters@cs.nyu.edu> + ** This file is part of the CVC4 project. + ** Copyright (c) 2009-2013 New York University and The University of Iowa ** See the file COPYING in the top-level source directory for licensing ** information.\endverbatim ** diff --git a/src/theory/bv/bitblaster.cpp b/src/theory/bv/bitblaster.cpp index d3a54a3e4..5f99e33db 100644 --- a/src/theory/bv/bitblaster.cpp +++ b/src/theory/bv/bitblaster.cpp @@ -1,11 +1,11 @@ /********************* */ /*! \file bitblaster.cpp ** \verbatim - ** Original author: lianah - ** Major contributors: dejan - ** Minor contributors (to current version): mdeters - ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 New York University and The University of Iowa + ** 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> + ** This file is part of the CVC4 project. + ** Copyright (c) 2009-2013 New York University and The University of Iowa ** See the file COPYING in the top-level source directory for licensing ** information.\endverbatim ** diff --git a/src/theory/bv/bitblaster.h b/src/theory/bv/bitblaster.h index 84a67e884..d4ba482ed 100644 --- a/src/theory/bv/bitblaster.h +++ b/src/theory/bv/bitblaster.h @@ -1,11 +1,11 @@ /********************* */ /*! \file bitblaster.h ** \verbatim - ** Original author: lianah + ** Original author: Liana Hadarean <lianahady@gmail.com> ** Major contributors: none - ** Minor contributors (to current version): mdeters, dejan - ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 New York University and The University of Iowa + ** Minor contributors (to current version): lianah <lianahady@gmail.com>, Morgan Deters <mdeters@cs.nyu.edu>, Dejan Jovanović <dejan.jovanovic@gmail.com> + ** This file is part of the CVC4 project. + ** Copyright (c) 2009-2013 New York University and The University of Iowa ** See the file COPYING in the top-level source directory for licensing ** information.\endverbatim ** diff --git a/src/theory/bv/bv_inequality_graph.cpp b/src/theory/bv/bv_inequality_graph.cpp index ec4b223cf..760a38a16 100644 --- a/src/theory/bv/bv_inequality_graph.cpp +++ b/src/theory/bv/bv_inequality_graph.cpp @@ -1,11 +1,11 @@ /********************* */ /*! \file bv_inequality_graph.cpp ** \verbatim - ** Original author: lianah - ** Major contributors: none - ** Minor contributors (to current version): none - ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 New York University and The University of Iowa + ** Original author: Liana Hadarean <lianahady@gmail.com> + ** Major contributors: lianah <lianahady@gmail.com> + ** Minor contributors (to current version): Morgan Deters <mdeters@cs.nyu.edu> + ** This file is part of the CVC4 project. + ** Copyright (c) 2009-2013 New York University and The University of Iowa ** See the file COPYING in the top-level source directory for licensing ** information.\endverbatim ** diff --git a/src/theory/bv/bv_inequality_graph.h b/src/theory/bv/bv_inequality_graph.h index d402b1561..fcb48ed61 100644 --- a/src/theory/bv/bv_inequality_graph.h +++ b/src/theory/bv/bv_inequality_graph.h @@ -1,11 +1,11 @@ /********************* */ /*! \file bv_inequality_graph.h ** \verbatim - ** Original author: lianah - ** Major contributors: none + ** Original author: lianah <lianahady@gmail.com> + ** Major contributors: Liana Hadarean <lianahady@gmail.com> ** Minor contributors (to current version): none - ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 New York University and The University of Iowa + ** This file is part of the CVC4 project. + ** Copyright (c) 2009-2013 New York University and The University of Iowa ** See the file COPYING in the top-level source directory for licensing ** information.\endverbatim ** diff --git a/src/theory/bv/bv_subtheory.h b/src/theory/bv/bv_subtheory.h index ed90e0ebe..ea0eedabb 100644 --- a/src/theory/bv/bv_subtheory.h +++ b/src/theory/bv/bv_subtheory.h @@ -1,11 +1,11 @@ /********************* */ /*! \file bv_subtheory.h ** \verbatim - ** Original author: lianah - ** Major contributors: dejan - ** Minor contributors (to current version): none - ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 New York University and The University of Iowa + ** 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> + ** This file is part of the CVC4 project. + ** Copyright (c) 2009-2013 New York University and The University of Iowa ** See the file COPYING in the top-level source directory for licensing ** information.\endverbatim ** diff --git a/src/theory/bv/bv_subtheory_bitblast.cpp b/src/theory/bv/bv_subtheory_bitblast.cpp index 30eaaa764..1fbab8514 100644 --- a/src/theory/bv/bv_subtheory_bitblast.cpp +++ b/src/theory/bv/bv_subtheory_bitblast.cpp @@ -1,11 +1,11 @@ /********************* */ /*! \file bv_subtheory_bitblast.cpp ** \verbatim - ** Original author: dejan - ** Major contributors: none - ** Minor contributors (to current version): lianah, mdeters - ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 New York University and The University of Iowa + ** 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> + ** This file is part of the CVC4 project. + ** Copyright (c) 2009-2013 New York University and The University of Iowa ** See the file COPYING in the top-level source directory for licensing ** information.\endverbatim ** diff --git a/src/theory/bv/bv_subtheory_bitblast.h b/src/theory/bv/bv_subtheory_bitblast.h index b6be84df5..d295b0ee7 100644 --- a/src/theory/bv/bv_subtheory_bitblast.h +++ b/src/theory/bv/bv_subtheory_bitblast.h @@ -1,11 +1,11 @@ /********************* */ /*! \file bv_subtheory_bitblast.h ** \verbatim - ** Original author: dejan - ** Major contributors: mdeters - ** Minor contributors (to current version): lianah - ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 New York University and The University of Iowa + ** 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> + ** This file is part of the CVC4 project. + ** Copyright (c) 2009-2013 New York University and The University of Iowa ** See the file COPYING in the top-level source directory for licensing ** information.\endverbatim ** diff --git a/src/theory/bv/bv_subtheory_core.cpp b/src/theory/bv/bv_subtheory_core.cpp index 00777af5c..5853eed50 100644 --- a/src/theory/bv/bv_subtheory_core.cpp +++ b/src/theory/bv/bv_subtheory_core.cpp @@ -1,11 +1,11 @@ /********************* */ -/*! \file bv_subtheory_eq.cpp +/*! \file bv_subtheory_core.cpp ** \verbatim - ** Original author: dejan - ** Major contributors: none - ** Minor contributors (to current version): lianah - ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 New York University and The University of Iowa + ** Original author: Liana Hadarean <lianahady@gmail.com> + ** Major contributors: lianah <lianahady@gmail.com> + ** 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 ** See the file COPYING in the top-level source directory for licensing ** information.\endverbatim ** diff --git a/src/theory/bv/bv_subtheory_core.h b/src/theory/bv/bv_subtheory_core.h index d314b2fbf..a460c91fa 100644 --- a/src/theory/bv/bv_subtheory_core.h +++ b/src/theory/bv/bv_subtheory_core.h @@ -1,11 +1,11 @@ /********************* */ -/*! \file bv_subtheory_eq.h +/*! \file bv_subtheory_core.h ** \verbatim - ** Original author: dejan - ** Major contributors: none - ** Minor contributors (to current version): lianah, mdeters - ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 New York University and The University of Iowa + ** Original author: Liana Hadarean <lianahady@gmail.com> + ** Major contributors: lianah <lianahady@gmail.com> + ** Minor contributors (to current version): Dejan Jovanović <dejan.jovanovic@gmail.com> + ** This file is part of the CVC4 project. + ** Copyright (c) 2009-2013 New York University and The University of Iowa ** See the file COPYING in the top-level source directory for licensing ** information.\endverbatim ** diff --git a/src/theory/bv/bv_subtheory_inequality.cpp b/src/theory/bv/bv_subtheory_inequality.cpp index 17ac8a2e5..15b51d2c8 100644 --- a/src/theory/bv/bv_subtheory_inequality.cpp +++ b/src/theory/bv/bv_subtheory_inequality.cpp @@ -1,11 +1,11 @@ /********************* */ /*! \file bv_subtheory_inequality.cpp ** \verbatim - ** Original author: lianah - ** Major contributors: none + ** Original author: lianah <lianahady@gmail.com> + ** Major contributors: Liana Hadarean <lianahady@gmail.com> ** Minor contributors (to current version): none - ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 New York University and The University of Iowa + ** This file is part of the CVC4 project. + ** Copyright (c) 2009-2013 New York University and The University of Iowa ** See the file COPYING in the top-level source directory for licensing ** information.\endverbatim ** diff --git a/src/theory/bv/bv_subtheory_inequality.h b/src/theory/bv/bv_subtheory_inequality.h index b02233b74..d79ea6e1c 100644 --- a/src/theory/bv/bv_subtheory_inequality.h +++ b/src/theory/bv/bv_subtheory_inequality.h @@ -1,11 +1,11 @@ /********************* */ /*! \file bv_subtheory_inequality.h ** \verbatim - ** Original author: lianah + ** Original author: lianah <lianahady@gmail.com> ** Major contributors: none - ** Minor contributors (to current version): none - ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 New York University and The University of Iowa + ** Minor contributors (to current version): Liana Hadarean <lianahady@gmail.com> + ** This file is part of the CVC4 project. + ** Copyright (c) 2009-2013 New York University and The University of Iowa ** See the file COPYING in the top-level source directory for licensing ** information.\endverbatim ** diff --git a/src/theory/bv/cd_set_collection.h b/src/theory/bv/cd_set_collection.h index ec7f6d66d..518043ec0 100644 --- a/src/theory/bv/cd_set_collection.h +++ b/src/theory/bv/cd_set_collection.h @@ -1,11 +1,11 @@ /********************* */ /*! \file cd_set_collection.h ** \verbatim - ** Original author: dejan + ** Original author: Dejan Jovanović <dejan.jovanovic@gmail.com> ** Major contributors: none - ** Minor contributors (to current version): mdeters - ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 New York University and The University of Iowa + ** Minor contributors (to current version): Tim King <taking@cs.nyu.edu>, Morgan Deters <mdeters@cs.nyu.edu> + ** This file is part of the CVC4 project. + ** Copyright (c) 2009-2013 New York University and The University of Iowa ** See the file COPYING in the top-level source directory for licensing ** information.\endverbatim ** diff --git a/src/theory/bv/slicer.cpp b/src/theory/bv/slicer.cpp index 2837b075f..fd344aed5 100644 --- a/src/theory/bv/slicer.cpp +++ b/src/theory/bv/slicer.cpp @@ -1,13 +1,11 @@ /********************* */ -/*! \file slicer.h +/*! \file slicer.cpp ** \verbatim - ** Original author: lianah - ** Major contributors: none + ** Original author: Liana Hadarean <lianahady@gmail.com> + ** Major contributors: lianah <lianahady@gmail.com> ** Minor contributors (to current version): none - ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009, 2010, 2011 The Analysis of Computer Systems Group (ACSys) - ** Courant Institute of Mathematical Sciences - ** New York University + ** This file is part of the CVC4 project. + ** Copyright (c) 2009-2013 New York University and The University of Iowa ** See the file COPYING in the top-level source directory for licensing ** information.\endverbatim ** diff --git a/src/theory/bv/slicer.h b/src/theory/bv/slicer.h index 88254b983..7da12fc6d 100644 --- a/src/theory/bv/slicer.h +++ b/src/theory/bv/slicer.h @@ -1,13 +1,11 @@ /********************* */ /*! \file slicer.h ** \verbatim - ** Original author: lianah - ** Major contributors: none + ** Original author: Liana Hadarean <lianahady@gmail.com> + ** Major contributors: lianah <lianahady@gmail.com> ** Minor contributors (to current version): none - ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009, 2010, 2011 The Analysis of Computer Systems Group (ACSys) - ** Courant Institute of Mathematical Sciences - ** New York University + ** This file is part of the CVC4 project. + ** Copyright (c) 2009-2013 New York University and The University of Iowa ** See the file COPYING in the top-level source directory for licensing ** information.\endverbatim ** diff --git a/src/theory/bv/theory_bv.cpp b/src/theory/bv/theory_bv.cpp index b202b7eca..39fc68823 100644 --- a/src/theory/bv/theory_bv.cpp +++ b/src/theory/bv/theory_bv.cpp @@ -1,11 +1,11 @@ /********************* */ /*! \file theory_bv.cpp ** \verbatim - ** Original author: dejan - ** Major contributors: mdeters, lianah - ** Minor contributors (to current version): barrett, ajreynol - ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 New York University and The University of Iowa + ** 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> + ** This file is part of the CVC4 project. + ** Copyright (c) 2009-2013 New York University and The University of Iowa ** See the file COPYING in the top-level source directory for licensing ** information.\endverbatim ** diff --git a/src/theory/bv/theory_bv.h b/src/theory/bv/theory_bv.h index ff8b3a8b1..c0c8823c1 100644 --- a/src/theory/bv/theory_bv.h +++ b/src/theory/bv/theory_bv.h @@ -1,11 +1,11 @@ /********************* */ /*! \file theory_bv.h ** \verbatim - ** Original author: mdeters - ** Major contributors: dejan, lianah - ** Minor contributors (to current version): barrett, ajreynol - ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 New York University and The University of Iowa + ** 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> + ** This file is part of the CVC4 project. + ** Copyright (c) 2009-2013 New York University and The University of Iowa ** See the file COPYING in the top-level source directory for licensing ** information.\endverbatim ** diff --git a/src/theory/bv/theory_bv_rewrite_rules.h b/src/theory/bv/theory_bv_rewrite_rules.h index bd7a8131a..4000fe77e 100644 --- a/src/theory/bv/theory_bv_rewrite_rules.h +++ b/src/theory/bv/theory_bv_rewrite_rules.h @@ -1,11 +1,11 @@ /********************* */ /*! \file theory_bv_rewrite_rules.h ** \verbatim - ** Original author: dejan - ** Major contributors: lianah - ** Minor contributors (to current version): barrett, mdeters - ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 New York University and The University of Iowa + ** 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> + ** This file is part of the CVC4 project. + ** Copyright (c) 2009-2013 New York University and The University of Iowa ** See the file COPYING in the top-level source directory for licensing ** information.\endverbatim ** diff --git a/src/theory/bv/theory_bv_rewrite_rules_constant_evaluation.h b/src/theory/bv/theory_bv_rewrite_rules_constant_evaluation.h index 178b17b43..c7ce164eb 100644 --- a/src/theory/bv/theory_bv_rewrite_rules_constant_evaluation.h +++ b/src/theory/bv/theory_bv_rewrite_rules_constant_evaluation.h @@ -1,11 +1,11 @@ /********************* */ /*! \file theory_bv_rewrite_rules_constant_evaluation.h ** \verbatim - ** Original author: lianah - ** Major contributors: barrett - ** Minor contributors (to current version): mdeters - ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 New York University and The University of Iowa + ** 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> + ** This file is part of the CVC4 project. + ** Copyright (c) 2009-2013 New York University and The University of Iowa ** See the file COPYING in the top-level source directory for licensing ** information.\endverbatim ** diff --git a/src/theory/bv/theory_bv_rewrite_rules_core.h b/src/theory/bv/theory_bv_rewrite_rules_core.h index ade345d1c..e6260e074 100644 --- a/src/theory/bv/theory_bv_rewrite_rules_core.h +++ b/src/theory/bv/theory_bv_rewrite_rules_core.h @@ -1,11 +1,11 @@ /********************* */ /*! \file theory_bv_rewrite_rules_core.h ** \verbatim - ** Original author: dejan + ** Original author: Dejan Jovanović <dejan.jovanovic@gmail.com> ** Major contributors: none - ** Minor contributors (to current version): mdeters, barrett, lianah - ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 New York University and The University of Iowa + ** Minor contributors (to current version): Tim King <taking@cs.nyu.edu>, Clark Barrett <barrett@cs.nyu.edu>, Liana Hadarean <lianahady@gmail.com>, Morgan Deters <mdeters@cs.nyu.edu> + ** This file is part of the CVC4 project. + ** Copyright (c) 2009-2013 New York University and The University of Iowa ** See the file COPYING in the top-level source directory for licensing ** information.\endverbatim ** diff --git a/src/theory/bv/theory_bv_rewrite_rules_normalization.h b/src/theory/bv/theory_bv_rewrite_rules_normalization.h index 39f55f26c..28ae9d0b3 100644 --- a/src/theory/bv/theory_bv_rewrite_rules_normalization.h +++ b/src/theory/bv/theory_bv_rewrite_rules_normalization.h @@ -1,11 +1,11 @@ /********************* */ /*! \file theory_bv_rewrite_rules_normalization.h ** \verbatim - ** Original author: lianah - ** Major contributors: barrett - ** Minor contributors (to current version): dejan, mdeters - ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 New York University and The University of Iowa + ** 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> + ** This file is part of the CVC4 project. + ** Copyright (c) 2009-2013 New York University and The University of Iowa ** See the file COPYING in the top-level source directory for licensing ** information.\endverbatim ** diff --git a/src/theory/bv/theory_bv_rewrite_rules_operator_elimination.h b/src/theory/bv/theory_bv_rewrite_rules_operator_elimination.h index 4202f8c2e..6f54f5a52 100644 --- a/src/theory/bv/theory_bv_rewrite_rules_operator_elimination.h +++ b/src/theory/bv/theory_bv_rewrite_rules_operator_elimination.h @@ -1,11 +1,11 @@ /********************* */ /*! \file theory_bv_rewrite_rules_operator_elimination.h ** \verbatim - ** Original author: lianah - ** Major contributors: barrett - ** Minor contributors (to current version): mdeters - ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 New York University and The University of Iowa + ** 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> + ** This file is part of the CVC4 project. + ** Copyright (c) 2009-2013 New York University and The University of Iowa ** See the file COPYING in the top-level source directory for licensing ** information.\endverbatim ** diff --git a/src/theory/bv/theory_bv_rewrite_rules_simplification.h b/src/theory/bv/theory_bv_rewrite_rules_simplification.h index 9d1cafab9..20e143d2f 100644 --- a/src/theory/bv/theory_bv_rewrite_rules_simplification.h +++ b/src/theory/bv/theory_bv_rewrite_rules_simplification.h @@ -1,11 +1,11 @@ /********************* */ /*! \file theory_bv_rewrite_rules_simplification.h ** \verbatim - ** Original author: lianah - ** Major contributors: barrett - ** Minor contributors (to current version): mdeters, dejan - ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 New York University and The University of Iowa + ** 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> + ** This file is part of the CVC4 project. + ** Copyright (c) 2009-2013 New York University and The University of Iowa ** See the file COPYING in the top-level source directory for licensing ** information.\endverbatim ** diff --git a/src/theory/bv/theory_bv_rewriter.cpp b/src/theory/bv/theory_bv_rewriter.cpp index 23018605f..b16c426e6 100644 --- a/src/theory/bv/theory_bv_rewriter.cpp +++ b/src/theory/bv/theory_bv_rewriter.cpp @@ -1,11 +1,11 @@ /********************* */ /*! \file theory_bv_rewriter.cpp ** \verbatim - ** Original author: dejan - ** Major contributors: lianah - ** Minor contributors (to current version): taking, mdeters, barrett - ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 New York University and The University of Iowa + ** 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> + ** This file is part of the CVC4 project. + ** Copyright (c) 2009-2013 New York University and The University of Iowa ** See the file COPYING in the top-level source directory for licensing ** information.\endverbatim ** diff --git a/src/theory/bv/theory_bv_rewriter.h b/src/theory/bv/theory_bv_rewriter.h index 3e7fc272b..1ef936028 100644 --- a/src/theory/bv/theory_bv_rewriter.h +++ b/src/theory/bv/theory_bv_rewriter.h @@ -1,11 +1,11 @@ /********************* */ /*! \file theory_bv_rewriter.h ** \verbatim - ** Original author: dejan - ** Major contributors: mdeters, lianah - ** Minor contributors (to current version): taking - ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 New York University and The University of Iowa + ** 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> + ** This file is part of the CVC4 project. + ** Copyright (c) 2009-2013 New York University and The University of Iowa ** See the file COPYING in the top-level source directory for licensing ** information.\endverbatim ** diff --git a/src/theory/bv/theory_bv_type_rules.h b/src/theory/bv/theory_bv_type_rules.h index d34e45c63..af331237c 100644 --- a/src/theory/bv/theory_bv_type_rules.h +++ b/src/theory/bv/theory_bv_type_rules.h @@ -1,11 +1,11 @@ /********************* */ /*! \file theory_bv_type_rules.h ** \verbatim - ** Original author: dejan - ** Major contributors: lianah, mdeters, cconway + ** 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> ** Minor contributors (to current version): none - ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 New York University and The University of Iowa + ** This file is part of the CVC4 project. + ** Copyright (c) 2009-2013 New York University and The University of Iowa ** See the file COPYING in the top-level source directory for licensing ** information.\endverbatim ** diff --git a/src/theory/bv/theory_bv_utils.h b/src/theory/bv/theory_bv_utils.h index f8b9f010e..77e36860d 100644 --- a/src/theory/bv/theory_bv_utils.h +++ b/src/theory/bv/theory_bv_utils.h @@ -1,11 +1,11 @@ /********************* */ /*! \file theory_bv_utils.h ** \verbatim - ** Original author: dejan - ** Major contributors: mdeters, lianah - ** Minor contributors (to current version): barrett - ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 New York University and The University of Iowa + ** 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> + ** This file is part of the CVC4 project. + ** Copyright (c) 2009-2013 New York University and The University of Iowa ** See the file COPYING in the top-level source directory for licensing ** information.\endverbatim ** diff --git a/src/theory/bv/type_enumerator.h b/src/theory/bv/type_enumerator.h index ff9b8af7c..b68d199ec 100644 --- a/src/theory/bv/type_enumerator.h +++ b/src/theory/bv/type_enumerator.h @@ -1,11 +1,11 @@ /********************* */ /*! \file type_enumerator.h ** \verbatim - ** Original author: mdeters + ** Original author: Morgan Deters <mdeters@cs.nyu.edu> ** Major contributors: none ** Minor contributors (to current version): none - ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 New York University and The University of Iowa + ** This file is part of the CVC4 project. + ** Copyright (c) 2009-2013 New York University and The University of Iowa ** See the file COPYING in the top-level source directory for licensing ** information.\endverbatim ** |