summaryrefslogtreecommitdiff
path: root/src/expr
diff options
context:
space:
mode:
Diffstat (limited to 'src/expr')
-rw-r--r--src/expr/attribute.cpp2
-rw-r--r--src/expr/attribute.h4
-rw-r--r--src/expr/attribute_internals.h2
-rw-r--r--src/expr/attribute_unique_id.h19
-rw-r--r--src/expr/command.cpp4
-rw-r--r--src/expr/expr_template.cpp2
-rw-r--r--src/expr/metakind_template.h2
-rw-r--r--src/expr/node.cpp2
-rw-r--r--src/expr/node.h2
-rw-r--r--src/expr/node_manager.cpp4
-rw-r--r--src/expr/node_manager.h2
-rw-r--r--src/expr/pickle_data.h2
-rw-r--r--src/expr/type_checker.h2
-rw-r--r--src/expr/type_checker_template.cpp4
-rw-r--r--src/expr/type_node.h2
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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback