diff options
Diffstat (limited to 'src/expr')
-rw-r--r-- | src/expr/attribute.cpp | 2 | ||||
-rw-r--r-- | src/expr/attribute.h | 4 | ||||
-rw-r--r-- | src/expr/attribute_internals.h | 2 | ||||
-rw-r--r-- | src/expr/attribute_unique_id.h | 19 | ||||
-rw-r--r-- | src/expr/command.cpp | 4 | ||||
-rw-r--r-- | src/expr/expr_template.cpp | 2 | ||||
-rw-r--r-- | src/expr/metakind_template.h | 2 | ||||
-rw-r--r-- | src/expr/node.cpp | 2 | ||||
-rw-r--r-- | src/expr/node.h | 2 | ||||
-rw-r--r-- | src/expr/node_manager.cpp | 4 | ||||
-rw-r--r-- | src/expr/node_manager.h | 2 | ||||
-rw-r--r-- | src/expr/pickle_data.h | 2 | ||||
-rw-r--r-- | src/expr/type_checker.h | 2 | ||||
-rw-r--r-- | src/expr/type_checker_template.cpp | 4 | ||||
-rw-r--r-- | src/expr/type_node.h | 2 |
15 files changed, 36 insertions, 19 deletions
diff --git a/src/expr/attribute.cpp b/src/expr/attribute.cpp index 056e68c69..86768500b 100644 --- a/src/expr/attribute.cpp +++ b/src/expr/attribute.cpp @@ -2,7 +2,7 @@ /*! \file attribute.cpp ** \verbatim ** Original author: Morgan Deters - ** Major contributors: Dejan Jovanovic + ** Major contributors: Dejan Jovanovic, 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/expr/attribute.h b/src/expr/attribute.h index 1e3f25461..d203b75ad 100644 --- a/src/expr/attribute.h +++ b/src/expr/attribute.h @@ -2,8 +2,8 @@ /*! \file attribute.h ** \verbatim ** Original author: Morgan Deters - ** Major contributors: Dejan Jovanovic - ** Minor contributors (to current version): Christopher L. Conway, Tim King + ** Major contributors: Tim King + ** Minor contributors (to current version): Christopher L. Conway, 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/expr/attribute_internals.h b/src/expr/attribute_internals.h index fa6459481..0a3d389e7 100644 --- a/src/expr/attribute_internals.h +++ b/src/expr/attribute_internals.h @@ -3,7 +3,7 @@ ** \verbatim ** Original author: Morgan Deters ** Major contributors: none - ** Minor contributors (to current version): Dejan Jovanovic + ** 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/expr/attribute_unique_id.h b/src/expr/attribute_unique_id.h index 79c6bfd8f..08b31a4c0 100644 --- a/src/expr/attribute_unique_id.h +++ b/src/expr/attribute_unique_id.h @@ -1,7 +1,24 @@ +/********************* */ +/*! \file attribute_unique_id.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" #pragma once -#include "cvc4_private.h" #include <stdint.h> // ATTRIBUTE IDs ============================================================ diff --git a/src/expr/command.cpp b/src/expr/command.cpp index d3e4b8553..0b664ceb4 100644 --- a/src/expr/command.cpp +++ b/src/expr/command.cpp @@ -2,8 +2,8 @@ /*! \file command.cpp ** \verbatim ** Original author: Morgan Deters - ** Major contributors: Francois Bobot - ** Minor contributors (to current version): Kshitij Bansal, Dejan Jovanovic, Andrew Reynolds + ** Major contributors: none + ** Minor contributors (to current version): Kshitij Bansal, Dejan Jovanovic, Andrew Reynolds, 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/expr/expr_template.cpp b/src/expr/expr_template.cpp index 085a3a0c8..e1578efa7 100644 --- a/src/expr/expr_template.cpp +++ b/src/expr/expr_template.cpp @@ -3,7 +3,7 @@ ** \verbatim ** Original author: Morgan Deters ** Major contributors: Dejan Jovanovic - ** Minor contributors (to current version): Tim King, Kshitij Bansal, Christopher L. Conway + ** Minor contributors (to current version): Tim King, Christopher L. Conway, Kshitij Bansal ** This file is part of the CVC4 project. ** Copyright (c) 2009-2013 New York University and The University of Iowa ** See the file COPYING in the top-level source directory for licensing diff --git a/src/expr/metakind_template.h b/src/expr/metakind_template.h index a330aa4a9..ea9a598c0 100644 --- a/src/expr/metakind_template.h +++ b/src/expr/metakind_template.h @@ -3,7 +3,7 @@ ** \verbatim ** Original author: Morgan Deters ** Major contributors: none - ** Minor contributors (to current version): Dejan Jovanovic + ** 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/expr/node.cpp b/src/expr/node.cpp index 39bbfbc2e..c88fd187d 100644 --- a/src/expr/node.cpp +++ b/src/expr/node.cpp @@ -3,7 +3,7 @@ ** \verbatim ** Original author: Dejan Jovanovic ** Major contributors: Morgan Deters - ** Minor contributors (to current version): none + ** 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/expr/node.h b/src/expr/node.h index 0a4b853aa..1c13c4674 100644 --- a/src/expr/node.h +++ b/src/expr/node.h @@ -3,7 +3,7 @@ ** \verbatim ** Original author: Dejan Jovanovic ** Major contributors: Morgan Deters - ** Minor contributors (to current version): Francois Bobot, Tim King, Clark Barrett, Christopher L. Conway + ** Minor contributors (to current version): Kshitij Bansal, Francois Bobot, Clark Barrett, Tim King, 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/expr/node_manager.cpp b/src/expr/node_manager.cpp index 9c76a41f3..22c47da59 100644 --- a/src/expr/node_manager.cpp +++ b/src/expr/node_manager.cpp @@ -2,8 +2,8 @@ /*! \file node_manager.cpp ** \verbatim ** Original author: Dejan Jovanovic - ** Major contributors: Christopher L. Conway, Morgan Deters - ** Minor contributors (to current version): ACSYS, Tim King + ** Major contributors: Morgan Deters + ** Minor contributors (to current version): ACSYS, Tim King, 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/expr/node_manager.h b/src/expr/node_manager.h index af771bd89..caf8f5ad4 100644 --- a/src/expr/node_manager.h +++ b/src/expr/node_manager.h @@ -3,7 +3,7 @@ ** \verbatim ** Original author: Dejan Jovanovic ** Major contributors: Christopher L. Conway, Morgan Deters - ** Minor contributors (to current version): ACSYS, Tim King, Kshitij Bansal + ** Minor contributors (to current version): ACSYS, Tianyi Liang, 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/expr/pickle_data.h b/src/expr/pickle_data.h index 31751b381..beff1f8a9 100644 --- a/src/expr/pickle_data.h +++ b/src/expr/pickle_data.h @@ -3,7 +3,7 @@ ** \verbatim ** Original author: Morgan Deters ** Major contributors: none - ** Minor contributors (to current version): none + ** 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/expr/type_checker.h b/src/expr/type_checker.h index d34a7c7d6..491b44347 100644 --- a/src/expr/type_checker.h +++ b/src/expr/type_checker.h @@ -3,7 +3,7 @@ ** \verbatim ** Original author: Morgan Deters ** Major contributors: none - ** Minor contributors (to current version): none + ** 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/expr/type_checker_template.cpp b/src/expr/type_checker_template.cpp index 295842160..87361e991 100644 --- a/src/expr/type_checker_template.cpp +++ b/src/expr/type_checker_template.cpp @@ -2,8 +2,8 @@ /*! \file type_checker_template.cpp ** \verbatim ** Original author: Morgan Deters - ** Major contributors: none - ** Minor contributors (to current version): lianah + ** 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 ** See the file COPYING in the top-level source directory for licensing diff --git a/src/expr/type_node.h b/src/expr/type_node.h index ae951dbf2..1dd0ffed1 100644 --- a/src/expr/type_node.h +++ b/src/expr/type_node.h @@ -3,7 +3,7 @@ ** \verbatim ** Original author: Dejan Jovanovic ** Major contributors: Morgan Deters - ** Minor contributors (to current version): Clark Barrett, Andrew Reynolds, Tim King + ** Minor contributors (to current version): Clark Barrett, Andrew Reynolds, Tianyi Liang, 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 |