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/util | |
parent | 2f195e4babef016e9b02faeb80cd79f0177a3f05 (diff) |
update copyrights
Diffstat (limited to 'src/util')
75 files changed, 287 insertions, 299 deletions
diff --git a/src/util/abstract_value.cpp b/src/util/abstract_value.cpp index a7d5f597f..63ae73008 100644 --- a/src/util/abstract_value.cpp +++ b/src/util/abstract_value.cpp @@ -1,11 +1,11 @@ /********************* */ /*! \file abstract_value.cpp ** \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 ** diff --git a/src/util/abstract_value.h b/src/util/abstract_value.h index da9f2827a..3a4a61106 100644 --- a/src/util/abstract_value.h +++ b/src/util/abstract_value.h @@ -1,11 +1,11 @@ /********************* */ /*! \file abstract_value.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 ** diff --git a/src/util/array.h b/src/util/array.h index b28d1f331..22d6f2696 100644 --- a/src/util/array.h +++ b/src/util/array.h @@ -1,11 +1,11 @@ /********************* */ /*! \file array.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 ** diff --git a/src/util/array_store_all.cpp b/src/util/array_store_all.cpp index 957fea2a2..b9527919a 100644 --- a/src/util/array_store_all.cpp +++ b/src/util/array_store_all.cpp @@ -1,11 +1,11 @@ /********************* */ /*! \file array_store_all.cpp ** \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 ** diff --git a/src/util/array_store_all.h b/src/util/array_store_all.h index cd51ba59a..6ec076cf0 100644 --- a/src/util/array_store_all.h +++ b/src/util/array_store_all.h @@ -1,11 +1,11 @@ /********************* */ /*! \file array_store_all.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 ** diff --git a/src/util/ascription_type.h b/src/util/ascription_type.h index 37b46190f..ecdd8f5aa 100644 --- a/src/util/ascription_type.h +++ b/src/util/ascription_type.h @@ -1,11 +1,11 @@ /********************* */ /*! \file ascription_type.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 ** diff --git a/src/util/backtrackable.h b/src/util/backtrackable.h index 4364a27b7..ff94e2bbc 100644 --- a/src/util/backtrackable.h +++ b/src/util/backtrackable.h @@ -1,11 +1,11 @@ /********************* */ /*! \file backtrackable.h ** \verbatim - ** Original author: lianah - ** Major contributors: 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 ** diff --git a/src/util/bitvector.h b/src/util/bitvector.h index c9661c0c7..b4088d725 100644 --- a/src/util/bitvector.h +++ b/src/util/bitvector.h @@ -1,11 +1,11 @@ /********************* */ /*! \file bitvector.h ** \verbatim - ** Original author: dejan - ** Major contributors: mdeters, lianah - ** Minor contributors (to current version): cconway - ** 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): lianah <lianahady@gmail.com>, Christopher L. Conway <christopherleeconway@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/util/bool.h b/src/util/bool.h index f486a92a0..c7ca69544 100644 --- a/src/util/bool.h +++ b/src/util/bool.h @@ -1,11 +1,11 @@ /********************* */ /*! \file bool.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 ** diff --git a/src/util/boolean_simplification.cpp b/src/util/boolean_simplification.cpp index 2f61d8c8d..e6aecf84f 100644 --- a/src/util/boolean_simplification.cpp +++ b/src/util/boolean_simplification.cpp @@ -1,11 +1,11 @@ /********************* */ /*! \file boolean_simplification.cpp ** \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 ** diff --git a/src/util/boolean_simplification.h b/src/util/boolean_simplification.h index 06f87661a..d540f2853 100644 --- a/src/util/boolean_simplification.h +++ b/src/util/boolean_simplification.h @@ -1,11 +1,11 @@ /********************* */ /*! \file boolean_simplification.h ** \verbatim - ** Original author: taking - ** Major contributors: mdeters + ** Original author: Tim King <taking@cs.nyu.edu> + ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> ** 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/util/cache.h b/src/util/cache.h index 245eb2e24..88d1bde1a 100644 --- a/src/util/cache.h +++ b/src/util/cache.h @@ -1,11 +1,11 @@ /********************* */ /*! \file cache.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 ** diff --git a/src/util/cardinality.cpp b/src/util/cardinality.cpp index 36f09f137..09046629a 100644 --- a/src/util/cardinality.cpp +++ b/src/util/cardinality.cpp @@ -1,11 +1,11 @@ /********************* */ /*! \file cardinality.cpp ** \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 + ** 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/util/cardinality.h b/src/util/cardinality.h index c9d051c9e..4f8b87331 100644 --- a/src/util/cardinality.h +++ b/src/util/cardinality.h @@ -1,11 +1,11 @@ /********************* */ /*! \file cardinality.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 + ** 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/util/channel.h b/src/util/channel.h index 3fdafafb4..ea7214499 100644 --- a/src/util/channel.h +++ b/src/util/channel.h @@ -1,11 +1,11 @@ /********************* */ /*! \file channel.h ** \verbatim - ** Original author: kshitij - ** Major contributors: 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 ** diff --git a/src/util/configuration.cpp b/src/util/configuration.cpp index ce6273a13..0ecfbd561 100644 --- a/src/util/configuration.cpp +++ b/src/util/configuration.cpp @@ -1,11 +1,11 @@ /********************* */ /*! \file configuration.cpp ** \verbatim - ** Original author: mdeters + ** Original author: Morgan Deters <mdeters@cs.nyu.edu> ** Major contributors: none - ** Minor contributors (to current version): lianah, acsys, cconway, dejan, bobot - ** 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>, ACSYS <cvc4-devel@cs.nyu.edu>, Christopher L. Conway <christopherleeconway@gmail.com>, Dejan Jovanović <dejan.jovanovic@gmail.com>, François Bobot <francois@bobot.eu> + ** 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/util/configuration.h b/src/util/configuration.h index c85f62f7f..9a642303c 100644 --- a/src/util/configuration.h +++ b/src/util/configuration.h @@ -1,11 +1,11 @@ /********************* */ /*! \file configuration.h ** \verbatim - ** Original author: mdeters + ** Original author: Morgan Deters <mdeters@cs.nyu.edu> ** Major contributors: none - ** Minor contributors (to current version): acsys, lianah, bobot - ** 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): ACSYS <cvc4-devel@cs.nyu.edu>, Liana Hadarean <lianahady@gmail.com>, François Bobot <francois@bobot.eu> + ** 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/util/configuration_private.h b/src/util/configuration_private.h index 7c94f4c18..34e916950 100644 --- a/src/util/configuration_private.h +++ b/src/util/configuration_private.h @@ -1,11 +1,11 @@ /********************* */ /*! \file configuration_private.h ** \verbatim - ** Original author: mdeters - ** Major contributors: acsys - ** Minor contributors (to current version): lianah, cconway - ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 New York University and The University of Iowa + ** 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> + ** 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/util/cvc4_assert.cpp b/src/util/cvc4_assert.cpp index 203a75d12..0fccfb94e 100644 --- a/src/util/cvc4_assert.cpp +++ b/src/util/cvc4_assert.cpp @@ -1,11 +1,11 @@ /********************* */ /*! \file cvc4_assert.cpp ** \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 ** diff --git a/src/util/cvc4_assert.h b/src/util/cvc4_assert.h index d3a85d7d1..aaf140489 100644 --- a/src/util/cvc4_assert.h +++ b/src/util/cvc4_assert.h @@ -1,11 +1,11 @@ /********************* */ /*! \file cvc4_assert.h ** \verbatim - ** Original author: mdeters + ** Original author: Morgan Deters <mdeters@cs.nyu.edu> ** Major contributors: none - ** Minor contributors (to current version): acsys - ** 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): ACSYS <cvc4-devel@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/util/datatype.cpp b/src/util/datatype.cpp index 574a57f19..237cc197f 100644 --- a/src/util/datatype.cpp +++ b/src/util/datatype.cpp @@ -1,11 +1,11 @@ /********************* */ /*! \file datatype.cpp ** \verbatim - ** Original author: mdeters - ** Major contributors: ajreynol + ** Original author: Morgan Deters <mdeters@cs.nyu.edu> + ** Major contributors: Andrew Reynolds <andrew.j.reynolds@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/util/datatype.h b/src/util/datatype.h index 4b6894ef8..ae575a377 100644 --- a/src/util/datatype.h +++ b/src/util/datatype.h @@ -1,11 +1,11 @@ /********************* */ /*! \file datatype.h ** \verbatim - ** Original author: mdeters + ** Original author: Morgan Deters <mdeters@cs.nyu.edu> ** Major contributors: none - ** Minor contributors (to current version): ajreynol - ** 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): 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/util/debug.h b/src/util/debug.h index 81ce491b7..44a7d490c 100644 --- a/src/util/debug.h +++ b/src/util/debug.h @@ -1,11 +1,11 @@ /********************* */ /*! \file debug.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 ** diff --git a/src/util/dense_map.h b/src/util/dense_map.h index b7d690811..b1c8dd40c 100644 --- a/src/util/dense_map.h +++ b/src/util/dense_map.h @@ -1,11 +1,11 @@ /********************* */ /*! \file dense_map.h ** \verbatim - ** Original author: taking + ** Original author: Tim King <taking@cs.nyu.edu> ** 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): Dejan Jovanović <dejan@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/util/dump.cpp b/src/util/dump.cpp index 2b7ea69f5..c9667f695 100644 --- a/src/util/dump.cpp +++ b/src/util/dump.cpp @@ -1,11 +1,11 @@ /********************* */ /*! \file dump.cpp ** \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 ** diff --git a/src/util/dump.h b/src/util/dump.h index 7c8a14d83..58f649273 100644 --- a/src/util/dump.h +++ b/src/util/dump.h @@ -1,11 +1,11 @@ /********************* */ /*! \file dump.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 ** diff --git a/src/util/dynamic_array.h b/src/util/dynamic_array.h index c30320156..a66a883fc 100644 --- a/src/util/dynamic_array.h +++ b/src/util/dynamic_array.h @@ -1,11 +1,11 @@ /********************* */ /*! \file dynamic_array.h ** \verbatim - ** Original author: taking - ** Major contributors: mdeters + ** Original author: Tim King <taking@cs.nyu.edu> + ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> ** 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/util/exception.cpp b/src/util/exception.cpp index 92f5c1840..7a2a12ea0 100644 --- a/src/util/exception.cpp +++ b/src/util/exception.cpp @@ -1,11 +1,11 @@ /********************* */ /*! \file exception.cpp ** \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 ** diff --git a/src/util/exception.h b/src/util/exception.h index b367f20e5..91840addd 100644 --- a/src/util/exception.h +++ b/src/util/exception.h @@ -1,11 +1,11 @@ /********************* */ /*! \file exception.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 ** diff --git a/src/util/gmp_util.h b/src/util/gmp_util.h index f35bec687..b52beff62 100644 --- a/src/util/gmp_util.h +++ b/src/util/gmp_util.h @@ -1,11 +1,11 @@ /********************* */ /*! \file gmp_util.h ** \verbatim - ** Original author: dejan - ** Major contributors: mdeters - ** 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> + ** 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/util/hash.h b/src/util/hash.h index 913358512..c86dde528 100644 --- a/src/util/hash.h +++ b/src/util/hash.h @@ -1,11 +1,11 @@ /********************* */ /*! \file hash.h ** \verbatim - ** Original author: cconway - ** Major contributors: mdeters - ** 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: 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> + ** 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/util/index.h b/src/util/index.h index 252f7066b..f34b9ab89 100644 --- a/src/util/index.h +++ b/src/util/index.h @@ -1,11 +1,11 @@ /********************* */ /*! \file index.h ** \verbatim - ** Original author: taking - ** Major contributors: mdeters - ** 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: Tim King <taking@cs.nyu.edu> + ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> + ** Minor contributors (to current version): 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/util/integer.h.in b/src/util/integer.h.in index 27b589b5a..9067e2340 100644 --- a/src/util/integer.h.in +++ b/src/util/integer.h.in @@ -1,13 +1,11 @@ /********************* */ /*! \file integer.h.in ** \verbatim - ** Original author: taking - ** Major contributors: none - ** Minor contributors (to current version): dejan, cconway, mdeters - ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 The Analysis of Computer Systems Group (ACSys) - ** Courant Institute of Mathematical Sciences - ** New York University + ** Original author: Morgan Deters <mdeters@cs.nyu.edu> + ** Major contributors: Tim King <taking@cs.nyu.edu> + ** 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/util/integer_cln_imp.h b/src/util/integer_cln_imp.h index 81c0428cb..982bf749e 100644 --- a/src/util/integer_cln_imp.h +++ b/src/util/integer_cln_imp.h @@ -1,11 +1,11 @@ /********************* */ /*! \file integer_cln_imp.h ** \verbatim - ** Original author: taking - ** Major contributors: lianah, mdeters - ** Minor contributors (to current version): dejan - ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 New York University and The University of Iowa + ** 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> + ** 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/util/integer_gmp_imp.h b/src/util/integer_gmp_imp.h index 9a7878066..a292dd949 100644 --- a/src/util/integer_gmp_imp.h +++ b/src/util/integer_gmp_imp.h @@ -1,11 +1,11 @@ /********************* */ /*! \file integer_gmp_imp.h ** \verbatim - ** Original author: taking - ** Major contributors: lianah, mdeters - ** Minor contributors (to current version): dejan - ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 New York University and The University of Iowa + ** 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> + ** 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/util/ite_removal.cpp b/src/util/ite_removal.cpp index de7ae2e97..1330408c7 100644 --- a/src/util/ite_removal.cpp +++ b/src/util/ite_removal.cpp @@ -1,11 +1,11 @@ /********************* */ /*! \file ite_removal.cpp ** \verbatim - ** Original author: dejan - ** Major contributors: mdeters - ** 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: Andrew Reynolds <andrew.j.reynolds@gmail.com>, Morgan Deters <mdeters@cs.nyu.edu> + ** Minor contributors (to current version): 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/util/ite_removal.h b/src/util/ite_removal.h index 6c0c74cd4..c7c9025bd 100644 --- a/src/util/ite_removal.h +++ b/src/util/ite_removal.h @@ -1,11 +1,11 @@ /********************* */ /*! \file ite_removal.h ** \verbatim - ** Original author: dejan - ** Major contributors: kshitij, mdeters - ** 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: 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> + ** 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/util/language.cpp b/src/util/language.cpp index fae9527b6..74d44e093 100644 --- a/src/util/language.cpp +++ b/src/util/language.cpp @@ -1,11 +1,11 @@ /********************* */ /*! \file language.cpp ** \verbatim - ** Original author: mdeters + ** Original author: Morgan Deters <mdeters@cs.nyu.edu> ** Major contributors: none - ** Minor contributors (to current version): bobot - ** 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): François Bobot <francois@bobot.eu> + ** 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/util/language.h b/src/util/language.h index c5eb26c41..e087a8326 100644 --- a/src/util/language.h +++ b/src/util/language.h @@ -1,11 +1,11 @@ /********************* */ /*! \file language.h ** \verbatim - ** Original author: mdeters + ** Original author: Morgan Deters <mdeters@cs.nyu.edu> ** Major contributors: none - ** Minor contributors (to current version): bobot - ** 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): François Bobot <francois@bobot.eu> + ** 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/util/lemma_input_channel.h b/src/util/lemma_input_channel.h index 44ab05a41..ec6e7247d 100644 --- a/src/util/lemma_input_channel.h +++ b/src/util/lemma_input_channel.h @@ -1,11 +1,11 @@ /********************* */ /*! \file lemma_input_channel.h ** \verbatim - ** Original author: taking - ** Major contributors: 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 ** diff --git a/src/util/lemma_output_channel.h b/src/util/lemma_output_channel.h index 47ba7c346..c1ec1e6c5 100644 --- a/src/util/lemma_output_channel.h +++ b/src/util/lemma_output_channel.h @@ -1,11 +1,11 @@ /********************* */ /*! \file lemma_output_channel.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 ** diff --git a/src/util/matcher.h b/src/util/matcher.h index 78738e27f..13bec9fc3 100644 --- a/src/util/matcher.h +++ b/src/util/matcher.h @@ -1,11 +1,11 @@ /********************* */ /*! \file matcher.h ** \verbatim - ** Original author: mdeters - ** Major contributors: ajreynol + ** Original author: Morgan Deters <mdeters@cs.nyu.edu> + ** Major contributors: Andrew Reynolds <andrew.j.reynolds@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/util/node_visitor.h b/src/util/node_visitor.h index 4c8e646bd..a5ea0a26a 100644 --- a/src/util/node_visitor.h +++ b/src/util/node_visitor.h @@ -1,11 +1,11 @@ /********************* */ /*! \file node_visitor.h ** \verbatim - ** Original author: dejan - ** Major contributors: mdeters, lianah + ** Original author: Dejan Jovanović <dejan.jovanovic@gmail.com> + ** Major contributors: Liana Hadarean <lianahady@gmail.com>, Morgan Deters <mdeters@cs.nyu.edu> ** 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/util/ntuple.h b/src/util/ntuple.h index a57a2c9c4..b87003a06 100644 --- a/src/util/ntuple.h +++ b/src/util/ntuple.h @@ -1,11 +1,11 @@ /********************* */ /*! \file ntuple.h ** \verbatim - ** Original author: mdeters - ** Major contributors: lianah + ** 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 ** diff --git a/src/util/output.cpp b/src/util/output.cpp index 834609a55..71aba1f6c 100644 --- a/src/util/output.cpp +++ b/src/util/output.cpp @@ -1,11 +1,11 @@ /********************* */ /*! \file output.cpp ** \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 ** diff --git a/src/util/output.h b/src/util/output.h index 0b89980f2..dbf8b1c8a 100644 --- a/src/util/output.h +++ b/src/util/output.h @@ -1,11 +1,11 @@ /********************* */ /*! \file output.h ** \verbatim - ** Original author: mdeters + ** Original author: Morgan Deters <mdeters@cs.nyu.edu> ** Major contributors: none - ** Minor contributors (to current version): taking, 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): Tim King <taking@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/util/predicate.cpp b/src/util/predicate.cpp index 7eeb412ba..75cfe9be6 100644 --- a/src/util/predicate.cpp +++ b/src/util/predicate.cpp @@ -1,11 +1,11 @@ /********************* */ /*! \file predicate.cpp ** \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 ** diff --git a/src/util/predicate.h b/src/util/predicate.h index b4a9ff131..9010072ba 100644 --- a/src/util/predicate.h +++ b/src/util/predicate.h @@ -1,11 +1,11 @@ /********************* */ /*! \file predicate.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 ** diff --git a/src/util/proof.h b/src/util/proof.h index 9d189e994..585c75dad 100644 --- a/src/util/proof.h +++ b/src/util/proof.h @@ -1,11 +1,11 @@ /********************* */ /*! \file proof.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 ** diff --git a/src/util/rational.h.in b/src/util/rational.h.in index 7f5b1feb4..2ff0b4950 100644 --- a/src/util/rational.h.in +++ b/src/util/rational.h.in @@ -1,13 +1,11 @@ /********************* */ /*! \file rational.h.in ** \verbatim - ** Original author: taking - ** Major contributors: none - ** Minor contributors (to current version): dejan, mdeters, cconway - ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 The Analysis of Computer Systems Group (ACSys) - ** Courant Institute of Mathematical Sciences - ** New York University + ** Original author: Morgan Deters <mdeters@cs.nyu.edu> + ** Major contributors: Tim King <taking@cs.nyu.edu> + ** 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/util/rational_cln_imp.cpp b/src/util/rational_cln_imp.cpp index 72c2dc8d6..0eaac26b3 100644 --- a/src/util/rational_cln_imp.cpp +++ b/src/util/rational_cln_imp.cpp @@ -1,11 +1,11 @@ /********************* */ /*! \file rational_cln_imp.cpp ** \verbatim - ** Original author: taking - ** Major contributors: mdeters + ** Original author: Tim King <taking@cs.nyu.edu> + ** Major contributors: 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/util/rational_cln_imp.h b/src/util/rational_cln_imp.h index 88327b400..885625830 100644 --- a/src/util/rational_cln_imp.h +++ b/src/util/rational_cln_imp.h @@ -1,11 +1,11 @@ /********************* */ /*! \file rational_cln_imp.h ** \verbatim - ** Original author: taking - ** Major contributors: mdeters - ** Minor contributors (to current version): dejan - ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 New York University and The University of Iowa + ** 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> + ** 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/util/rational_gmp_imp.cpp b/src/util/rational_gmp_imp.cpp index c563258bd..ba57fcfe1 100644 --- a/src/util/rational_gmp_imp.cpp +++ b/src/util/rational_gmp_imp.cpp @@ -1,11 +1,11 @@ /********************* */ /*! \file rational_gmp_imp.cpp ** \verbatim - ** Original author: taking - ** Major contributors: mdeters + ** Original author: Tim King <taking@cs.nyu.edu> + ** Major contributors: 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/util/rational_gmp_imp.h b/src/util/rational_gmp_imp.h index 787f21ecd..be4fea749 100644 --- a/src/util/rational_gmp_imp.h +++ b/src/util/rational_gmp_imp.h @@ -1,11 +1,11 @@ /********************* */ /*! \file rational_gmp_imp.h ** \verbatim - ** Original author: taking - ** Major contributors: mdeters - ** Minor contributors (to current version): dejan - ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 New York University and The University of Iowa + ** 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> + ** 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/util/record.cpp b/src/util/record.cpp index f3dc29f81..222453b23 100644 --- a/src/util/record.cpp +++ b/src/util/record.cpp @@ -1,13 +1,11 @@ /********************* */ /*! \file record.cpp ** \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 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/util/record.h b/src/util/record.h index 27b090e1d..0aab6bdc4 100644 --- a/src/util/record.h +++ b/src/util/record.h @@ -1,13 +1,11 @@ /********************* */ /*! \file record.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 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/util/recursion_breaker.h b/src/util/recursion_breaker.h index ffb2f27d7..5d28878e1 100644 --- a/src/util/recursion_breaker.h +++ b/src/util/recursion_breaker.h @@ -1,11 +1,11 @@ /********************* */ /*! \file recursion_breaker.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 ** diff --git a/src/util/result.cpp b/src/util/result.cpp index 6a32747cb..b8f940314 100644 --- a/src/util/result.cpp +++ b/src/util/result.cpp @@ -1,11 +1,11 @@ /********************* */ /*! \file result.cpp ** \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 + ** 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/util/result.h b/src/util/result.h index fd1d82d9b..bb7418d1e 100644 --- a/src/util/result.h +++ b/src/util/result.h @@ -1,11 +1,11 @@ /********************* */ /*! \file result.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 + ** 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/util/sexpr.cpp b/src/util/sexpr.cpp index ef080d1c4..a7b12c359 100644 --- a/src/util/sexpr.cpp +++ b/src/util/sexpr.cpp @@ -1,11 +1,11 @@ /********************* */ /*! \file sexpr.cpp ** \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 ** diff --git a/src/util/sexpr.h b/src/util/sexpr.h index e9ea83aa1..c7bdd250b 100644 --- a/src/util/sexpr.h +++ b/src/util/sexpr.h @@ -1,11 +1,11 @@ /********************* */ /*! \file sexpr.h ** \verbatim - ** Original author: cconway - ** Major contributors: mdeters - ** Minor contributors (to current version): dejan, taking - ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 New York University and The University of Iowa + ** 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> + ** 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/util/statistics.cpp b/src/util/statistics.cpp index 6858f7bae..c5215ab34 100644 --- a/src/util/statistics.cpp +++ b/src/util/statistics.cpp @@ -1,11 +1,11 @@ /********************* */ /*! \file statistics.cpp ** \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 ** diff --git a/src/util/statistics.h b/src/util/statistics.h index 9ad925f55..11b2d70f7 100644 --- a/src/util/statistics.h +++ b/src/util/statistics.h @@ -1,11 +1,11 @@ /********************* */ /*! \file statistics.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 ** diff --git a/src/util/statistics_registry.cpp b/src/util/statistics_registry.cpp index b86b557e2..8c7edfff0 100644 --- a/src/util/statistics_registry.cpp +++ b/src/util/statistics_registry.cpp @@ -1,11 +1,11 @@ /********************* */ /*! \file statistics_registry.cpp ** \verbatim - ** Original author: taking - ** Major contributors: mdeters + ** Original author: Morgan Deters <mdeters@cs.nyu.edu> + ** Major contributors: Tim King <taking@cs.nyu.edu> ** 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/util/statistics_registry.h b/src/util/statistics_registry.h index af9088663..5caddf14f 100644 --- a/src/util/statistics_registry.h +++ b/src/util/statistics_registry.h @@ -1,11 +1,11 @@ /********************* */ /*! \file statistics_registry.h ** \verbatim - ** Original author: taking - ** Major contributors: mdeters + ** Original author: Morgan Deters <mdeters@cs.nyu.edu> + ** Major contributors: Tim King <taking@cs.nyu.edu> ** 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/util/subrange_bound.h b/src/util/subrange_bound.h index 1ef6bd513..f5b711175 100644 --- a/src/util/subrange_bound.h +++ b/src/util/subrange_bound.h @@ -1,11 +1,11 @@ /********************* */ /*! \file subrange_bound.h ** \verbatim - ** Original author: mdeters - ** Major contributors: taking + ** Original author: Morgan Deters <mdeters@cs.nyu.edu> + ** Major contributors: Tim King <taking@cs.nyu.edu> ** 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/util/tls.h.in b/src/util/tls.h.in index 935586f77..a5af4a4c5 100644 --- a/src/util/tls.h.in +++ b/src/util/tls.h.in @@ -1,13 +1,11 @@ /********************* */ /*! \file tls.h.in ** \verbatim - ** Original author: mdeters - ** Major contributors: none + ** Original author: ACSYS <cvc4-devel@cs.nyu.edu> + ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> ** Minor contributors (to current version): none - ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009, 2010 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/util/trans_closure.cpp b/src/util/trans_closure.cpp index c4a760221..39aff5855 100644 --- a/src/util/trans_closure.cpp +++ b/src/util/trans_closure.cpp @@ -1,11 +1,11 @@ /********************* */ /*! \file trans_closure.cpp ** \verbatim - ** Original author: barrett - ** Major contributors: ajreynol - ** 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: 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> + ** 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/util/trans_closure.h b/src/util/trans_closure.h index ac89a7920..459ed0d68 100644 --- a/src/util/trans_closure.h +++ b/src/util/trans_closure.h @@ -1,11 +1,11 @@ /********************* */ /*! \file trans_closure.h ** \verbatim - ** Original author: barrett - ** Major contributors: ajreynol - ** 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: 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> + ** 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/util/tuple.h b/src/util/tuple.h index 6c1e981a4..2c5b94b7c 100644 --- a/src/util/tuple.h +++ b/src/util/tuple.h @@ -1,13 +1,11 @@ /********************* */ /*! \file tuple.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 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/util/uninterpreted_constant.cpp b/src/util/uninterpreted_constant.cpp index b8ccbd471..e1f2b640b 100644 --- a/src/util/uninterpreted_constant.cpp +++ b/src/util/uninterpreted_constant.cpp @@ -1,11 +1,11 @@ /********************* */ /*! \file uninterpreted_constant.cpp ** \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 ** diff --git a/src/util/uninterpreted_constant.h b/src/util/uninterpreted_constant.h index cc445b387..2801cddc8 100644 --- a/src/util/uninterpreted_constant.h +++ b/src/util/uninterpreted_constant.h @@ -1,11 +1,11 @@ /********************* */ /*! \file uninterpreted_constant.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 ** diff --git a/src/util/util_model.cpp b/src/util/util_model.cpp index 0c058fce9..c64f45cd8 100644 --- a/src/util/util_model.cpp +++ b/src/util/util_model.cpp @@ -1,11 +1,11 @@ /********************* */ /*! \file util_model.cpp ** \verbatim - ** Original author: barrett - ** Major contributors: mdeters + ** Original author: Clark Barrett <barrett@cs.nyu.edu> + ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> ** 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/util/util_model.h b/src/util/util_model.h index 21c3fb400..3f1c00b36 100644 --- a/src/util/util_model.h +++ b/src/util/util_model.h @@ -1,11 +1,11 @@ /********************* */ /*! \file util_model.h ** \verbatim - ** Original author: barrett - ** Major contributors: mdeters - ** Minor contributors (to current version): ajreynol - ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 New York University and The University of Iowa + ** Original author: Clark Barrett <barrett@cs.nyu.edu> + ** Major contributors: Andrew Reynolds <andrew.j.reynolds@gmail.com>, Morgan Deters <mdeters@cs.nyu.edu> + ** 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/util/utility.h b/src/util/utility.h index 089be478d..ab3319596 100644 --- a/src/util/utility.h +++ b/src/util/utility.h @@ -1,11 +1,11 @@ /********************* */ /*! \file utility.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 ** |