diff options
Diffstat (limited to 'src/util')
77 files changed, 134 insertions, 134 deletions
diff --git a/src/util/abstract_value.cpp b/src/util/abstract_value.cpp index 63ae73008..3ed372848 100644 --- a/src/util/abstract_value.cpp +++ b/src/util/abstract_value.cpp @@ -1,7 +1,7 @@ /********************* */ /*! \file abstract_value.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/util/abstract_value.h b/src/util/abstract_value.h index 3a4a61106..39fd9e368 100644 --- a/src/util/abstract_value.h +++ b/src/util/abstract_value.h @@ -1,7 +1,7 @@ /********************* */ /*! \file abstract_value.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/util/array.h b/src/util/array.h index 22d6f2696..892e28a86 100644 --- a/src/util/array.h +++ b/src/util/array.h @@ -1,7 +1,7 @@ /********************* */ /*! \file array.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/util/array_store_all.cpp b/src/util/array_store_all.cpp index b9527919a..7c9086276 100644 --- a/src/util/array_store_all.cpp +++ b/src/util/array_store_all.cpp @@ -1,7 +1,7 @@ /********************* */ /*! \file array_store_all.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/util/array_store_all.h b/src/util/array_store_all.h index 6ec076cf0..6e60cc2cb 100644 --- a/src/util/array_store_all.h +++ b/src/util/array_store_all.h @@ -1,7 +1,7 @@ /********************* */ /*! \file array_store_all.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/util/ascription_type.h b/src/util/ascription_type.h index ecdd8f5aa..1f7ba0aaa 100644 --- a/src/util/ascription_type.h +++ b/src/util/ascription_type.h @@ -1,7 +1,7 @@ /********************* */ /*! \file ascription_type.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/util/backtrackable.h b/src/util/backtrackable.h index ff94e2bbc..c5844c6c4 100644 --- a/src/util/backtrackable.h +++ b/src/util/backtrackable.h @@ -1,7 +1,7 @@ /********************* */ /*! \file backtrackable.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/util/bitvector.h b/src/util/bitvector.h index b4088d725..2d5d29339 100644 --- a/src/util/bitvector.h +++ b/src/util/bitvector.h @@ -1,9 +1,9 @@ /********************* */ /*! \file bitvector.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): lianah <lianahady@gmail.com>, Christopher L. Conway <christopherleeconway@gmail.com> + ** Original author: Dejan Jovanovic + ** Major contributors: Morgan Deters, Liana Hadarean + ** Minor contributors (to current version): lianah, 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/util/bool.h b/src/util/bool.h index c7ca69544..8e3c8849c 100644 --- a/src/util/bool.h +++ b/src/util/bool.h @@ -1,7 +1,7 @@ /********************* */ /*! \file bool.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/util/boolean_simplification.cpp b/src/util/boolean_simplification.cpp index e6aecf84f..8e077fe1d 100644 --- a/src/util/boolean_simplification.cpp +++ b/src/util/boolean_simplification.cpp @@ -1,7 +1,7 @@ /********************* */ /*! \file boolean_simplification.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/util/boolean_simplification.h b/src/util/boolean_simplification.h index d540f2853..e5c4ead6c 100644 --- a/src/util/boolean_simplification.h +++ b/src/util/boolean_simplification.h @@ -1,8 +1,8 @@ /********************* */ /*! \file boolean_simplification.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/util/cache.h b/src/util/cache.h index 88d1bde1a..8c2f9abca 100644 --- a/src/util/cache.h +++ b/src/util/cache.h @@ -1,7 +1,7 @@ /********************* */ /*! \file cache.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/util/cardinality.cpp b/src/util/cardinality.cpp index 09046629a..42f8519c1 100644 --- a/src/util/cardinality.cpp +++ b/src/util/cardinality.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file cardinality.cpp ** \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/util/cardinality.h b/src/util/cardinality.h index 4f8b87331..34aa9c08b 100644 --- a/src/util/cardinality.h +++ b/src/util/cardinality.h @@ -1,9 +1,9 @@ /********************* */ /*! \file cardinality.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/util/channel.h b/src/util/channel.h index ea7214499..676371cbc 100644 --- a/src/util/channel.h +++ b/src/util/channel.h @@ -1,7 +1,7 @@ /********************* */ /*! \file channel.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/util/configuration.cpp b/src/util/configuration.cpp index 0ecfbd561..ba141cc58 100644 --- a/src/util/configuration.cpp +++ b/src/util/configuration.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file configuration.cpp ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Morgan Deters ** Major contributors: none - ** Minor contributors (to current version): Liana Hadarean <lianahady@gmail.com>, ACSYS <cvc4-devel@cs.nyu.edu>, Christopher L. Conway <christopherleeconway@gmail.com>, Dejan Jovanović <dejan.jovanovic@gmail.com>, François Bobot <francois@bobot.eu> + ** Minor contributors (to current version): Liana Hadarean, ACSYS, Christopher L. Conway, Dejan Jovanovic, 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/util/configuration.h b/src/util/configuration.h index 9a642303c..a63a0d6f3 100644 --- a/src/util/configuration.h +++ b/src/util/configuration.h @@ -1,9 +1,9 @@ /********************* */ /*! \file configuration.h ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Morgan Deters ** Major contributors: none - ** Minor contributors (to current version): ACSYS <cvc4-devel@cs.nyu.edu>, Liana Hadarean <lianahady@gmail.com>, François Bobot <francois@bobot.eu> + ** Minor contributors (to current version): ACSYS, Liana Hadarean, 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/util/configuration_private.h b/src/util/configuration_private.h index 34e916950..272766ff4 100644 --- a/src/util/configuration_private.h +++ b/src/util/configuration_private.h @@ -1,9 +1,9 @@ /********************* */ /*! \file configuration_private.h ** \verbatim - ** Original author: Christopher L. Conway <christopherleeconway@gmail.com> - ** Major contributors: ACSYS <cvc4-devel@cs.nyu.edu>, Morgan Deters <mdeters@cs.nyu.edu> - ** Minor contributors (to current version): Liana Hadarean <lianahady@gmail.com> + ** Original author: Christopher L. Conway + ** Major contributors: ACSYS, Morgan Deters + ** 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/util/cvc4_assert.cpp b/src/util/cvc4_assert.cpp index 0fccfb94e..eb7b81a39 100644 --- a/src/util/cvc4_assert.cpp +++ b/src/util/cvc4_assert.cpp @@ -1,7 +1,7 @@ /********************* */ /*! \file cvc4_assert.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/util/cvc4_assert.h b/src/util/cvc4_assert.h index aaf140489..c070fc389 100644 --- a/src/util/cvc4_assert.h +++ b/src/util/cvc4_assert.h @@ -1,9 +1,9 @@ /********************* */ /*! \file cvc4_assert.h ** \verbatim - ** Original author: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Morgan Deters ** Major contributors: none - ** Minor contributors (to current version): ACSYS <cvc4-devel@cs.nyu.edu> + ** Minor contributors (to current version): ACSYS ** 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/util/datatype.cpp b/src/util/datatype.cpp index 237cc197f..96e8692f5 100644 --- a/src/util/datatype.cpp +++ b/src/util/datatype.cpp @@ -1,8 +1,8 @@ /********************* */ /*! \file datatype.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/util/datatype.h b/src/util/datatype.h index ae575a377..3da441f1f 100644 --- a/src/util/datatype.h +++ b/src/util/datatype.h @@ -1,9 +1,9 @@ /********************* */ /*! \file datatype.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> + ** 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/util/debug.h b/src/util/debug.h index 44a7d490c..3e7c4d8be 100644 --- a/src/util/debug.h +++ b/src/util/debug.h @@ -1,7 +1,7 @@ /********************* */ /*! \file debug.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/util/dense_map.h b/src/util/dense_map.h index b1c8dd40c..b8acf1556 100644 --- a/src/util/dense_map.h +++ b/src/util/dense_map.h @@ -1,9 +1,9 @@ /********************* */ /*! \file dense_map.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@cs.nyu.edu>, 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/util/dump.cpp b/src/util/dump.cpp index c9667f695..e3baf10c5 100644 --- a/src/util/dump.cpp +++ b/src/util/dump.cpp @@ -1,7 +1,7 @@ /********************* */ /*! \file dump.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/util/dump.h b/src/util/dump.h index 58f649273..2ef6010e3 100644 --- a/src/util/dump.h +++ b/src/util/dump.h @@ -1,7 +1,7 @@ /********************* */ /*! \file dump.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/util/dynamic_array.h b/src/util/dynamic_array.h index a66a883fc..1f6e07cc7 100644 --- a/src/util/dynamic_array.h +++ b/src/util/dynamic_array.h @@ -1,8 +1,8 @@ /********************* */ /*! \file dynamic_array.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/util/exception.cpp b/src/util/exception.cpp index 7a2a12ea0..08405c501 100644 --- a/src/util/exception.cpp +++ b/src/util/exception.cpp @@ -1,7 +1,7 @@ /********************* */ /*! \file exception.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/util/exception.h b/src/util/exception.h index 91840addd..082a50ef2 100644 --- a/src/util/exception.h +++ b/src/util/exception.h @@ -1,7 +1,7 @@ /********************* */ /*! \file exception.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/util/gmp_util.h b/src/util/gmp_util.h index b52beff62..f2cd0004f 100644 --- a/src/util/gmp_util.h +++ b/src/util/gmp_util.h @@ -1,9 +1,9 @@ /********************* */ /*! \file gmp_util.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> + ** Original author: Dejan Jovanovic + ** Major contributors: 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/util/hash.h b/src/util/hash.h index c86dde528..34ca8be5b 100644 --- a/src/util/hash.h +++ b/src/util/hash.h @@ -1,9 +1,9 @@ /********************* */ /*! \file hash.h ** \verbatim - ** Original author: Christopher L. Conway <christopherleeconway@gmail.com> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> - ** Minor contributors (to current version): Dejan Jovanović <dejan@cs.nyu.edu>, Tim King <taking@cs.nyu.edu> + ** Original author: Christopher L. Conway + ** Major contributors: Morgan Deters + ** Minor contributors (to current version): 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/util/index.h b/src/util/index.h index f34b9ab89..356dbdd8f 100644 --- a/src/util/index.h +++ b/src/util/index.h @@ -1,9 +1,9 @@ /********************* */ /*! \file index.h ** \verbatim - ** Original author: Tim King <taking@cs.nyu.edu> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> - ** Minor contributors (to current version): lianah <lianahady@gmail.com> + ** Original author: Tim King + ** Major contributors: Morgan Deters + ** Minor contributors (to current version): 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/util/integer.h.in b/src/util/integer.h.in index 9067e2340..c3c6a70cd 100644 --- a/src/util/integer.h.in +++ b/src/util/integer.h.in @@ -1,8 +1,8 @@ /********************* */ /*! \file integer.h.in ** \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/util/integer_cln_imp.h b/src/util/integer_cln_imp.h index 982bf749e..197c615e1 100644 --- a/src/util/integer_cln_imp.h +++ b/src/util/integer_cln_imp.h @@ -1,9 +1,9 @@ /********************* */ /*! \file integer_cln_imp.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>, Liana Hadarean <lianahady@gmail.com> + ** Original author: Tim King + ** Major contributors: Morgan Deters + ** Minor contributors (to current version): Dejan Jovanovic, 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/util/integer_gmp_imp.h b/src/util/integer_gmp_imp.h index a292dd949..bd0556c22 100644 --- a/src/util/integer_gmp_imp.h +++ b/src/util/integer_gmp_imp.h @@ -1,9 +1,9 @@ /********************* */ /*! \file integer_gmp_imp.h ** \verbatim - ** Original author: Tim King <taking@cs.nyu.edu> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu>, Liana Hadarean <lianahady@gmail.com> - ** Minor contributors (to current version): Dejan Jovanović <dejan.jovanovic@gmail.com> + ** Original author: Tim King + ** Major contributors: Morgan Deters, Liana Hadarean + ** 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/util/ite_removal.cpp b/src/util/ite_removal.cpp index 1330408c7..f26bbe0aa 100644 --- a/src/util/ite_removal.cpp +++ b/src/util/ite_removal.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file ite_removal.cpp ** \verbatim - ** Original author: Dejan Jovanović <dejan.jovanovic@gmail.com> - ** Major contributors: Andrew Reynolds <andrew.j.reynolds@gmail.com>, Morgan Deters <mdeters@cs.nyu.edu> - ** Minor contributors (to current version): Clark Barrett <barrett@cs.nyu.edu> + ** Original author: Dejan Jovanovic + ** Major contributors: Andrew Reynolds, 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/util/ite_removal.h b/src/util/ite_removal.h index c7c9025bd..03197be89 100644 --- a/src/util/ite_removal.h +++ b/src/util/ite_removal.h @@ -1,9 +1,9 @@ /********************* */ /*! \file ite_removal.h ** \verbatim - ** Original author: Dejan Jovanović <dejan.jovanovic@gmail.com> - ** Major contributors: Kshitij Bansal <kshitij@cs.nyu.edu>, 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: Kshitij Bansal, 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/util/language.cpp b/src/util/language.cpp index 74d44e093..9cac3dd3f 100644 --- a/src/util/language.cpp +++ b/src/util/language.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file language.cpp ** \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/util/language.h b/src/util/language.h index e087a8326..b83b3d093 100644 --- a/src/util/language.h +++ b/src/util/language.h @@ -1,9 +1,9 @@ /********************* */ /*! \file language.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/util/lemma_input_channel.h b/src/util/lemma_input_channel.h index ec6e7247d..319de942c 100644 --- a/src/util/lemma_input_channel.h +++ b/src/util/lemma_input_channel.h @@ -1,7 +1,7 @@ /********************* */ /*! \file lemma_input_channel.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/util/lemma_output_channel.h b/src/util/lemma_output_channel.h index c1ec1e6c5..8f4f7461d 100644 --- a/src/util/lemma_output_channel.h +++ b/src/util/lemma_output_channel.h @@ -1,7 +1,7 @@ /********************* */ /*! \file lemma_output_channel.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/util/matcher.h b/src/util/matcher.h index 13bec9fc3..4a3233261 100644 --- a/src/util/matcher.h +++ b/src/util/matcher.h @@ -1,8 +1,8 @@ /********************* */ /*! \file matcher.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/util/node_visitor.h b/src/util/node_visitor.h index a5ea0a26a..1d2bf0b9d 100644 --- a/src/util/node_visitor.h +++ b/src/util/node_visitor.h @@ -1,8 +1,8 @@ /********************* */ /*! \file node_visitor.h ** \verbatim - ** Original author: Dejan Jovanović <dejan.jovanovic@gmail.com> - ** Major contributors: Liana Hadarean <lianahady@gmail.com>, Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Dejan Jovanovic + ** Major contributors: Liana Hadarean, 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/util/ntuple.h b/src/util/ntuple.h index b87003a06..a342a11c1 100644 --- a/src/util/ntuple.h +++ b/src/util/ntuple.h @@ -1,7 +1,7 @@ /********************* */ /*! \file ntuple.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/util/output.cpp b/src/util/output.cpp index 71aba1f6c..d60330b0c 100644 --- a/src/util/output.cpp +++ b/src/util/output.cpp @@ -1,7 +1,7 @@ /********************* */ /*! \file output.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/util/output.h b/src/util/output.h index dbf8b1c8a..263d5a144 100644 --- a/src/util/output.h +++ b/src/util/output.h @@ -1,9 +1,9 @@ /********************* */ /*! \file output.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>, Dejan Jovanović <dejan.jovanovic@gmail.com> + ** Minor contributors (to current version): Tim King, 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/util/predicate.cpp b/src/util/predicate.cpp index 75cfe9be6..1b473d5ad 100644 --- a/src/util/predicate.cpp +++ b/src/util/predicate.cpp @@ -1,7 +1,7 @@ /********************* */ /*! \file predicate.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/util/predicate.h b/src/util/predicate.h index 9010072ba..686e92dc8 100644 --- a/src/util/predicate.h +++ b/src/util/predicate.h @@ -1,7 +1,7 @@ /********************* */ /*! \file predicate.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/util/proof.h b/src/util/proof.h index 585c75dad..aa81d3294 100644 --- a/src/util/proof.h +++ b/src/util/proof.h @@ -1,7 +1,7 @@ /********************* */ /*! \file proof.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/util/rational.h.in b/src/util/rational.h.in index 2ff0b4950..c02886906 100644 --- a/src/util/rational.h.in +++ b/src/util/rational.h.in @@ -1,8 +1,8 @@ /********************* */ /*! \file rational.h.in ** \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/util/rational_cln_imp.cpp b/src/util/rational_cln_imp.cpp index 0eaac26b3..2b29ece22 100644 --- a/src/util/rational_cln_imp.cpp +++ b/src/util/rational_cln_imp.cpp @@ -1,8 +1,8 @@ /********************* */ /*! \file rational_cln_imp.cpp ** \verbatim - ** Original author: Tim King <taking@cs.nyu.edu> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu>, Christopher L. Conway <christopherleeconway@gmail.com> + ** Original author: Tim King + ** Major contributors: 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/util/rational_cln_imp.h b/src/util/rational_cln_imp.h index 885625830..476ddd544 100644 --- a/src/util/rational_cln_imp.h +++ b/src/util/rational_cln_imp.h @@ -1,9 +1,9 @@ /********************* */ /*! \file rational_cln_imp.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/util/rational_gmp_imp.cpp b/src/util/rational_gmp_imp.cpp index ba57fcfe1..d496803dc 100644 --- a/src/util/rational_gmp_imp.cpp +++ b/src/util/rational_gmp_imp.cpp @@ -1,8 +1,8 @@ /********************* */ /*! \file rational_gmp_imp.cpp ** \verbatim - ** Original author: Tim King <taking@cs.nyu.edu> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu>, Christopher L. Conway <christopherleeconway@gmail.com> + ** Original author: Tim King + ** Major contributors: 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/util/rational_gmp_imp.h b/src/util/rational_gmp_imp.h index be4fea749..0916b523a 100644 --- a/src/util/rational_gmp_imp.h +++ b/src/util/rational_gmp_imp.h @@ -1,9 +1,9 @@ /********************* */ /*! \file rational_gmp_imp.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/util/record.cpp b/src/util/record.cpp index 222453b23..136f190a1 100644 --- a/src/util/record.cpp +++ b/src/util/record.cpp @@ -1,7 +1,7 @@ /********************* */ /*! \file record.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/util/record.h b/src/util/record.h index 0aab6bdc4..3d6481320 100644 --- a/src/util/record.h +++ b/src/util/record.h @@ -1,7 +1,7 @@ /********************* */ /*! \file record.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/util/recursion_breaker.h b/src/util/recursion_breaker.h index 5d28878e1..07bf10984 100644 --- a/src/util/recursion_breaker.h +++ b/src/util/recursion_breaker.h @@ -1,7 +1,7 @@ /********************* */ /*! \file recursion_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/util/result.cpp b/src/util/result.cpp index b8f940314..e0e34f07d 100644 --- a/src/util/result.cpp +++ b/src/util/result.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file result.cpp ** \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/util/result.h b/src/util/result.h index bb7418d1e..cb1bd50fa 100644 --- a/src/util/result.h +++ b/src/util/result.h @@ -1,9 +1,9 @@ /********************* */ /*! \file result.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/util/sexpr.cpp b/src/util/sexpr.cpp index a7b12c359..52d992d4b 100644 --- a/src/util/sexpr.cpp +++ b/src/util/sexpr.cpp @@ -1,7 +1,7 @@ /********************* */ /*! \file sexpr.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/util/sexpr.h b/src/util/sexpr.h index c7bdd250b..0222382b0 100644 --- a/src/util/sexpr.h +++ b/src/util/sexpr.h @@ -1,9 +1,9 @@ /********************* */ /*! \file sexpr.h ** \verbatim - ** Original author: Christopher L. Conway <christopherleeconway@gmail.com> - ** Major contributors: Tim King <taking@cs.nyu.edu>, Morgan Deters <mdeters@cs.nyu.edu> - ** Minor contributors (to current version): Dejan Jovanović <dejan.jovanovic@gmail.com> + ** Original author: Christopher L. Conway + ** Major contributors: Tim King, 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/util/sort_inference.cpp b/src/util/sort_inference.cpp index d700b70d9..d44499fa8 100644 --- a/src/util/sort_inference.cpp +++ b/src/util/sort_inference.cpp @@ -1,8 +1,8 @@ /********************* */ /*! \file sort_inference.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/util/sort_inference.h b/src/util/sort_inference.h index 0b1f96f85..1bcb8a208 100644 --- a/src/util/sort_inference.h +++ b/src/util/sort_inference.h @@ -1,8 +1,8 @@ /********************* */ /*! \file sort_inference.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/util/statistics.cpp b/src/util/statistics.cpp index c5215ab34..d632933b4 100644 --- a/src/util/statistics.cpp +++ b/src/util/statistics.cpp @@ -1,7 +1,7 @@ /********************* */ /*! \file statistics.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/util/statistics.h b/src/util/statistics.h index 11b2d70f7..5b9e75837 100644 --- a/src/util/statistics.h +++ b/src/util/statistics.h @@ -1,7 +1,7 @@ /********************* */ /*! \file statistics.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/util/statistics_registry.cpp b/src/util/statistics_registry.cpp index 8c7edfff0..f6a27e20d 100644 --- a/src/util/statistics_registry.cpp +++ b/src/util/statistics_registry.cpp @@ -1,8 +1,8 @@ /********************* */ /*! \file statistics_registry.cpp ** \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/util/statistics_registry.h b/src/util/statistics_registry.h index 5caddf14f..e0bc81d91 100644 --- a/src/util/statistics_registry.h +++ b/src/util/statistics_registry.h @@ -1,8 +1,8 @@ /********************* */ /*! \file statistics_registry.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/util/subrange_bound.h b/src/util/subrange_bound.h index f5b711175..82dc940ea 100644 --- a/src/util/subrange_bound.h +++ b/src/util/subrange_bound.h @@ -1,8 +1,8 @@ /********************* */ /*! \file subrange_bound.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/util/tls.h.in b/src/util/tls.h.in index a5af4a4c5..2512e481d 100644 --- a/src/util/tls.h.in +++ b/src/util/tls.h.in @@ -1,8 +1,8 @@ /********************* */ /*! \file tls.h.in ** \verbatim - ** Original author: ACSYS <cvc4-devel@cs.nyu.edu> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: ACSYS + ** 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/util/trans_closure.cpp b/src/util/trans_closure.cpp index 39aff5855..90b069485 100644 --- a/src/util/trans_closure.cpp +++ b/src/util/trans_closure.cpp @@ -1,9 +1,9 @@ /********************* */ /*! \file trans_closure.cpp ** \verbatim - ** Original author: Clark Barrett <barrett@cs.nyu.edu> - ** Major contributors: Andrew Reynolds <andrew.j.reynolds@gmail.com> - ** Minor contributors (to current version): Dejan Jovanović <dejan.jovanovic@gmail.com>, Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Clark Barrett + ** 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/util/trans_closure.h b/src/util/trans_closure.h index 459ed0d68..ce846637d 100644 --- a/src/util/trans_closure.h +++ b/src/util/trans_closure.h @@ -1,9 +1,9 @@ /********************* */ /*! \file trans_closure.h ** \verbatim - ** Original author: Clark Barrett <barrett@cs.nyu.edu> - ** Major contributors: Andrew Reynolds <andrew.j.reynolds@gmail.com> - ** Minor contributors (to current version): Dejan Jovanović <dejan.jovanovic@gmail.com>, Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Clark Barrett + ** 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/util/tuple.h b/src/util/tuple.h index 2c5b94b7c..375a1aba3 100644 --- a/src/util/tuple.h +++ b/src/util/tuple.h @@ -1,7 +1,7 @@ /********************* */ /*! \file tuple.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/util/uninterpreted_constant.cpp b/src/util/uninterpreted_constant.cpp index e1f2b640b..6b98a7be8 100644 --- a/src/util/uninterpreted_constant.cpp +++ b/src/util/uninterpreted_constant.cpp @@ -1,7 +1,7 @@ /********************* */ /*! \file uninterpreted_constant.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/util/uninterpreted_constant.h b/src/util/uninterpreted_constant.h index 2801cddc8..869491538 100644 --- a/src/util/uninterpreted_constant.h +++ b/src/util/uninterpreted_constant.h @@ -1,7 +1,7 @@ /********************* */ /*! \file uninterpreted_constant.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/util/util_model.cpp b/src/util/util_model.cpp index c64f45cd8..ab4c95ea5 100644 --- a/src/util/util_model.cpp +++ b/src/util/util_model.cpp @@ -1,8 +1,8 @@ /********************* */ /*! \file util_model.cpp ** \verbatim - ** Original author: Clark Barrett <barrett@cs.nyu.edu> - ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Clark Barrett + ** 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/util/util_model.h b/src/util/util_model.h index 3f1c00b36..535493a2d 100644 --- a/src/util/util_model.h +++ b/src/util/util_model.h @@ -1,8 +1,8 @@ /********************* */ /*! \file util_model.h ** \verbatim - ** Original author: Clark Barrett <barrett@cs.nyu.edu> - ** Major contributors: Andrew Reynolds <andrew.j.reynolds@gmail.com>, Morgan Deters <mdeters@cs.nyu.edu> + ** Original author: Clark Barrett + ** Major contributors: Andrew Reynolds, 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/util/utility.h b/src/util/utility.h index ab3319596..9b15adecd 100644 --- a/src/util/utility.h +++ b/src/util/utility.h @@ -1,7 +1,7 @@ /********************* */ /*! \file utility.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. |