summaryrefslogtreecommitdiff
path: root/src/options/mkoptions.py
AgeCommit message (Expand)Author
2021-07-03Add output tags -o, --output. (#6826)Mathias Preiner
2021-06-16Properly consider aliases in option handlers (#6683)Gereon Kremer
2021-06-07Remove `Options::wasSetByUser()` (#6682)Gereon Kremer
2021-06-06Support public option modules (#6691)Gereon Kremer
2021-06-04Some cleanup in `mkoptions.py` (#6667)Gereon Kremer
2021-06-02Remove `Options::operator[]` (#6649)Gereon Kremer
2021-06-02Make `Options::assign()` specializations free functions (#6648)Gereon Kremer
2021-05-31Remove Options::ref() (#6647)Gereon Kremer
2021-05-28Add non-templated method to set option defaults (#6540)Gereon Kremer
2021-05-26Use references instead of getter functions (#6597)Gereon Kremer
2021-05-21Move option names out of struct (#6554)Gereon Kremer
2021-05-19Remove accidental print (#6568)Gereon Kremer
2021-05-19Generate command line options for sphinx docs (#6555)Gereon Kremer
2021-05-17Replace smt_name by aliases (#6541)Gereon Kremer
2021-05-13Split options holder class (#6527)Gereon Kremer
2021-05-10Remove header for option modules (#6514)Gereon Kremer
2021-05-10Remove read_only from options. (#6513)Gereon Kremer
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