summaryrefslogtreecommitdiff
path: root/src/options/CMakeLists.txt
AgeCommit message (Expand)Author
2021-05-19Make output list of `mkoptions.py` more accurate (#6572)Andres Noetzli
2021-05-19Generate command line options for sphinx docs (#6555)Gereon Kremer
2021-05-13Split options holder class (#6527)Gereon Kremer
2021-04-28Refactor resource manager options (#6446)Gereon Kremer
2021-04-22Remove unused stuff from options setup (#6422)Gereon Kremer
2021-04-21Goodbye CVC4, hello cvc5! (#6371)Mathias Preiner
2021-04-12Refactor and update copyright headers. (#6316)Aina Niemetz
2021-04-06cmake: Add helper to check if a given Python module is installed. (#6299)Mathias Preiner
2021-03-09Update copyright headers to 2021. (#6081)Aina Niemetz
2021-02-09cmake: Make Python3 default and improve toml error messages. (#5884)Mathias Preiner
2020-09-22Update copyright header script to support CMake and Python files (#5067)Mathias Preiner
2020-07-17Add option manager and simpler option listener (#4745)Andrew Reynolds
2020-04-14Remove argument extender (#4223)Andrew Reynolds
2020-03-31Remove replay and use-theory options and idl (#4186)Andrew Reynolds
2019-12-17Generate code for options with modes. (#3561)Mathias Preiner
2019-08-01 Regular expression intersection modes (#3134)Andrew Reynolds
2019-01-15Strings: Add option to change loop process mode (#2794)Andres Noetzli
2018-12-10BoolToBV modes (off, ite, all) (#2530)makaimann
2018-10-18Add OptionException handling during initialization (#2466)Andres Noetzli
2018-10-18Non-implied mode for model cores (#2653)Andrew Reynolds
2018-09-22cmake: Only build libcvc4 and libcvc4parser as libraries.Mathias Preiner
2018-09-22cmake: Cleanup CMakeLists.txt files, remove SHARED.Mathias Preiner
2018-09-22cmake: Working build infrastructure.Mathias Preiner
2018-09-22cmake: .cpp generation done, .h generation not yet completeAina Niemetz
2018-09-22cmake: Added initial build infrastructure.Aina Niemetz
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback