diff options
Diffstat (limited to 'src/main')
-rw-r--r-- | src/main/CMakeLists.txt | 10 | ||||
-rw-r--r-- | src/main/command_executor.cpp | 2 | ||||
-rw-r--r-- | src/main/command_executor.h | 2 | ||||
-rw-r--r-- | src/main/driver_unified.cpp | 2 | ||||
-rw-r--r-- | src/main/interactive_shell.cpp | 4 | ||||
-rw-r--r-- | src/main/interactive_shell.h | 2 | ||||
-rw-r--r-- | src/main/main.cpp | 2 | ||||
-rw-r--r-- | src/main/main.h | 2 | ||||
-rw-r--r-- | src/main/signal_handlers.cpp | 4 | ||||
-rw-r--r-- | src/main/signal_handlers.h | 2 | ||||
-rw-r--r-- | src/main/time_limit.cpp | 2 | ||||
-rw-r--r-- | src/main/time_limit.h | 2 |
12 files changed, 23 insertions, 13 deletions
diff --git a/src/main/CMakeLists.txt b/src/main/CMakeLists.txt index 5138d79b5..393aef267 100644 --- a/src/main/CMakeLists.txt +++ b/src/main/CMakeLists.txt @@ -1,3 +1,13 @@ +##################### +## CMakeLists.txt +## Top contributors (to current version): +## Mathias Preiner, Aina Niemetz, 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. +## All rights reserved. See the file COPYING in the top-level source +## directory for licensing information. +## #-----------------------------------------------------------------------------# # libmain source files diff --git a/src/main/command_executor.cpp b/src/main/command_executor.cpp index d63861b0c..caae54e7a 100644 --- a/src/main/command_executor.cpp +++ b/src/main/command_executor.cpp @@ -5,7 +5,7 @@ ** Kshitij Bansal, Morgan Deters, Tim King ** 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. + ** 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/main/command_executor.h b/src/main/command_executor.h index 1c10aa09f..92b0cd166 100644 --- a/src/main/command_executor.h +++ b/src/main/command_executor.h @@ -5,7 +5,7 @@ ** Aina Niemetz, Kshitij Bansal, 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. + ** 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/main/driver_unified.cpp b/src/main/driver_unified.cpp index 1c32f069b..43529278b 100644 --- a/src/main/driver_unified.cpp +++ b/src/main/driver_unified.cpp @@ -5,7 +5,7 @@ ** Morgan Deters, Liana Hadarean, Tim King ** 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. + ** 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/main/interactive_shell.cpp b/src/main/interactive_shell.cpp index 87ebf99cf..121513856 100644 --- a/src/main/interactive_shell.cpp +++ b/src/main/interactive_shell.cpp @@ -2,10 +2,10 @@ /*! \file interactive_shell.cpp ** \verbatim ** Top contributors (to current version): - ** Morgan Deters, Christopher L. Conway, Tim King + ** Morgan Deters, Christopher L. Conway, Andrew V. Jones ** 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. + ** 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/main/interactive_shell.h b/src/main/interactive_shell.h index f4edb1015..36e6068a4 100644 --- a/src/main/interactive_shell.h +++ b/src/main/interactive_shell.h @@ -5,7 +5,7 @@ ** Morgan Deters, Christopher L. Conway, 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. + ** 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/main/main.cpp b/src/main/main.cpp index 7b72ae249..e08898905 100644 --- a/src/main/main.cpp +++ b/src/main/main.cpp @@ -5,7 +5,7 @@ ** Morgan Deters, Tim King, Christopher L. Conway ** 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. + ** 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/main/main.h b/src/main/main.h index 6d321f05a..37916f769 100644 --- a/src/main/main.h +++ b/src/main/main.h @@ -5,7 +5,7 @@ ** Morgan Deters, Tim King, 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. + ** 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/main/signal_handlers.cpp b/src/main/signal_handlers.cpp index 6f24dfc9b..ee66b906b 100644 --- a/src/main/signal_handlers.cpp +++ b/src/main/signal_handlers.cpp @@ -2,10 +2,10 @@ /*! \file signal_handlers.cpp ** \verbatim ** Top contributors (to current version): - ** Morgan Deters, Andres Noetzli, Tim King + ** Morgan Deters, Andres Noetzli, 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. + ** 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/main/signal_handlers.h b/src/main/signal_handlers.h index cc1917418..5eb3f24c7 100644 --- a/src/main/signal_handlers.h +++ b/src/main/signal_handlers.h @@ -5,7 +5,7 @@ ** 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. + ** 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/main/time_limit.cpp b/src/main/time_limit.cpp index fb07b5523..be506a518 100644 --- a/src/main/time_limit.cpp +++ b/src/main/time_limit.cpp @@ -5,7 +5,7 @@ ** 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. + ** 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/main/time_limit.h b/src/main/time_limit.h index 4da3e6845..22aaff8cd 100644 --- a/src/main/time_limit.h +++ b/src/main/time_limit.h @@ -5,7 +5,7 @@ ** 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. + ** 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 ** |