diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-12-05 15:04:30 -0500 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-12-05 15:41:28 -0500 |
commit | d692211d62a5d5a58c4bbe11b495554671c43847 (patch) | |
tree | 5097a72499b72d54630d7dc7f890831eb1996b00 /src/theory/bv | |
parent | 2fab0a67761f8b63a3c3f5abdbe7f382f722a04f (diff) |
Update copyrights, add missing file-level documentation; fix perms.
Diffstat (limited to 'src/theory/bv')
23 files changed, 45 insertions, 45 deletions
diff --git a/src/theory/bv/bitblast_strategies.cpp b/src/theory/bv/bitblast_strategies.cpp index 19c6a9248..4a0b45d62 100644 --- a/src/theory/bv/bitblast_strategies.cpp +++ b/src/theory/bv/bitblast_strategies.cpp @@ -3,7 +3,7 @@ ** \verbatim ** Original author: Liana Hadarean ** Major contributors: none - ** Minor contributors (to current version): Clark Barrett, Dejan Jovanovic, Morgan Deters, lianah, Tim King + ** Minor contributors (to current version): Clark Barrett, 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/bitblaster.cpp b/src/theory/bv/bitblaster.cpp index 1712509b5..cbe550f96 100644 --- a/src/theory/bv/bitblaster.cpp +++ b/src/theory/bv/bitblaster.cpp @@ -2,8 +2,8 @@ /*! \file bitblaster.cpp ** \verbatim ** Original author: Liana Hadarean - ** Major contributors: Dejan Jovanovic - ** Minor contributors (to current version): Clark Barrett, Morgan Deters, lianah + ** Major contributors: Dejan Jovanovic, Andrew Reynolds + ** Minor contributors (to current version): Clark Barrett, 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/bv/bitblaster.h b/src/theory/bv/bitblaster.h index 6fab0369c..2dc82bddc 100644 --- a/src/theory/bv/bitblaster.h +++ b/src/theory/bv/bitblaster.h @@ -2,8 +2,8 @@ /*! \file bitblaster.h ** \verbatim ** Original author: Liana Hadarean - ** Major contributors: none - ** Minor contributors (to current version): lianah, Morgan Deters, Dejan Jovanovic + ** Major contributors: Andrew Reynolds + ** Minor contributors (to current version): Kshitij Bansal, 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 ccdfc1583..feb061ee1 100644 --- a/src/theory/bv/bv_inequality_graph.cpp +++ b/src/theory/bv/bv_inequality_graph.cpp @@ -2,7 +2,7 @@ /*! \file bv_inequality_graph.cpp ** \verbatim ** Original author: Liana Hadarean - ** Major contributors: lianah + ** Major contributors: none ** 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 diff --git a/src/theory/bv/bv_inequality_graph.h b/src/theory/bv/bv_inequality_graph.h index 200c49195..9a898ebe6 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 - ** Major contributors: Liana Hadarean + ** Original author: Liana Hadarean + ** Major contributors: none ** 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 0b0551283..5a46f7a0f 100644 --- a/src/theory/bv/bv_subtheory.h +++ b/src/theory/bv/bv_subtheory.h @@ -2,8 +2,8 @@ /*! \file bv_subtheory.h ** \verbatim ** Original author: Liana Hadarean - ** Major contributors: Dejan Jovanovic, lianah - ** Minor contributors (to current version): Morgan Deters + ** Major contributors: Andrew Reynolds, 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 ** 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 5a0c17134..e4b1a346d 100644 --- a/src/theory/bv/bv_subtheory_bitblast.cpp +++ b/src/theory/bv/bv_subtheory_bitblast.cpp @@ -2,8 +2,8 @@ /*! \file bv_subtheory_bitblast.cpp ** \verbatim ** Original author: Dejan Jovanovic - ** Major contributors: lianah - ** Minor contributors (to current version): Liana Hadarean, Morgan Deters + ** Major contributors: Liana Hadarean, Clark Barrett + ** Minor contributors (to current version): Morgan Deters, Andrew Reynolds, Kshitij Bansal ** 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 f1204dbdf..b1c1b3b66 100644 --- a/src/theory/bv/bv_subtheory_bitblast.h +++ b/src/theory/bv/bv_subtheory_bitblast.h @@ -2,8 +2,8 @@ /*! \file bv_subtheory_bitblast.h ** \verbatim ** Original author: Dejan Jovanovic - ** Major contributors: Morgan Deters, lianah - ** Minor contributors (to current version): Liana Hadarean + ** Major contributors: none + ** Minor contributors (to current version): Morgan Deters, Andrew Reynolds, Liana Hadarean, 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/bv_subtheory_core.cpp b/src/theory/bv/bv_subtheory_core.cpp index 6d11364d9..2433dc1ee 100644 --- a/src/theory/bv/bv_subtheory_core.cpp +++ b/src/theory/bv/bv_subtheory_core.cpp @@ -2,8 +2,8 @@ /*! \file bv_subtheory_core.cpp ** \verbatim ** Original author: Liana Hadarean - ** Major contributors: lianah - ** Minor contributors (to current version): none + ** Major contributors: Andrew Reynolds + ** 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_core.h b/src/theory/bv/bv_subtheory_core.h index b886bbdd5..e1a73d404 100644 --- a/src/theory/bv/bv_subtheory_core.h +++ b/src/theory/bv/bv_subtheory_core.h @@ -2,8 +2,8 @@ /*! \file bv_subtheory_core.h ** \verbatim ** Original author: Liana Hadarean - ** Major contributors: lianah - ** Minor contributors (to current version): Dejan Jovanovic + ** Major contributors: Andrew Reynolds + ** 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/bv_subtheory_inequality.cpp b/src/theory/bv/bv_subtheory_inequality.cpp index 0eac4c035..222ba3039 100644 --- a/src/theory/bv/bv_subtheory_inequality.cpp +++ b/src/theory/bv/bv_subtheory_inequality.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file bv_subtheory_inequality.cpp ** \verbatim - ** Original author: lianah - ** Major contributors: Liana Hadarean - ** Minor contributors (to current version): none + ** Original author: Liana Hadarean + ** Major contributors: Andrew Reynolds + ** 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_inequality.h b/src/theory/bv/bv_subtheory_inequality.h index 6e0139e09..f142ff7be 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 - ** Major contributors: none - ** Minor contributors (to current version): Liana Hadarean + ** Original author: Liana Hadarean + ** Major contributors: Andrew Reynolds + ** 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_to_bool.cpp b/src/theory/bv/bv_to_bool.cpp index 7bec805ef..d137d09a0 100644 --- a/src/theory/bv/bv_to_bool.cpp +++ b/src/theory/bv/bv_to_bool.cpp @@ -1,9 +1,9 @@ /********************* */ -/*! \file bv_to_bool.h +/*! \file bv_to_bool.cpp ** \verbatim - ** Original author: Liana Hadarean - ** Major contributors: None. - ** Minor contributors (to current version): None. + ** Original author: Liana Hadarean + ** Major contributors: none + ** 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 diff --git a/src/theory/bv/bv_to_bool.h b/src/theory/bv/bv_to_bool.h index 186f2b317..b34923728 100644 --- a/src/theory/bv/bv_to_bool.h +++ b/src/theory/bv/bv_to_bool.h @@ -1,9 +1,9 @@ /********************* */ /*! \file bv_to_bool.h ** \verbatim - ** Original author: Liana Hadarean - ** Major contributors: None. - ** Minor contributors (to current version): None. + ** Original author: Liana Hadarean + ** Major contributors: none + ** 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 diff --git a/src/theory/bv/slicer.cpp b/src/theory/bv/slicer.cpp index e8e4ff84b..56e0a479e 100644 --- a/src/theory/bv/slicer.cpp +++ b/src/theory/bv/slicer.cpp @@ -2,8 +2,8 @@ /*! \file slicer.cpp ** \verbatim ** Original author: Liana Hadarean - ** Major contributors: lianah - ** Minor contributors (to current version): none + ** Major contributors: none + ** 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/slicer.h b/src/theory/bv/slicer.h index fefbad756..15c0b9c0b 100644 --- a/src/theory/bv/slicer.h +++ b/src/theory/bv/slicer.h @@ -2,7 +2,7 @@ /*! \file slicer.h ** \verbatim ** Original author: Liana Hadarean - ** Major contributors: lianah + ** Major contributors: none ** 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 ce44b312d..14a19f2d0 100644 --- a/src/theory/bv/theory_bv.cpp +++ b/src/theory/bv/theory_bv.cpp @@ -2,8 +2,8 @@ /*! \file theory_bv.cpp ** \verbatim ** Original author: Dejan Jovanovic - ** Major contributors: Morgan Deters, Liana Hadarean, lianah - ** Minor contributors (to current version): Tim King, Andrew Reynolds, Clark Barrett + ** Major contributors: Morgan Deters, Liana Hadarean + ** Minor contributors (to current version): Tim King, Kshitij Bansal, 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/bv/theory_bv.h b/src/theory/bv/theory_bv.h index 708206d28..90093edfd 100644 --- a/src/theory/bv/theory_bv.h +++ b/src/theory/bv/theory_bv.h @@ -2,8 +2,8 @@ /*! \file theory_bv.h ** \verbatim ** Original author: Morgan Deters - ** Major contributors: lianah, Dejan Jovanovic, Liana Hadarean - ** Minor contributors (to current version): Clark Barrett, Tim King, Andrew Reynolds + ** Major contributors: Dejan Jovanovic, Liana Hadarean + ** Minor contributors (to current version): Clark Barrett, Kshitij Bansal, 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_constant_evaluation.h b/src/theory/bv/theory_bv_rewrite_rules_constant_evaluation.h index 9f3d12415..db774ebe3 100644 --- a/src/theory/bv/theory_bv_rewrite_rules_constant_evaluation.h +++ b/src/theory/bv/theory_bv_rewrite_rules_constant_evaluation.h @@ -3,7 +3,7 @@ ** \verbatim ** Original author: Liana Hadarean ** Major contributors: Clark Barrett - ** Minor contributors (to current version): lianah, Morgan Deters, Tim King + ** 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_operator_elimination.h b/src/theory/bv/theory_bv_rewrite_rules_operator_elimination.h index b513dbf90..6c0ba90d4 100644 --- a/src/theory/bv/theory_bv_rewrite_rules_operator_elimination.h +++ b/src/theory/bv/theory_bv_rewrite_rules_operator_elimination.h @@ -2,8 +2,8 @@ /*! \file theory_bv_rewrite_rules_operator_elimination.h ** \verbatim ** Original author: Liana Hadarean - ** Major contributors: Clark Barrett - ** Minor contributors (to current version): Morgan Deters, Tim King + ** 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/bv/theory_bv_rewriter.cpp b/src/theory/bv/theory_bv_rewriter.cpp index 76eb97b39..0b09bce4d 100644 --- a/src/theory/bv/theory_bv_rewriter.cpp +++ b/src/theory/bv/theory_bv_rewriter.cpp @@ -3,7 +3,7 @@ ** \verbatim ** Original author: Dejan Jovanovic ** Major contributors: Liana Hadarean - ** Minor contributors (to current version): Tim King, Morgan Deters, Clark Barrett + ** 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_type_rules.h b/src/theory/bv/theory_bv_type_rules.h index b51c56b18..12e258177 100644 --- a/src/theory/bv/theory_bv_type_rules.h +++ b/src/theory/bv/theory_bv_type_rules.h @@ -2,7 +2,7 @@ /*! \file theory_bv_type_rules.h ** \verbatim ** Original author: Dejan Jovanovic - ** Major contributors: Liana Hadarean, Morgan Deters, Christopher L. Conway + ** Major contributors: Liana Hadarean, 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/bv/theory_bv_utils.h b/src/theory/bv/theory_bv_utils.h index ab6a615a2..5140bd498 100644 --- a/src/theory/bv/theory_bv_utils.h +++ b/src/theory/bv/theory_bv_utils.h @@ -2,8 +2,8 @@ /*! \file theory_bv_utils.h ** \verbatim ** Original author: Dejan Jovanovic - ** Major contributors: lianah, Liana Hadarean - ** Minor contributors (to current version): Clark Barrett, Morgan Deters + ** Major contributors: Liana Hadarean + ** Minor contributors (to current version): Clark Barrett, Morgan Deters, Kshitij Bansal ** 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 |