diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-12-05 15:04:30 -0500 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-12-05 15:41:28 -0500 |
commit | d692211d62a5d5a58c4bbe11b495554671c43847 (patch) | |
tree | 5097a72499b72d54630d7dc7f890831eb1996b00 /src/util | |
parent | 2fab0a67761f8b63a3c3f5abdbe7f382f722a04f (diff) |
Update copyrights, add missing file-level documentation; fix perms.
Diffstat (limited to 'src/util')
-rw-r--r-- | src/util/bitvector.h | 2 | ||||
-rw-r--r-- | src/util/configuration.cpp | 2 | ||||
-rw-r--r-- | src/util/configuration.h | 2 | ||||
-rw-r--r-- | src/util/configuration_private.h | 2 | ||||
-rw-r--r-- | src/util/dense_map.h | 2 | ||||
-rw-r--r-- | src/util/gmp_util.h | 2 | ||||
-rw-r--r-- | src/util/hash.h | 2 | ||||
-rw-r--r-- | src/util/index.h | 2 | ||||
-rw-r--r-- | src/util/ite_removal.cpp | 2 | ||||
-rw-r--r-- | src/util/ite_removal.h | 2 | ||||
-rw-r--r-- | src/util/maybe.h | 8 | ||||
-rw-r--r-- | src/util/model.cpp | 2 | ||||
-rw-r--r-- | src/util/model.h | 4 | ||||
-rw-r--r-- | src/util/nary_builder.cpp | 17 | ||||
-rw-r--r-- | src/util/nary_builder.h | 17 | ||||
-rw-r--r-- | src/util/regexp.h | 4 |
16 files changed, 53 insertions, 19 deletions
diff --git a/src/util/bitvector.h b/src/util/bitvector.h index 04e23217b..e826a6704 100644 --- a/src/util/bitvector.h +++ b/src/util/bitvector.h @@ -3,7 +3,7 @@ ** \verbatim ** Original author: Dejan Jovanovic ** Major contributors: Morgan Deters, Liana Hadarean - ** Minor contributors (to current version): lianah, Christopher L. Conway + ** Minor contributors (to current version): 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/configuration.cpp b/src/util/configuration.cpp index f03c5e959..0d22325e7 100644 --- a/src/util/configuration.cpp +++ b/src/util/configuration.cpp @@ -3,7 +3,7 @@ ** \verbatim ** Original author: Morgan Deters ** Major contributors: none - ** Minor contributors (to current version): Liana Hadarean, ACSYS, Christopher L. Conway, Dejan Jovanovic, Francois Bobot + ** Minor contributors (to current version): Liana Hadarean, Tim King, 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 7e543c54e..be49e3dcf 100644 --- a/src/util/configuration.h +++ b/src/util/configuration.h @@ -3,7 +3,7 @@ ** \verbatim ** Original author: Morgan Deters ** Major contributors: none - ** Minor contributors (to current version): ACSYS, Liana Hadarean, Francois Bobot + ** Minor contributors (to current version): ACSYS, Liana Hadarean, Tim King, 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 3b3115887..e33c5fa36 100644 --- a/src/util/configuration_private.h +++ b/src/util/configuration_private.h @@ -3,7 +3,7 @@ ** \verbatim ** Original author: Christopher L. Conway ** Major contributors: ACSYS, Morgan Deters - ** Minor contributors (to current version): Liana Hadarean + ** Minor contributors (to current version): Liana Hadarean, 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/dense_map.h b/src/util/dense_map.h index 8f8b63668..10ca9f72f 100644 --- a/src/util/dense_map.h +++ b/src/util/dense_map.h @@ -3,7 +3,7 @@ ** \verbatim ** Original author: Tim King ** Major contributors: none - ** Minor contributors (to current version): Dejan Jovanovic, Morgan Deters + ** Minor contributors (to current version): Morgan Deters, Dejan Jovanovic ** This file is part of the CVC4 project. ** Copyright (c) 2009-2013 New York University and The University of Iowa ** See the file COPYING in the top-level source directory for licensing diff --git a/src/util/gmp_util.h b/src/util/gmp_util.h index f2cd0004f..b5654e9cb 100644 --- a/src/util/gmp_util.h +++ b/src/util/gmp_util.h @@ -3,7 +3,7 @@ ** \verbatim ** Original author: Dejan Jovanovic ** Major contributors: Morgan Deters - ** Minor contributors (to current version): 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 ** 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 34ca8be5b..0cdc96fcb 100644 --- a/src/util/hash.h +++ b/src/util/hash.h @@ -3,7 +3,7 @@ ** \verbatim ** Original author: Christopher L. Conway ** Major contributors: Morgan Deters - ** Minor contributors (to current version): Dejan Jovanovic, Tim King + ** 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/index.h b/src/util/index.h index 356dbdd8f..be3e2918b 100644 --- a/src/util/index.h +++ b/src/util/index.h @@ -3,7 +3,7 @@ ** \verbatim ** Original author: Tim King ** Major contributors: Morgan Deters - ** Minor contributors (to current version): lianah + ** 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/ite_removal.cpp b/src/util/ite_removal.cpp index 5231e05c2..0dfea4399 100644 --- a/src/util/ite_removal.cpp +++ b/src/util/ite_removal.cpp @@ -2,7 +2,7 @@ /*! \file ite_removal.cpp ** \verbatim ** Original author: Dejan Jovanovic - ** Major contributors: Andrew Reynolds, Morgan Deters + ** Major contributors: Morgan Deters, Andrew Reynolds, Tim King ** 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 diff --git a/src/util/ite_removal.h b/src/util/ite_removal.h index 9d79687f4..c2464636e 100644 --- a/src/util/ite_removal.h +++ b/src/util/ite_removal.h @@ -2,7 +2,7 @@ /*! \file ite_removal.h ** \verbatim ** Original author: Dejan Jovanovic - ** Major contributors: Kshitij Bansal, Morgan Deters + ** Major contributors: Kshitij Bansal, Morgan Deters, Tim King ** 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 diff --git a/src/util/maybe.h b/src/util/maybe.h index 795eac759..e90953e0b 100644 --- a/src/util/maybe.h +++ b/src/util/maybe.h @@ -1,11 +1,11 @@ /********************* */ /*! \file maybe.h ** \verbatim - ** Original author: taking + ** Original author: Tim King ** 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): 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/model.cpp b/src/util/model.cpp index 1d14a7c4f..e25065c21 100644 --- a/src/util/model.cpp +++ b/src/util/model.cpp @@ -1,7 +1,7 @@ /********************* */ /*! \file model.cpp ** \verbatim - ** Original author: Clark Barrett + ** Original author: Andrew Reynolds ** Major contributors: Morgan Deters ** Minor contributors (to current version): none ** This file is part of the CVC4 project. diff --git a/src/util/model.h b/src/util/model.h index 2224f74db..1d80b0308 100644 --- a/src/util/model.h +++ b/src/util/model.h @@ -1,8 +1,8 @@ /********************* */ /*! \file model.h ** \verbatim - ** Original author: Clark Barrett - ** Major contributors: Andrew Reynolds, Morgan Deters + ** 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/nary_builder.cpp b/src/util/nary_builder.cpp index 004dd3382..08aceef6f 100644 --- a/src/util/nary_builder.cpp +++ b/src/util/nary_builder.cpp @@ -1,3 +1,20 @@ +/********************* */ +/*! \file nary_builder.cpp + ** \verbatim + ** Original author: Tim King + ** Major contributors: none + ** Minor contributors (to current version): none + ** This file is part of the CVC4 project. + ** Copyright (c) 2009-2013 New York University and The University of Iowa + ** See the file COPYING in the top-level source directory for licensing + ** information.\endverbatim + ** + ** \brief [[ Add one-line brief description here ]] + ** + ** [[ Add lengthier description here ]] + ** \todo document this file + **/ + #include "util/nary_builder.h" #include "expr/metakind.h" diff --git a/src/util/nary_builder.h b/src/util/nary_builder.h index ceaa44e77..7676cadbc 100644 --- a/src/util/nary_builder.h +++ b/src/util/nary_builder.h @@ -1,3 +1,20 @@ +/********************* */ +/*! \file nary_builder.h + ** \verbatim + ** Original author: Tim King + ** Major contributors: none + ** Minor contributors (to current version): none + ** This file is part of the CVC4 project. + ** Copyright (c) 2009-2013 New York University and The University of Iowa + ** See the file COPYING in the top-level source directory for licensing + ** information.\endverbatim + ** + ** \brief [[ Add one-line brief description here ]] + ** + ** [[ Add lengthier description here ]] + ** \todo document this file + **/ + #include "cvc4_private.h" diff --git a/src/util/regexp.h b/src/util/regexp.h index bcd569df0..3a8fc7170 100644 --- a/src/util/regexp.h +++ b/src/util/regexp.h @@ -3,8 +3,8 @@ ** \verbatim ** Original author: Tianyi Liang ** Major contributors: none - ** Minor contributors (to current version): none - ** This file is part of the CVC4 prototype. + ** Minor contributors (to current version): Morgan Deters + ** This file is part of the CVC4 project. ** Copyright (c) 2009-2013 New York University and The University of Iowa ** See the file COPYING in the top-level source directory for licensing ** information.\endverbatim |