summaryrefslogtreecommitdiff
path: root/src/options
AgeCommit message (Expand)Author
2021-07-26Move public options functions to separate file (#6671)Gereon Kremer
2021-07-26More updates to arithmetic in preparation for central equality engine (#6927)Andrew Reynolds
2021-07-23FP: Add option to word-blast more lazily. (#6904)Aina Niemetz
2021-07-22Add support for minimal unsat cores (#4605)Andres Noetzli
2021-07-15Connect the equality solver to theory arith (#6894)Andrew Reynolds
2021-07-15bv: Rename lazy solver to layered solver. (#6889)Mathias Preiner
2021-07-14bv: Rename simple solver to bitblast-internal. (#6888)Mathias Preiner
2021-07-09Implement stop-only for new justification heuristic (#6847)Andrew Reynolds
2021-07-08Disable ordering heuristic for justification by default (#6848)Andrew Reynolds
2021-07-07Standard output for trigger selection (#6841)Andrew Reynolds
2021-07-06Integrate Lazard into CAD module (#6812)Gereon Kremer
2021-07-06Integrate learned rewrite preprocessing pass (#6840)Andrew Reynolds
2021-07-03Add output tags -o, --output. (#6826)Mathias Preiner
2021-07-01Add recursive function definitions to subsolver in sygus (#6824)Andrew Reynolds
2021-07-01Add option to limit the number of instantiation rounds (#6818)Andrew Reynolds
2021-06-23Remove `--tear-down-incremental` (#6745)Andres Noetzli
2021-06-21Make CaDiCaL a required dependency. (#6761)Mathias Preiner
2021-06-16Make symfpu a required dependency. (#6749)Aina Niemetz
2021-06-16Properly consider aliases in option handlers (#6683)Gereon Kremer
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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback