diff options
author | Morgan Deters <mdeters@gmail.com> | 2010-02-04 02:58:12 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2010-02-04 02:58:12 +0000 |
commit | 33988bd64b92960f7bed5c68d1266adc4183454b (patch) | |
tree | fc233761b21193ca89a29c35dac941e88c244a20 /src/util | |
parent | 84354b6332b89c15292a89b065a7478f578eb075 (diff) |
minor fix for update-copyright.pl; ran update-copyright.pl on all sources; regenerated configure script
Diffstat (limited to 'src/util')
-rw-r--r-- | src/util/Assert.cpp | 2 | ||||
-rw-r--r-- | src/util/Assert.h | 2 | ||||
-rw-r--r-- | src/util/command.cpp | 2 | ||||
-rw-r--r-- | src/util/command.h | 2 | ||||
-rw-r--r-- | src/util/debug.h | 2 | ||||
-rw-r--r-- | src/util/decision_engine.cpp | 2 | ||||
-rw-r--r-- | src/util/decision_engine.h | 2 | ||||
-rw-r--r-- | src/util/exception.h | 2 | ||||
-rw-r--r-- | src/util/literal.h | 2 | ||||
-rw-r--r-- | src/util/model.h | 2 | ||||
-rw-r--r-- | src/util/options.h | 4 | ||||
-rw-r--r-- | src/util/output.cpp | 2 | ||||
-rw-r--r-- | src/util/output.h | 2 | ||||
-rw-r--r-- | src/util/result.h | 2 | ||||
-rw-r--r-- | src/util/unique_id.h | 2 |
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 |