diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-10-11 17:06:16 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-10-11 17:06:16 +0000 |
commit | 559710702e4df3ddaac4905705cf93c08502984b (patch) | |
tree | b650ed201246f650a5220d9fa7e01fd8fe62498b /src/main | |
parent | ee65bafc737d36eaabb871c016e6756aef5bd115 (diff) |
Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's
just the header comments at the top, though. Don't update to this rev if
you don't have time for a complete rebuild, and exclude this rev if you
want to see what's new across a range of commits.
(this commit was certified error- and warning-free by the test-and-commit script.)
Diffstat (limited to 'src/main')
-rw-r--r-- | src/main/command_executor.cpp | 6 | ||||
-rw-r--r-- | src/main/command_executor.h | 6 | ||||
-rw-r--r-- | src/main/command_executor_portfolio.cpp | 6 | ||||
-rw-r--r-- | src/main/command_executor_portfolio.h | 6 | ||||
-rw-r--r-- | src/main/driver_unified.cpp | 10 | ||||
-rw-r--r-- | src/main/interactive_shell.cpp | 6 | ||||
-rw-r--r-- | src/main/interactive_shell.h | 4 | ||||
-rw-r--r-- | src/main/main.cpp | 6 | ||||
-rw-r--r-- | src/main/main.h | 6 | ||||
-rw-r--r-- | src/main/options_handlers.h | 4 | ||||
-rw-r--r-- | src/main/portfolio.cpp | 6 | ||||
-rw-r--r-- | src/main/portfolio.h | 6 | ||||
-rw-r--r-- | src/main/portfolio_util.cpp | 8 | ||||
-rw-r--r-- | src/main/portfolio_util.h | 8 | ||||
-rw-r--r-- | src/main/util.cpp | 6 |
15 files changed, 32 insertions, 62 deletions
diff --git a/src/main/command_executor.cpp b/src/main/command_executor.cpp index d283b2743..14625f1d8 100644 --- a/src/main/command_executor.cpp +++ b/src/main/command_executor.cpp @@ -2,12 +2,10 @@ /*! \file command_executor.cpp ** \verbatim ** Original author: kshitij - ** Major contributors: none + ** Major contributors: mdeters ** Minor contributors (to current version): none ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 The Analysis of Computer Systems Group (ACSys) - ** Courant Institute of Mathematical Sciences - ** New York University + ** Copyright (c) 2009-2012 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/main/command_executor.h b/src/main/command_executor.h index 38a20b1cb..f8804101d 100644 --- a/src/main/command_executor.h +++ b/src/main/command_executor.h @@ -2,12 +2,10 @@ /*! \file command_executor.h ** \verbatim ** Original author: kshitij - ** Major contributors: none + ** Major contributors: mdeters ** Minor contributors (to current version): none ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 The Analysis of Computer Systems Group (ACSys) - ** Courant Institute of Mathematical Sciences - ** New York University + ** Copyright (c) 2009-2012 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/main/command_executor_portfolio.cpp b/src/main/command_executor_portfolio.cpp index 5461170e6..9f9c270a8 100644 --- a/src/main/command_executor_portfolio.cpp +++ b/src/main/command_executor_portfolio.cpp @@ -2,12 +2,10 @@ /*! \file command_executor_portfolio.cpp ** \verbatim ** Original author: kshitij - ** Major contributors: none + ** Major contributors: mdeters ** Minor contributors (to current version): none ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 The Analysis of Computer Systems Group (ACSys) - ** Courant Institute of Mathematical Sciences - ** New York University + ** Copyright (c) 2009-2012 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/main/command_executor_portfolio.h b/src/main/command_executor_portfolio.h index 867b62d31..0527b7f1a 100644 --- a/src/main/command_executor_portfolio.h +++ b/src/main/command_executor_portfolio.h @@ -2,12 +2,10 @@ /*! \file command_executor_portfolio.h ** \verbatim ** Original author: kshitij - ** Major contributors: none + ** Major contributors: mdeters ** Minor contributors (to current version): none ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 The Analysis of Computer Systems Group (ACSys) - ** Courant Institute of Mathematical Sciences - ** New York University + ** Copyright (c) 2009-2012 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/main/driver_unified.cpp b/src/main/driver_unified.cpp index e27fe65a4..a9a7ef8c5 100644 --- a/src/main/driver_unified.cpp +++ b/src/main/driver_unified.cpp @@ -1,13 +1,11 @@ /********************* */ /*! \file driver_unified.cpp ** \verbatim - ** Original author: mdeters - ** Major contributors: cconway - ** Minor contributors (to current version): barrett, dejan, taking, kshitij + ** Original author: kshitij + ** Major contributors: mdeters + ** Minor contributors (to current version): none ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009, 2010, 2011, 2012 The Analysis of Computer Systems Group (ACSys) - ** Courant Institute of Mathematical Sciences - ** New York University + ** Copyright (c) 2009-2012 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/main/interactive_shell.cpp b/src/main/interactive_shell.cpp index 4f75779af..cdeef23ed 100644 --- a/src/main/interactive_shell.cpp +++ b/src/main/interactive_shell.cpp @@ -3,11 +3,9 @@ ** \verbatim ** Original author: cconway ** Major contributors: mdeters - ** Minor contributors (to current version): none + ** Minor contributors (to current version): bobot ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 The Analysis of Computer Systems Group (ACSys) - ** Courant Institute of Mathematical Sciences - ** New York University + ** Copyright (c) 2009-2012 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/main/interactive_shell.h b/src/main/interactive_shell.h index 9a783c484..3d75c0fe2 100644 --- a/src/main/interactive_shell.h +++ b/src/main/interactive_shell.h @@ -5,9 +5,7 @@ ** Major contributors: mdeters ** Minor contributors (to current version): none ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 The Analysis of Computer Systems Group (ACSys) - ** Courant Institute of Mathematical Sciences - ** New York University + ** Copyright (c) 2009-2012 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/main/main.cpp b/src/main/main.cpp index 9fa1db7bc..3e45b4f14 100644 --- a/src/main/main.cpp +++ b/src/main/main.cpp @@ -3,11 +3,9 @@ ** \verbatim ** Original author: mdeters ** Major contributors: cconway - ** Minor contributors (to current version): barrett, dejan, taking + ** Minor contributors (to current version): barrett, dejan ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009, 2010, 2011 The Analysis of Computer Systems Group (ACSys) - ** Courant Institute of Mathematical Sciences - ** New York University + ** Copyright (c) 2009-2012 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/main/main.h b/src/main/main.h index 8ed4da1cb..5b202c532 100644 --- a/src/main/main.h +++ b/src/main/main.h @@ -3,11 +3,9 @@ ** \verbatim ** Original author: mdeters ** Major contributors: none - ** Minor contributors (to current version): cconway + ** Minor contributors (to current version): none ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009, 2010, 2011 The Analysis of Computer Systems Group (ACSys) - ** Courant Institute of Mathematical Sciences - ** New York University + ** Copyright (c) 2009-2012 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/main/options_handlers.h b/src/main/options_handlers.h index 7d5d35e08..c2eb489ed 100644 --- a/src/main/options_handlers.h +++ b/src/main/options_handlers.h @@ -5,9 +5,7 @@ ** Major contributors: none ** Minor contributors (to current version): none ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009, 2010, 2011 The Analysis of Computer Systems Group (ACSys) - ** Courant Institute of Mathematical Sciences - ** New York University + ** Copyright (c) 2009-2012 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/main/portfolio.cpp b/src/main/portfolio.cpp index 90af26458..91037df17 100644 --- a/src/main/portfolio.cpp +++ b/src/main/portfolio.cpp @@ -2,12 +2,10 @@ /*! \file portfolio.cpp ** \verbatim ** Original author: kshitij - ** Major contributors: none + ** Major contributors: mdeters ** Minor contributors (to current version): none ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 The Analysis of Computer Systems Group (ACSys) - ** Courant Institute of Mathematical Sciences - ** New York University + ** Copyright (c) 2009-2012 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/main/portfolio.h b/src/main/portfolio.h index 341f243d3..46b70624d 100644 --- a/src/main/portfolio.h +++ b/src/main/portfolio.h @@ -2,12 +2,10 @@ /*! \file portfolio.h ** \verbatim ** Original author: kshitij - ** Major contributors: none + ** Major contributors: mdeters ** Minor contributors (to current version): none ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 The Analysis of Computer Systems Group (ACSys) - ** Courant Institute of Mathematical Sciences - ** New York University + ** Copyright (c) 2009-2012 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/main/portfolio_util.cpp b/src/main/portfolio_util.cpp index b16ac2d34..6a6db482a 100644 --- a/src/main/portfolio_util.cpp +++ b/src/main/portfolio_util.cpp @@ -2,12 +2,10 @@ /*! \file portfolio_util.cpp ** \verbatim ** Original author: kshitij - ** Major contributors: mdeters - ** Minor contributors (to current version): + ** Major contributors: none + ** Minor contributors (to current version): mdeters ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009, 2010, 2011 The Analysis of Computer Systems Group (ACSys) - ** Courant Institute of Mathematical Sciences - ** New York University + ** Copyright (c) 2009-2012 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/main/portfolio_util.h b/src/main/portfolio_util.h index a3e7763fb..80c653eca 100644 --- a/src/main/portfolio_util.h +++ b/src/main/portfolio_util.h @@ -2,12 +2,10 @@ /*! \file portfolio_util.h ** \verbatim ** Original author: kshitij - ** Major contributors: taking, mdeters - ** Minor contributors (to current version): + ** Major contributors: none + ** Minor contributors (to current version): mdeters ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009, 2010, 2011 The Analysis of Computer Systems Group (ACSys) - ** Courant Institute of Mathematical Sciences - ** New York University + ** Copyright (c) 2009-2012 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/main/util.cpp b/src/main/util.cpp index 90e960673..5e7436580 100644 --- a/src/main/util.cpp +++ b/src/main/util.cpp @@ -3,11 +3,9 @@ ** \verbatim ** Original author: mdeters ** Major contributors: none - ** Minor contributors (to current version): acsys, cconway + ** Minor contributors (to current version): taking, acsys ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009, 2010, 2011 The Analysis of Computer Systems Group (ACSys) - ** Courant Institute of Mathematical Sciences - ** New York University + ** Copyright (c) 2009-2012 New York University and The University of Iowa ** See the file COPYING in the top-level source directory for licensing ** information.\endverbatim ** |