diff options
Diffstat (limited to 'src/util')
| -rw-r--r-- | src/util/CMakeLists.txt | 2 | ||||
| -rw-r--r-- | src/util/floatingpoint.cpp | 2 | ||||
| -rw-r--r-- | src/util/floatingpoint_literal_symfpu.cpp | 2 | ||||
| -rw-r--r-- | src/util/gmp_util.h | 2 | ||||
| -rw-r--r-- | src/util/integer_cln_imp.cpp | 2 | ||||
| -rw-r--r-- | src/util/integer_cln_imp.h | 2 | ||||
| -rw-r--r-- | src/util/integer_gmp_imp.cpp | 2 | ||||
| -rw-r--r-- | src/util/integer_gmp_imp.h | 2 | ||||
| -rw-r--r-- | src/util/resource_manager.cpp | 2 |
9 files changed, 9 insertions, 9 deletions
diff --git a/src/util/CMakeLists.txt b/src/util/CMakeLists.txt index 24e485f5e..bc4536b72 100644 --- a/src/util/CMakeLists.txt +++ b/src/util/CMakeLists.txt @@ -1,7 +1,7 @@ ##################### ## CMakeLists.txt ## Top contributors (to current version): -## Mathias Preiner, Gereon Kremer, Andrew Reynolds +## Mathias Preiner, Gereon Kremer, Aina Niemetz ## This file is part of the CVC4 project. ## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS ## in the top-level source directory and their institutional affiliations. diff --git a/src/util/floatingpoint.cpp b/src/util/floatingpoint.cpp index 5b291f3c5..44f31e916 100644 --- a/src/util/floatingpoint.cpp +++ b/src/util/floatingpoint.cpp @@ -2,7 +2,7 @@ /*! \file floatingpoint.cpp ** \verbatim ** Top contributors (to current version): - ** Martin Brain, Aina Niemetz, Haniel Barbosa + ** Aina Niemetz, Martin Brain, Haniel Barbosa ** Copyright (c) 2013 University of Oxford ** This file is part of the CVC4 project. ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS diff --git a/src/util/floatingpoint_literal_symfpu.cpp b/src/util/floatingpoint_literal_symfpu.cpp index 77ab910fa..d1e58495a 100644 --- a/src/util/floatingpoint_literal_symfpu.cpp +++ b/src/util/floatingpoint_literal_symfpu.cpp @@ -2,7 +2,7 @@ /*! \file floatingpoint_literal_symfpu.cpp ** \verbatim ** Top contributors (to current version): - ** Martin Brain, Aina Niemetz + ** Martin Brain, Aina Niemetz, Mathias Preiner ** This file is part of the CVC4 project. ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. diff --git a/src/util/gmp_util.h b/src/util/gmp_util.h index 995579c3b..80b178eab 100644 --- a/src/util/gmp_util.h +++ b/src/util/gmp_util.h @@ -2,7 +2,7 @@ /*! \file gmp_util.h ** \verbatim ** Top contributors (to current version): - ** Tim King, Andres Noetzli, Mathias Preiner + ** Tim King, Mathias Preiner, Morgan Deters ** This file is part of the CVC4 project. ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. diff --git a/src/util/integer_cln_imp.cpp b/src/util/integer_cln_imp.cpp index 88db707d9..27863b9f8 100644 --- a/src/util/integer_cln_imp.cpp +++ b/src/util/integer_cln_imp.cpp @@ -2,7 +2,7 @@ /*! \file integer_cln_imp.cpp ** \verbatim ** Top contributors (to current version): - ** Tim King, Aina Niemetz, Morgan Deters + ** Aina Niemetz, Tim King, Gereon Kremer ** This file is part of the CVC4 project. ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. diff --git a/src/util/integer_cln_imp.h b/src/util/integer_cln_imp.h index 29a5248e3..050f05fc3 100644 --- a/src/util/integer_cln_imp.h +++ b/src/util/integer_cln_imp.h @@ -2,7 +2,7 @@ /*! \file integer_cln_imp.h ** \verbatim ** Top contributors (to current version): - ** Tim King, Gereon Kremer, Morgan Deters + ** Aina Niemetz, Tim King, Gereon Kremer ** This file is part of the CVC4 project. ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. diff --git a/src/util/integer_gmp_imp.cpp b/src/util/integer_gmp_imp.cpp index 5a4fc9349..fec71b26b 100644 --- a/src/util/integer_gmp_imp.cpp +++ b/src/util/integer_gmp_imp.cpp @@ -2,7 +2,7 @@ /*! \file integer_gmp_imp.cpp ** \verbatim ** Top contributors (to current version): - ** Tim King, Aina Niemetz, Liana Hadarean + ** Aina Niemetz, Tim King, Gereon Kremer ** This file is part of the CVC4 project. ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. diff --git a/src/util/integer_gmp_imp.h b/src/util/integer_gmp_imp.h index a11a15f81..fe05dc982 100644 --- a/src/util/integer_gmp_imp.h +++ b/src/util/integer_gmp_imp.h @@ -2,7 +2,7 @@ /*! \file integer_gmp_imp.h ** \verbatim ** Top contributors (to current version): - ** Tim King, Gereon Kremer, Liana Hadarean + ** Aina Niemetz, Tim King, Gereon Kremer ** This file is part of the CVC4 project. ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. diff --git a/src/util/resource_manager.cpp b/src/util/resource_manager.cpp index 9afa79ef0..17dac50b3 100644 --- a/src/util/resource_manager.cpp +++ b/src/util/resource_manager.cpp @@ -2,7 +2,7 @@ /*! \file resource_manager.cpp ** \verbatim ** Top contributors (to current version): - ** Mathias Preiner, Gereon Kremer, Liana Hadarean + ** Gereon Kremer, Mathias Preiner, Liana Hadarean ** This file is part of the CVC4 project. ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS ** in the top-level source directory and their institutional affiliations. |