summaryrefslogtreecommitdiff
path: root/src/options
AgeCommit message (Expand)Author
2021-06-15Remove public option wrappers (#6716)Gereon Kremer
2021-06-11Remove support for lazy BV extended function reductions and inferences (#6728)Andrew Reynolds
2021-06-08Fix statistics option handler (#6703)Gereon Kremer
2021-06-08Remove `binary_name` option (#6693)Gereon Kremer
2021-06-07Remove `Options::wasSetByUser()` (#6682)Gereon Kremer
2021-06-06Support public option modules (#6691)Gereon Kremer
2021-06-04bv: Enable bitblast solver by default. (#6660)Mathias Preiner
2021-06-04Some cleanup in `mkoptions.py` (#6667)Gereon Kremer
2021-06-02Remove option to ignore negative memberships (#6665)Andres Noetzli
2021-06-02Remove `Options::operator[]` (#6649)Gereon Kremer
2021-06-02Move public wrapper functions out of options class (#6600)Gereon Kremer
2021-06-02Make `Options::assign()` specializations free functions (#6648)Gereon Kremer
2021-05-31Remove Options::ref() (#6647)Gereon Kremer
2021-05-29Remove `Options::set()` method (#6556)Gereon Kremer
2021-05-28Add non-templated method to set option defaults (#6540)Gereon Kremer
2021-05-27Enable new justification heuristic by default (#6613)Andrew Reynolds
2021-05-26Use references instead of getter functions (#6597)Gereon Kremer
2021-05-24Implementation of the new justification heuristic (#6465)Andrew Reynolds
2021-05-21Update to sygus standard output for check-synth responses (#6521)Andrew Reynolds
2021-05-21Move option names out of struct (#6554)Gereon Kremer
2021-05-20Remove old unsat cores (#6581)Haniel Barbosa
2021-05-19Make output list of `mkoptions.py` more accurate (#6572)Andres Noetzli
2021-05-19Change the default unsat cores (#6571)Haniel Barbosa
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-17Improve integration of CAD with nl-Ext (#6542)Gereon Kremer
2021-05-14bv: Assert input facts on user-level 0. (#6515)Mathias Preiner
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-28Refactor resource manager options (#6446)Gereon Kremer
2021-04-28Remove exception headers from options.h (#6456)Gereon Kremer
2021-04-28Clean up options holder class (#6458)Gereon Kremer
2021-04-28Cleanup DidYouMean (#6454)Gereon Kremer
2021-04-26First part of options refactoring (#6428)Gereon Kremer
2021-04-26Enable print-inst-full by default (#6435)Andrew Reynolds
2021-04-22Remove unused stuff from options setup (#6422)Gereon Kremer
2021-04-22Reconciling proofs and unsat cores (#6405)Haniel Barbosa
2021-04-21Goodbye CVC4, hello cvc5! (#6371)Mathias Preiner
2021-04-20Remove support for CVC3 language. (#6369)Aina Niemetz
2021-04-20Add guards to disable clang-format around placeholders in templates. (#6375)Aina Niemetz
2021-04-16Fix dependencies for stats options (#6378)Gereon Kremer
2021-04-15Avoid options listener for resource manager. (#6366)Gereon Kremer
2021-04-15Rename occurrences of CVC4 to CVC5. (#6351)Aina Niemetz
2021-04-15Fix printing of stats when aborted. (#6362)Gereon Kremer
2021-04-14Refactor / reimplement statistics (#6162)Gereon Kremer
2021-04-14Rename public and private headers in src/include. (#6352)Aina Niemetz
2021-04-14[unsat-cores] Improving new unsat cores (#6356)Haniel Barbosa
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback