summaryrefslogtreecommitdiff
path: root/src/util
diff options
context:
space:
mode:
Diffstat (limited to 'src/util')
-rw-r--r--src/util/Assert.cpp2
-rw-r--r--src/util/Assert.h2
-rw-r--r--src/util/command.cpp2
-rw-r--r--src/util/command.h2
-rw-r--r--src/util/debug.h2
-rw-r--r--src/util/decision_engine.cpp2
-rw-r--r--src/util/decision_engine.h2
-rw-r--r--src/util/exception.h2
-rw-r--r--src/util/literal.h2
-rw-r--r--src/util/model.h2
-rw-r--r--src/util/options.h4
-rw-r--r--src/util/output.cpp2
-rw-r--r--src/util/output.h2
-rw-r--r--src/util/result.h2
-rw-r--r--src/util/unique_id.h2
15 files changed, 16 insertions, 16 deletions
diff --git a/src/util/Assert.cpp b/src/util/Assert.cpp
index 337649039..c798b3d0a 100644
--- a/src/util/Assert.cpp
+++ b/src/util/Assert.cpp
@@ -4,7 +4,7 @@
** Major contributors: none
** Minor contributors (to current version): none
** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010 The Analysis of Computer Systems Group (ACSys)
** Courant Institute of Mathematical Sciences
** New York University
** See the file COPYING in the top-level source directory for licensing
diff --git a/src/util/Assert.h b/src/util/Assert.h
index fa05ecaa5..7d2785d73 100644
--- a/src/util/Assert.h
+++ b/src/util/Assert.h
@@ -4,7 +4,7 @@
** Major contributors: none
** Minor contributors (to current version): none
** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010 The Analysis of Computer Systems Group (ACSys)
** Courant Institute of Mathematical Sciences
** New York University
** See the file COPYING in the top-level source directory for licensing
diff --git a/src/util/command.cpp b/src/util/command.cpp
index f5a694a73..58f8b41bb 100644
--- a/src/util/command.cpp
+++ b/src/util/command.cpp
@@ -4,7 +4,7 @@
** Major contributors: dejan
** Minor contributors (to current version): none
** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010 The Analysis of Computer Systems Group (ACSys)
** Courant Institute of Mathematical Sciences
** New York University
** See the file COPYING in the top-level source directory for licensing
diff --git a/src/util/command.h b/src/util/command.h
index 15104a5ea..81af801d1 100644
--- a/src/util/command.h
+++ b/src/util/command.h
@@ -4,7 +4,7 @@
** Major contributors: dejan
** Minor contributors (to current version): cconway
** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010 The Analysis of Computer Systems Group (ACSys)
** Courant Institute of Mathematical Sciences
** New York University
** See the file COPYING in the top-level source directory for licensing
diff --git a/src/util/debug.h b/src/util/debug.h
index 800106764..e99b1c48a 100644
--- a/src/util/debug.h
+++ b/src/util/debug.h
@@ -4,7 +4,7 @@
** Major contributors: none
** Minor contributors (to current version): none
** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010 The Analysis of Computer Systems Group (ACSys)
** Courant Institute of Mathematical Sciences
** New York University
** See the file COPYING in the top-level source directory for licensing
diff --git a/src/util/decision_engine.cpp b/src/util/decision_engine.cpp
index 36f99f4ac..b163879b8 100644
--- a/src/util/decision_engine.cpp
+++ b/src/util/decision_engine.cpp
@@ -4,7 +4,7 @@
** Major contributors: none
** Minor contributors (to current version): none
** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010 The Analysis of Computer Systems Group (ACSys)
** Courant Institute of Mathematical Sciences
** New York University
** See the file COPYING in the top-level source directory for licensing
diff --git a/src/util/decision_engine.h b/src/util/decision_engine.h
index 58f9400b5..a2392c104 100644
--- a/src/util/decision_engine.h
+++ b/src/util/decision_engine.h
@@ -4,7 +4,7 @@
** Major contributors: none
** Minor contributors (to current version): none
** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010 The Analysis of Computer Systems Group (ACSys)
** Courant Institute of Mathematical Sciences
** New York University
** See the file COPYING in the top-level source directory for licensing
diff --git a/src/util/exception.h b/src/util/exception.h
index 8481a8504..8401b041e 100644
--- a/src/util/exception.h
+++ b/src/util/exception.h
@@ -4,7 +4,7 @@
** Major contributors: none
** Minor contributors (to current version): none
** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010 The Analysis of Computer Systems Group (ACSys)
** Courant Institute of Mathematical Sciences
** New York University
** See the file COPYING in the top-level source directory for licensing
diff --git a/src/util/literal.h b/src/util/literal.h
index 921a9ef0d..b246d1289 100644
--- a/src/util/literal.h
+++ b/src/util/literal.h
@@ -4,7 +4,7 @@
** Major contributors: none
** Minor contributors (to current version): none
** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010 The Analysis of Computer Systems Group (ACSys)
** Courant Institute of Mathematical Sciences
** New York University
** See the file COPYING in the top-level source directory for licensing
diff --git a/src/util/model.h b/src/util/model.h
index b79032221..2d2419d0f 100644
--- a/src/util/model.h
+++ b/src/util/model.h
@@ -4,7 +4,7 @@
** Major contributors: none
** Minor contributors (to current version): none
** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010 The Analysis of Computer Systems Group (ACSys)
** Courant Institute of Mathematical Sciences
** New York University
** See the file COPYING in the top-level source directory for licensing
diff --git a/src/util/options.h b/src/util/options.h
index ff156b595..82552553f 100644
--- a/src/util/options.h
+++ b/src/util/options.h
@@ -2,9 +2,9 @@
/** options.h
** Original author: mdeters
** Major contributors: dejan
- ** Minor contributors (to current version): none
+ ** Minor contributors (to current version): taking
** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010 The Analysis of Computer Systems Group (ACSys)
** Courant Institute of Mathematical Sciences
** New York University
** See the file COPYING in the top-level source directory for licensing
diff --git a/src/util/output.cpp b/src/util/output.cpp
index b42fc77be..fb48a23a5 100644
--- a/src/util/output.cpp
+++ b/src/util/output.cpp
@@ -4,7 +4,7 @@
** Major contributors: none
** Minor contributors (to current version): none
** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010 The Analysis of Computer Systems Group (ACSys)
** Courant Institute of Mathematical Sciences
** New York University
** See the file COPYING in the top-level source directory for licensing
diff --git a/src/util/output.h b/src/util/output.h
index 6a6c76d83..d11725fc5 100644
--- a/src/util/output.h
+++ b/src/util/output.h
@@ -4,7 +4,7 @@
** Major contributors: none
** Minor contributors (to current version): none
** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010 The Analysis of Computer Systems Group (ACSys)
** Courant Institute of Mathematical Sciences
** New York University
** See the file COPYING in the top-level source directory for licensing
diff --git a/src/util/result.h b/src/util/result.h
index d4980c776..cac72aba7 100644
--- a/src/util/result.h
+++ b/src/util/result.h
@@ -4,7 +4,7 @@
** Major contributors: none
** Minor contributors (to current version): none
** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010 The Analysis of Computer Systems Group (ACSys)
** Courant Institute of Mathematical Sciences
** New York University
** See the file COPYING in the top-level source directory for licensing
diff --git a/src/util/unique_id.h b/src/util/unique_id.h
index 633a544f0..8b5e1f31e 100644
--- a/src/util/unique_id.h
+++ b/src/util/unique_id.h
@@ -4,7 +4,7 @@
** Major contributors: none
** Minor contributors (to current version): none
** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010 The Analysis of Computer Systems Group (ACSys)
** Courant Institute of Mathematical Sciences
** New York University
** 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