diff options
Diffstat (limited to 'src/context')
-rw-r--r-- | src/context/backtrackable.h | 4 | ||||
-rw-r--r-- | src/context/cddense_set.h | 4 | ||||
-rw-r--r-- | src/context/cdhashmap.h | 4 | ||||
-rw-r--r-- | src/context/cdhashmap_forward.h | 4 | ||||
-rw-r--r-- | src/context/cdhashset.h | 4 | ||||
-rw-r--r-- | src/context/cdhashset_forward.h | 4 | ||||
-rw-r--r-- | src/context/cdinsert_hashmap.h | 4 | ||||
-rw-r--r-- | src/context/cdinsert_hashmap_forward.h | 4 | ||||
-rw-r--r-- | src/context/cdlist.h | 4 | ||||
-rw-r--r-- | src/context/cdlist_forward.h | 4 | ||||
-rw-r--r-- | src/context/cdmaybe.h | 4 | ||||
-rw-r--r-- | src/context/cdo.h | 4 | ||||
-rw-r--r-- | src/context/cdqueue.h | 4 | ||||
-rw-r--r-- | src/context/cdtrail_hashmap.h | 4 | ||||
-rw-r--r-- | src/context/cdtrail_hashmap_forward.h | 4 | ||||
-rw-r--r-- | src/context/cdtrail_queue.h | 4 | ||||
-rw-r--r-- | src/context/cdvector.h | 4 | ||||
-rw-r--r-- | src/context/context.cpp | 4 | ||||
-rw-r--r-- | src/context/context.h | 4 | ||||
-rw-r--r-- | src/context/context_mm.cpp | 4 | ||||
-rw-r--r-- | src/context/context_mm.h | 4 |
21 files changed, 42 insertions, 42 deletions
diff --git a/src/context/backtrackable.h b/src/context/backtrackable.h index f91a2039d..110bf9afb 100644 --- a/src/context/backtrackable.h +++ b/src/context/backtrackable.h @@ -2,9 +2,9 @@ /*! \file backtrackable.h ** \verbatim ** Top contributors (to current version): - ** Morgan Deters, Paul Meng + ** Morgan Deters ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2017 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2018 by the authors listed in the file AUTHORS ** in the top-level source directory) and their institutional affiliations. ** All rights reserved. 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 547747b59..625946cc8 100644 --- a/src/context/cddense_set.h +++ b/src/context/cddense_set.h @@ -2,9 +2,9 @@ /*! \file cddense_set.h ** \verbatim ** Top contributors (to current version): - ** Tim King, Paul Meng + ** Tim King ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2017 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2018 by the authors listed in the file AUTHORS ** in the top-level source directory) and their institutional affiliations. ** All rights reserved. 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 14832679d..f58bb6509 100644 --- a/src/context/cdhashmap.h +++ b/src/context/cdhashmap.h @@ -2,9 +2,9 @@ /*! \file cdhashmap.h ** \verbatim ** Top contributors (to current version): - ** Morgan Deters, Dejan Jovanovic, Tim King + ** Morgan Deters, Tim King, Dejan Jovanovic ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2017 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2018 by the authors listed in the file AUTHORS ** in the top-level source directory) and their institutional affiliations. ** All rights reserved. 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 a8fbc5ee2..54dc545f5 100644 --- a/src/context/cdhashmap_forward.h +++ b/src/context/cdhashmap_forward.h @@ -2,9 +2,9 @@ /*! \file cdhashmap_forward.h ** \verbatim ** Top contributors (to current version): - ** Morgan Deters, Tim King, Paul Meng + ** Morgan Deters, Tim King, Dejan Jovanovic ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2017 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2018 by the authors listed in the file AUTHORS ** in the top-level source directory) and their institutional affiliations. ** All rights reserved. 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 dd71370a8..0dc1f087d 100644 --- a/src/context/cdhashset.h +++ b/src/context/cdhashset.h @@ -2,9 +2,9 @@ /*! \file cdhashset.h ** \verbatim ** Top contributors (to current version): - ** Morgan Deters, Tim King, Paul Meng + ** Morgan Deters, Tim King, Kshitij Bansal ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2017 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2018 by the authors listed in the file AUTHORS ** in the top-level source directory) and their institutional affiliations. ** All rights reserved. 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 426f8917d..a3ec3ea31 100644 --- a/src/context/cdhashset_forward.h +++ b/src/context/cdhashset_forward.h @@ -2,9 +2,9 @@ /*! \file cdhashset_forward.h ** \verbatim ** Top contributors (to current version): - ** Morgan Deters, Paul Meng, Dejan Jovanovic + ** Morgan Deters, Tim King, Dejan Jovanovic ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2017 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2018 by the authors listed in the file AUTHORS ** in the top-level source directory) and their institutional affiliations. ** All rights reserved. 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 9211ff7da..009fed99a 100644 --- a/src/context/cdinsert_hashmap.h +++ b/src/context/cdinsert_hashmap.h @@ -2,9 +2,9 @@ /*! \file cdinsert_hashmap.h ** \verbatim ** Top contributors (to current version): - ** Tim King, Morgan Deters + ** Tim King, Mathias Preiner, Morgan Deters ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2017 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2018 by the authors listed in the file AUTHORS ** in the top-level source directory) and their institutional affiliations. ** All rights reserved. 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 d3f46791a..df567e8aa 100644 --- a/src/context/cdinsert_hashmap_forward.h +++ b/src/context/cdinsert_hashmap_forward.h @@ -2,9 +2,9 @@ /*! \file cdinsert_hashmap_forward.h ** \verbatim ** Top contributors (to current version): - ** Tim King, Paul Meng + ** Tim King ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2017 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2018 by the authors listed in the file AUTHORS ** in the top-level source directory) and their institutional affiliations. ** All rights reserved. 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 e5f9f2dda..8fcc977af 100644 --- a/src/context/cdlist.h +++ b/src/context/cdlist.h @@ -2,9 +2,9 @@ /*! \file cdlist.h ** \verbatim ** Top contributors (to current version): - ** Morgan Deters, Tim King, Francois Bobot + ** Morgan Deters, Tim King, Mathias Preiner ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2017 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2018 by the authors listed in the file AUTHORS ** in the top-level source directory) and their institutional affiliations. ** All rights reserved. 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 e599c037c..8bf1c2678 100644 --- a/src/context/cdlist_forward.h +++ b/src/context/cdlist_forward.h @@ -2,9 +2,9 @@ /*! \file cdlist_forward.h ** \verbatim ** Top contributors (to current version): - ** Morgan Deters, Tim King, Paul Meng + ** Morgan Deters, Tim King ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2017 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2018 by the authors listed in the file AUTHORS ** in the top-level source directory) and their institutional affiliations. ** All rights reserved. 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 3263c61ee..edb638016 100644 --- a/src/context/cdmaybe.h +++ b/src/context/cdmaybe.h @@ -2,9 +2,9 @@ /*! \file cdmaybe.h ** \verbatim ** Top contributors (to current version): - ** Tim King, Morgan Deters, Paul Meng + ** Tim King ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2017 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2018 by the authors listed in the file AUTHORS ** in the top-level source directory) and their institutional affiliations. ** All rights reserved. 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 bac9eb360..3cb646d6c 100644 --- a/src/context/cdo.h +++ b/src/context/cdo.h @@ -2,9 +2,9 @@ /*! \file cdo.h ** \verbatim ** Top contributors (to current version): - ** Morgan Deters, Tim King, Francois Bobot + ** Morgan Deters, Tim King, Mathias Preiner ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2017 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2018 by the authors listed in the file AUTHORS ** in the top-level source directory) and their institutional affiliations. ** All rights reserved. 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 305e2de77..dc518fb1d 100644 --- a/src/context/cdqueue.h +++ b/src/context/cdqueue.h @@ -2,9 +2,9 @@ /*! \file cdqueue.h ** \verbatim ** Top contributors (to current version): - ** Tim King, Paul Meng, Francois Bobot + ** Tim King, Mathias Preiner, Francois Bobot ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2017 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2018 by the authors listed in the file AUTHORS ** in the top-level source directory) and their institutional affiliations. ** All rights reserved. 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 771cea960..fbf605e41 100644 --- a/src/context/cdtrail_hashmap.h +++ b/src/context/cdtrail_hashmap.h @@ -2,9 +2,9 @@ /*! \file cdtrail_hashmap.h ** \verbatim ** Top contributors (to current version): - ** Tim King, Morgan Deters + ** Tim King, Mathias Preiner, Morgan Deters ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2017 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2018 by the authors listed in the file AUTHORS ** in the top-level source directory) and their institutional affiliations. ** All rights reserved. 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 970f2758c..48740d969 100644 --- a/src/context/cdtrail_hashmap_forward.h +++ b/src/context/cdtrail_hashmap_forward.h @@ -2,9 +2,9 @@ /*! \file cdtrail_hashmap_forward.h ** \verbatim ** Top contributors (to current version): - ** Tim King, Paul Meng + ** Tim King ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2017 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2018 by the authors listed in the file AUTHORS ** in the top-level source directory) and their institutional affiliations. ** All rights reserved. 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 d709ccbcb..58ec4061b 100644 --- a/src/context/cdtrail_queue.h +++ b/src/context/cdtrail_queue.h @@ -2,9 +2,9 @@ /*! \file cdtrail_queue.h ** \verbatim ** Top contributors (to current version): - ** Tim King, Paul Meng + ** Tim King ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2017 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2018 by the authors listed in the file AUTHORS ** in the top-level source directory) and their institutional affiliations. ** All rights reserved. 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 2ff745b60..2622ccdd2 100644 --- a/src/context/cdvector.h +++ b/src/context/cdvector.h @@ -2,9 +2,9 @@ /*! \file cdvector.h ** \verbatim ** Top contributors (to current version): - ** Tim King, Morgan Deters, Paul Meng + ** Tim King, Morgan Deters ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2017 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2018 by the authors listed in the file AUTHORS ** in the top-level source directory) and their institutional affiliations. ** All rights reserved. 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 a11cc0e32..128a90751 100644 --- a/src/context/context.cpp +++ b/src/context/context.cpp @@ -2,9 +2,9 @@ /*! \file context.cpp ** \verbatim ** Top contributors (to current version): - ** Morgan Deters, Clark Barrett, Tim King + ** Clark Barrett, Morgan Deters, Tim King ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2017 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2018 by the authors listed in the file AUTHORS ** in the top-level source directory) and their institutional affiliations. ** All rights reserved. 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 e195bff7c..acff2b5c2 100644 --- a/src/context/context.h +++ b/src/context/context.h @@ -2,9 +2,9 @@ /*! \file context.h ** \verbatim ** Top contributors (to current version): - ** Morgan Deters, Clark Barrett, Tim King + ** Clark Barrett, Morgan Deters, Tim King ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2017 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2018 by the authors listed in the file AUTHORS ** in the top-level source directory) and their institutional affiliations. ** All rights reserved. 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 bbaf606ec..939696a63 100644 --- a/src/context/context_mm.cpp +++ b/src/context/context_mm.cpp @@ -2,9 +2,9 @@ /*! \file context_mm.cpp ** \verbatim ** Top contributors (to current version): - ** Clark Barrett, Morgan Deters, Tim King + ** Clark Barrett, Andres Noetzli, Morgan Deters ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2017 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2018 by the authors listed in the file AUTHORS ** in the top-level source directory) and their institutional affiliations. ** All rights reserved. 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 3607d97c3..88c3a16cc 100644 --- a/src/context/context_mm.h +++ b/src/context/context_mm.h @@ -2,9 +2,9 @@ /*! \file context_mm.h ** \verbatim ** Top contributors (to current version): - ** Clark Barrett, Morgan Deters, Tim King + ** Clark Barrett, Andres Noetzli, Morgan Deters ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2017 by the authors listed in the file AUTHORS + ** Copyright (c) 2009-2018 by the authors listed in the file AUTHORS ** in the top-level source directory) and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim |