diff options
Diffstat (limited to 'src/options')
26 files changed, 49 insertions, 29 deletions
diff --git a/src/options/CMakeLists.txt b/src/options/CMakeLists.txt index a4f993d99..cd648955e 100644 --- a/src/options/CMakeLists.txt +++ b/src/options/CMakeLists.txt @@ -1,3 +1,13 @@ +##################### +## CMakeLists.txt +## Top contributors (to current version): +## Mathias Preiner, Aina Niemetz, Andrew Reynolds +## 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. +## # Check if the toml Python module is installed. execute_process( COMMAND diff --git a/src/options/base_handlers.h b/src/options/base_handlers.h index ba14e49a1..4f73e0373 100644 --- a/src/options/base_handlers.h +++ b/src/options/base_handlers.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/options/decision_weight.h b/src/options/decision_weight.h index 3fc7f037f..33f9d99c5 100644 --- a/src/options/decision_weight.h +++ b/src/options/decision_weight.h @@ -5,7 +5,7 @@ ** Mathias Preiner, Kshitij Bansal ** 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/options/didyoumean.cpp b/src/options/didyoumean.cpp index a420beb37..76ac9f0c7 100644 --- a/src/options/didyoumean.cpp +++ b/src/options/didyoumean.cpp @@ -5,7 +5,7 @@ ** Kshitij Bansal, Tim King, Clark Barrett ** 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/options/didyoumean.h b/src/options/didyoumean.h index abace1352..b8f0c4f3a 100644 --- a/src/options/didyoumean.h +++ b/src/options/didyoumean.h @@ -5,7 +5,7 @@ ** Kshitij Bansal, 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/options/didyoumean_test.cpp b/src/options/didyoumean_test.cpp index 8ff0a5847..0e72b73ed 100644 --- a/src/options/didyoumean_test.cpp +++ b/src/options/didyoumean_test.cpp @@ -5,7 +5,7 @@ ** Kshitij Bansal, Tim King, Andrew Reynolds ** 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/options/language.cpp b/src/options/language.cpp index a5b5c888b..c2eb13852 100644 --- a/src/options/language.cpp +++ b/src/options/language.cpp @@ -2,10 +2,10 @@ /*! \file language.cpp ** \verbatim ** Top contributors (to current version): - ** Andrew Reynolds, Morgan Deters, Andres Noetzli + ** Morgan Deters, Andrew Reynolds, Andres Noetzli ** 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/options/language.h b/src/options/language.h index 0a0f63ca6..b34ac378e 100644 --- a/src/options/language.h +++ b/src/options/language.h @@ -5,7 +5,7 @@ ** Morgan Deters, Andrew Reynolds, Francois Bobot ** 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/options/mkoptions.py b/src/options/mkoptions.py index 3f00204fb..08f54f608 100755..100644 --- a/src/options/mkoptions.py +++ b/src/options/mkoptions.py @@ -1,4 +1,14 @@ #!/usr/bin/env python +##################### +## mkoptions.py +## Top contributors (to current version): +## 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. +## All rights reserved. See the file COPYING in the top-level source +## directory for licensing information. +## """ Generate option handling code and documentation in one pass. The generated files are only written to the destination file if the contents of the file diff --git a/src/options/module_template.cpp b/src/options/module_template.cpp index f0b4210d3..2ef8bf67e 100644 --- a/src/options/module_template.cpp +++ b/src/options/module_template.cpp @@ -5,7 +5,7 @@ ** 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/options/module_template.h b/src/options/module_template.h index 4aa44d866..325df5362 100644 --- a/src/options/module_template.h +++ b/src/options/module_template.h @@ -5,7 +5,7 @@ ** 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/options/open_ostream.cpp b/src/options/open_ostream.cpp index b5ffe8eeb..4d54f9cb1 100644 --- a/src/options/open_ostream.cpp +++ b/src/options/open_ostream.cpp @@ -5,7 +5,7 @@ ** 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/options/open_ostream.h b/src/options/open_ostream.h index 883743960..6b6a1afb7 100644 --- a/src/options/open_ostream.h +++ b/src/options/open_ostream.h @@ -5,7 +5,7 @@ ** 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/options/option_exception.cpp b/src/options/option_exception.cpp index 17ae41dc2..31fd57fa6 100644 --- a/src/options/option_exception.cpp +++ b/src/options/option_exception.cpp @@ -5,7 +5,7 @@ ** Andres Noetzli ** 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/options/option_exception.h b/src/options/option_exception.h index c5b116cda..a637722c7 100644 --- a/src/options/option_exception.h +++ b/src/options/option_exception.h @@ -5,7 +5,7 @@ ** Morgan Deters, Andres Noetzli, 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/options/options.h b/src/options/options.h index abcf21264..b0dca5748 100644 --- a/src/options/options.h +++ b/src/options/options.h @@ -5,7 +5,7 @@ ** Tim King, Morgan Deters, Paul Meng ** 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/options/options_handler.cpp b/src/options/options_handler.cpp index 303937f77..fe37e9363 100644 --- a/src/options/options_handler.cpp +++ b/src/options/options_handler.cpp @@ -2,10 +2,10 @@ /*! \file options_handler.cpp ** \verbatim ** Top contributors (to current version): - ** Tim King, Aina Niemetz, Mathias Preiner + ** Aina Niemetz, 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/options/options_handler.h b/src/options/options_handler.h index 221e6179f..07e629976 100644 --- a/src/options/options_handler.h +++ b/src/options/options_handler.h @@ -5,7 +5,7 @@ ** Tim King, Mathias Preiner, 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/options/options_holder_template.h b/src/options/options_holder_template.h index caaefdaa4..03ff21dc0 100644 --- a/src/options/options_holder_template.h +++ b/src/options/options_holder_template.h @@ -5,7 +5,7 @@ ** 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. + ** 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/options/options_listener.h b/src/options/options_listener.h index 0c441b714..f53a96b05 100644 --- a/src/options/options_listener.h +++ b/src/options/options_listener.h @@ -4,8 +4,8 @@ ** Top contributors (to current version): ** Andrew Reynolds ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2019 by the authors listed in the file AUTHORS - ** in the top-level source directory) and their institutional affiliations. + ** 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.\endverbatim ** diff --git a/src/options/options_public_functions.cpp b/src/options/options_public_functions.cpp index 2dc28b10d..4043365b9 100644 --- a/src/options/options_public_functions.cpp +++ b/src/options/options_public_functions.cpp @@ -2,10 +2,10 @@ /*! \file options_public_functions.cpp ** \verbatim ** Top contributors (to current version): - ** Tim King, Andrew Reynolds, Mathias Preiner + ** Tim King, Andrew Reynolds, 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/options/options_template.cpp b/src/options/options_template.cpp index 5afa9173e..8208da58b 100644 --- a/src/options/options_template.cpp +++ b/src/options/options_template.cpp @@ -2,10 +2,10 @@ /*! \file options_template.cpp ** \verbatim ** Top contributors (to current version): - ** Morgan Deters, Tim King, Mathias Preiner + ** Morgan Deters, Tim King, Andrew Reynolds ** 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/options/printer_modes.cpp b/src/options/printer_modes.cpp index 0bd770c67..22b61f3a4 100644 --- a/src/options/printer_modes.cpp +++ b/src/options/printer_modes.cpp @@ -5,7 +5,7 @@ ** Mathias Preiner, Andrew Reynolds ** 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/options/printer_modes.h b/src/options/printer_modes.h index b743b821b..9d403857d 100644 --- a/src/options/printer_modes.h +++ b/src/options/printer_modes.h @@ -5,7 +5,7 @@ ** Mathias Preiner, Andrew Reynolds, 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/options/set_language.cpp b/src/options/set_language.cpp index 042165194..d2888616c 100644 --- a/src/options/set_language.cpp +++ b/src/options/set_language.cpp @@ -5,7 +5,7 @@ ** Morgan Deters, Tim King, Kshitij Bansal ** 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/options/set_language.h b/src/options/set_language.h index abd12f21b..a69278154 100644 --- a/src/options/set_language.h +++ b/src/options/set_language.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 ** |