diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-04-01 23:32:39 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-04-01 23:32:39 -0400 |
commit | 0e6e0f181618aedf6161ed994d9d4e71ffb1b21d (patch) | |
tree | df4464da8be416697eceee1697fd6cc08831c603 /examples/api | |
parent | 2f195e4babef016e9b02faeb80cd79f0177a3f05 (diff) |
update copyrights
Diffstat (limited to 'examples/api')
-rw-r--r-- | examples/api/bitvectors.cpp | 8 | ||||
-rw-r--r-- | examples/api/bitvectors_and_arrays.cpp | 8 | ||||
-rw-r--r-- | examples/api/combination.cpp | 8 | ||||
-rw-r--r-- | examples/api/helloworld.cpp | 8 | ||||
-rw-r--r-- | examples/api/java/BitVectors.java | 6 | ||||
-rw-r--r-- | examples/api/java/BitVectorsAndArrays.java | 6 | ||||
-rw-r--r-- | examples/api/java/Combination.java | 6 | ||||
-rw-r--r-- | examples/api/java/HelloWorld.java | 6 | ||||
-rw-r--r-- | examples/api/java/LinearArith.java | 6 | ||||
-rw-r--r-- | examples/api/java/PipedInput.java | 4 | ||||
-rw-r--r-- | examples/api/linear_arith.cpp | 8 |
11 files changed, 37 insertions, 37 deletions
diff --git a/examples/api/bitvectors.cpp b/examples/api/bitvectors.cpp index a0c43142d..db886216a 100644 --- a/examples/api/bitvectors.cpp +++ b/examples/api/bitvectors.cpp @@ -1,11 +1,11 @@ /********************* */ /*! \file bitvectors.cpp ** \verbatim - ** Original author: lianah - ** Major contributors: none + ** Original author: Liana Hadarean <lianahady@gmail.com> + ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> ** Minor contributors (to current version): none - ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 New York University and The University of Iowa + ** 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 ** diff --git a/examples/api/bitvectors_and_arrays.cpp b/examples/api/bitvectors_and_arrays.cpp index 8363da46c..8e1d3320e 100644 --- a/examples/api/bitvectors_and_arrays.cpp +++ b/examples/api/bitvectors_and_arrays.cpp @@ -1,11 +1,11 @@ /********************* */ /*! \file bitvectors_and_arrays.cpp ** \verbatim - ** Original author: lianah - ** Major contributors: none + ** Original author: Liana Hadarean <lianahady@gmail.com> + ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu> ** Minor contributors (to current version): none - ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 New York University and The University of Iowa + ** 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 ** diff --git a/examples/api/combination.cpp b/examples/api/combination.cpp index 6350b78fa..978f4ec53 100644 --- a/examples/api/combination.cpp +++ b/examples/api/combination.cpp @@ -1,11 +1,11 @@ /********************* */ /*! \file combination.cpp ** \verbatim - ** Original author: taking + ** Original author: Tim King <taking@cs.nyu.edu> ** Major contributors: none - ** Minor contributors (to current version): none - ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 New York University and The University of Iowa + ** Minor contributors (to current version): Morgan Deters <mdeters@cs.nyu.edu> + ** 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 ** diff --git a/examples/api/helloworld.cpp b/examples/api/helloworld.cpp index 324883f46..ef6d565e2 100644 --- a/examples/api/helloworld.cpp +++ b/examples/api/helloworld.cpp @@ -1,11 +1,11 @@ /********************* */ /*! \file helloworld.cpp ** \verbatim - ** Original author: taking + ** Original author: Tim King <taking@cs.nyu.edu> ** Major contributors: none - ** Minor contributors (to current version): none - ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 New York University and The University of Iowa + ** Minor contributors (to current version): Morgan Deters <mdeters@cs.nyu.edu> + ** 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 ** diff --git a/examples/api/java/BitVectors.java b/examples/api/java/BitVectors.java index db236475d..3aff4b275 100644 --- a/examples/api/java/BitVectors.java +++ b/examples/api/java/BitVectors.java @@ -1,11 +1,11 @@ /********************* */ /*! \file BitVectors.java ** \verbatim - ** Original author: mdeters + ** Original author: Morgan Deters <mdeters@cs.nyu.edu> ** Major contributors: none ** Minor contributors (to current version): none - ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 New York University and The University of Iowa + ** 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 ** diff --git a/examples/api/java/BitVectorsAndArrays.java b/examples/api/java/BitVectorsAndArrays.java index 23009428c..27fe54c3f 100644 --- a/examples/api/java/BitVectorsAndArrays.java +++ b/examples/api/java/BitVectorsAndArrays.java @@ -1,11 +1,11 @@ /********************* */ /*! \file BitVectorsAndArrays.java ** \verbatim - ** Original author: mdeters + ** Original author: Morgan Deters <mdeters@cs.nyu.edu> ** Major contributors: none ** Minor contributors (to current version): none - ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 New York University and The University of Iowa + ** 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 ** diff --git a/examples/api/java/Combination.java b/examples/api/java/Combination.java index 0af8da640..df45f7327 100644 --- a/examples/api/java/Combination.java +++ b/examples/api/java/Combination.java @@ -1,11 +1,11 @@ /********************* */ /*! \file Combination.java ** \verbatim - ** Original author: mdeters + ** Original author: Morgan Deters <mdeters@cs.nyu.edu> ** Major contributors: none ** Minor contributors (to current version): none - ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 New York University and The University of Iowa + ** 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 ** diff --git a/examples/api/java/HelloWorld.java b/examples/api/java/HelloWorld.java index 33f6740c8..10a0f9753 100644 --- a/examples/api/java/HelloWorld.java +++ b/examples/api/java/HelloWorld.java @@ -1,11 +1,11 @@ /********************* */ /*! \file HelloWorld.java ** \verbatim - ** Original author: mdeters + ** Original author: Morgan Deters <mdeters@cs.nyu.edu> ** Major contributors: none ** Minor contributors (to current version): none - ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 New York University and The University of Iowa + ** 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 ** diff --git a/examples/api/java/LinearArith.java b/examples/api/java/LinearArith.java index 8b09bd688..fdefd12d3 100644 --- a/examples/api/java/LinearArith.java +++ b/examples/api/java/LinearArith.java @@ -1,11 +1,11 @@ /********************* */ /*! \file LinearArith.java ** \verbatim - ** Original author: mdeters + ** Original author: Morgan Deters <mdeters@cs.nyu.edu> ** Major contributors: none ** Minor contributors (to current version): none - ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 New York University and The University of Iowa + ** 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 ** diff --git a/examples/api/java/PipedInput.java b/examples/api/java/PipedInput.java index 3a5470914..8aafdea21 100644 --- a/examples/api/java/PipedInput.java +++ b/examples/api/java/PipedInput.java @@ -1,10 +1,10 @@ /********************* */ /*! \file PipedInput.java ** \verbatim - ** Original author: mdeters + ** Original author: Morgan Deters <mdeters@cs.nyu.edu> ** Major contributors: none ** Minor contributors (to current version): none - ** This file is part of the CVC4 prototype. + ** 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 diff --git a/examples/api/linear_arith.cpp b/examples/api/linear_arith.cpp index 960567d74..a21b6192f 100644 --- a/examples/api/linear_arith.cpp +++ b/examples/api/linear_arith.cpp @@ -1,11 +1,11 @@ /********************* */ /*! \file linear_arith.cpp ** \verbatim - ** Original author: taking + ** Original author: Tim King <taking@cs.nyu.edu> ** Major contributors: none - ** Minor contributors (to current version): none - ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 New York University and The University of Iowa + ** Minor contributors (to current version): Morgan Deters <mdeters@cs.nyu.edu> + ** 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 ** |