summaryrefslogtreecommitdiff
path: root/src/options/mkoptions.py
AgeCommit message (Expand)Author
2021-04-29Simplify generated code for getOption() and setOption() (#6462)Gereon Kremer
2021-04-28Clean up options holder class (#6458)Gereon Kremer
2021-04-26First part of options refactoring (#6428)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 resource manager (#6322)Gereon Kremer
2021-04-12Refactor and update copyright headers. (#6316)Aina Niemetz
2021-04-09Rename CVC4_ macros to CVC5_. (#6327)Aina Niemetz
2021-03-16cmake: Generate cvc4_export.h and set visibility to hidden. (#6139)Mathias Preiner
2021-03-09Update copyright headers to 2021. (#6081)Aina Niemetz
2020-12-04Change generated options to be thread_local. (#5583)Everett Maus
2020-09-22Update copyright header script to support CMake and Python files (#5067)Mathias Preiner
2020-07-08Add getName() method to options. (#4704)Mathias Preiner
2020-03-05Enable -Wshadow and fix warnings. (#3909)Mathias Preiner
2019-12-17Generate code for options with modes. (#3561)Mathias Preiner
2018-09-22cmake: Working build infrastructure.Mathias Preiner
2018-07-27Require argument description for non-{bool,void} options. (#2228)Mathias Preiner
2018-07-26Avoid explicit dependency on Python 3 (#2195)ayveejay
2018-03-21Refactor mkoptions (#1631)Mathias Preiner
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback