diff options
Diffstat (limited to 'src/context')
-rw-r--r-- | src/context/cdchunk_list.h | 2 | ||||
-rw-r--r-- | src/context/cddense_set.h | 2 | ||||
-rw-r--r-- | src/context/cdhashmap.h | 4 | ||||
-rw-r--r-- | src/context/cdhashmap_forward.h | 2 | ||||
-rw-r--r-- | src/context/cdhashset.h | 4 | ||||
-rw-r--r-- | src/context/cdhashset_forward.h | 2 | ||||
-rw-r--r-- | src/context/cdinsert_hashmap.h | 2 | ||||
-rw-r--r-- | src/context/cdinsert_hashmap_forward.h | 2 | ||||
-rw-r--r-- | src/context/cdlist.h | 4 | ||||
-rw-r--r-- | src/context/cdlist_forward.h | 2 | ||||
-rw-r--r-- | src/context/cdmaybe.h | 2 | ||||
-rw-r--r-- | src/context/cdo.h | 2 | ||||
-rw-r--r-- | src/context/cdqueue.h | 2 | ||||
-rw-r--r-- | src/context/cdtrail_hashmap.h | 2 | ||||
-rw-r--r-- | src/context/cdtrail_hashmap_forward.h | 2 | ||||
-rw-r--r-- | src/context/cdtrail_queue.h | 2 | ||||
-rw-r--r-- | src/context/cdvector.h | 6 | ||||
-rw-r--r-- | src/context/context.cpp | 2 | ||||
-rw-r--r-- | src/context/context.h | 2 | ||||
-rw-r--r-- | src/context/context_mm.cpp | 2 | ||||
-rw-r--r-- | src/context/context_mm.h | 2 | ||||
-rw-r--r-- | src/context/stacking_map.h | 2 | ||||
-rw-r--r-- | src/context/stacking_vector.h | 2 |
23 files changed, 28 insertions, 28 deletions
diff --git a/src/context/cdchunk_list.h b/src/context/cdchunk_list.h index 2f9652397..16aa32176 100644 --- a/src/context/cdchunk_list.h +++ b/src/context/cdchunk_list.h @@ -5,7 +5,7 @@ ** Major contributors: Morgan Deters ** 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 + ** Copyright (c) 2009-2014 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/context/cddense_set.h b/src/context/cddense_set.h index c19a2400a..e717adaee 100644 --- a/src/context/cddense_set.h +++ b/src/context/cddense_set.h @@ -5,7 +5,7 @@ ** Major contributors: none ** Minor contributors (to current version): Morgan Deters ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2013 New York University and The University of Iowa + ** Copyright (c) 2009-2014 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/context/cdhashmap.h b/src/context/cdhashmap.h index 4d2b8570f..02f3d855c 100644 --- a/src/context/cdhashmap.h +++ b/src/context/cdhashmap.h @@ -3,9 +3,9 @@ ** \verbatim ** Original author: Dejan Jovanovic ** Major contributors: Morgan Deters - ** Minor contributors (to current version): Tim King + ** Minor contributors (to current version): Kshitij Bansal, Tim King ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2013 New York University and The University of Iowa + ** Copyright (c) 2009-2014 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/context/cdhashmap_forward.h b/src/context/cdhashmap_forward.h index 346dba47c..23346435a 100644 --- a/src/context/cdhashmap_forward.h +++ b/src/context/cdhashmap_forward.h @@ -5,7 +5,7 @@ ** Major contributors: Tim King, Morgan Deters ** 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 + ** Copyright (c) 2009-2014 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/context/cdhashset.h b/src/context/cdhashset.h index 18a39754e..548aa95d1 100644 --- a/src/context/cdhashset.h +++ b/src/context/cdhashset.h @@ -3,9 +3,9 @@ ** \verbatim ** Original author: Dejan Jovanovic ** Major contributors: Tim King, Morgan Deters - ** Minor contributors (to current version): Francois Bobot + ** Minor contributors (to current version): Francois Bobot, Kshitij Bansal ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2013 New York University and The University of Iowa + ** Copyright (c) 2009-2014 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/context/cdhashset_forward.h b/src/context/cdhashset_forward.h index 011e41111..e96387c06 100644 --- a/src/context/cdhashset_forward.h +++ b/src/context/cdhashset_forward.h @@ -5,7 +5,7 @@ ** Major contributors: Morgan Deters ** 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 + ** Copyright (c) 2009-2014 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/context/cdinsert_hashmap.h b/src/context/cdinsert_hashmap.h index f834e6b5f..1c8f94143 100644 --- a/src/context/cdinsert_hashmap.h +++ b/src/context/cdinsert_hashmap.h @@ -5,7 +5,7 @@ ** Major contributors: none ** Minor contributors (to current version): Morgan Deters ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2013 New York University and The University of Iowa + ** Copyright (c) 2009-2014 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/context/cdinsert_hashmap_forward.h b/src/context/cdinsert_hashmap_forward.h index 817899400..184b27a3d 100644 --- a/src/context/cdinsert_hashmap_forward.h +++ b/src/context/cdinsert_hashmap_forward.h @@ -5,7 +5,7 @@ ** 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 + ** Copyright (c) 2009-2014 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/context/cdlist.h b/src/context/cdlist.h index 51f1dbfa7..7c673a4be 100644 --- a/src/context/cdlist.h +++ b/src/context/cdlist.h @@ -3,9 +3,9 @@ ** \verbatim ** Original author: Morgan Deters ** Major contributors: Tim King - ** Minor contributors (to current version): Francois Bobot + ** Minor contributors (to current version): Kshitij Bansal, Francois Bobot ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2013 New York University and The University of Iowa + ** Copyright (c) 2009-2014 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/context/cdlist_forward.h b/src/context/cdlist_forward.h index dea2096fd..dd4213f64 100644 --- a/src/context/cdlist_forward.h +++ b/src/context/cdlist_forward.h @@ -5,7 +5,7 @@ ** 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 + ** Copyright (c) 2009-2014 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/context/cdmaybe.h b/src/context/cdmaybe.h index db913d82a..d47f617a9 100644 --- a/src/context/cdmaybe.h +++ b/src/context/cdmaybe.h @@ -5,7 +5,7 @@ ** Major contributors: Morgan Deters ** 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 + ** Copyright (c) 2009-2014 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/context/cdo.h b/src/context/cdo.h index 496af7815..5fa0a4d8b 100644 --- a/src/context/cdo.h +++ b/src/context/cdo.h @@ -5,7 +5,7 @@ ** Major contributors: none ** Minor contributors (to current version): Clark Barrett, Francois Bobot ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2013 New York University and The University of Iowa + ** Copyright (c) 2009-2014 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/context/cdqueue.h b/src/context/cdqueue.h index 2f8f5b628..0e57a7cdb 100644 --- a/src/context/cdqueue.h +++ b/src/context/cdqueue.h @@ -5,7 +5,7 @@ ** Major contributors: none ** Minor contributors (to current version): Francois Bobot, Morgan Deters ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2013 New York University and The University of Iowa + ** Copyright (c) 2009-2014 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/context/cdtrail_hashmap.h b/src/context/cdtrail_hashmap.h index b34650f44..f4220ef43 100644 --- a/src/context/cdtrail_hashmap.h +++ b/src/context/cdtrail_hashmap.h @@ -5,7 +5,7 @@ ** Major contributors: none ** Minor contributors (to current version): Morgan Deters ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2013 New York University and The University of Iowa + ** Copyright (c) 2009-2014 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/context/cdtrail_hashmap_forward.h b/src/context/cdtrail_hashmap_forward.h index 2bbe32e80..2bfb32539 100644 --- a/src/context/cdtrail_hashmap_forward.h +++ b/src/context/cdtrail_hashmap_forward.h @@ -5,7 +5,7 @@ ** 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 + ** Copyright (c) 2009-2014 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/context/cdtrail_queue.h b/src/context/cdtrail_queue.h index 10645a5b7..dff68a161 100644 --- a/src/context/cdtrail_queue.h +++ b/src/context/cdtrail_queue.h @@ -5,7 +5,7 @@ ** Major contributors: none ** Minor contributors (to current version): Morgan Deters ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2013 New York University and The University of Iowa + ** Copyright (c) 2009-2014 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/context/cdvector.h b/src/context/cdvector.h index 64e916680..30699670f 100644 --- a/src/context/cdvector.h +++ b/src/context/cdvector.h @@ -2,10 +2,10 @@ /*! \file cdvector.h ** \verbatim ** Original author: Tim King - ** Major contributors: none - ** Minor contributors (to current version): Morgan Deters + ** Major contributors: Morgan Deters + ** 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 + ** Copyright (c) 2009-2014 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/context/context.cpp b/src/context/context.cpp index f5efadf6f..c427e89c9 100644 --- a/src/context/context.cpp +++ b/src/context/context.cpp @@ -5,7 +5,7 @@ ** Major contributors: Clark Barrett ** Minor contributors (to current version): Dejan Jovanovic ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2013 New York University and The University of Iowa + ** Copyright (c) 2009-2014 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/context/context.h b/src/context/context.h index 0285d47a8..02d82a6d3 100644 --- a/src/context/context.h +++ b/src/context/context.h @@ -5,7 +5,7 @@ ** Major contributors: Clark Barrett ** Minor contributors (to current version): Tim King, Dejan Jovanovic ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2013 New York University and The University of Iowa + ** Copyright (c) 2009-2014 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/context/context_mm.cpp b/src/context/context_mm.cpp index 5945effe9..e7b234a95 100644 --- a/src/context/context_mm.cpp +++ b/src/context/context_mm.cpp @@ -5,7 +5,7 @@ ** Major contributors: Morgan Deters ** 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 + ** Copyright (c) 2009-2014 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/context/context_mm.h b/src/context/context_mm.h index b580d86d5..4594ac253 100644 --- a/src/context/context_mm.h +++ b/src/context/context_mm.h @@ -5,7 +5,7 @@ ** Major contributors: Morgan Deters ** 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 + ** Copyright (c) 2009-2014 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/context/stacking_map.h b/src/context/stacking_map.h index af78aa9d0..4ce1b2d33 100644 --- a/src/context/stacking_map.h +++ b/src/context/stacking_map.h @@ -5,7 +5,7 @@ ** Major contributors: none ** Minor contributors (to current version): Dejan Jovanovic ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2013 New York University and The University of Iowa + ** Copyright (c) 2009-2014 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/context/stacking_vector.h b/src/context/stacking_vector.h index 4aa45e9cc..578a2e3ae 100644 --- a/src/context/stacking_vector.h +++ b/src/context/stacking_vector.h @@ -5,7 +5,7 @@ ** Major contributors: none ** Minor contributors (to current version): Dejan Jovanovic ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2013 New York University and The University of Iowa + ** Copyright (c) 2009-2014 New York University and The University of Iowa ** See the file COPYING in the top-level source directory for licensing ** information.\endverbatim ** |