summaryrefslogtreecommitdiff
path: root/src/options
AgeCommit message (Expand)Author
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
2021-04-13Add pool instantiation strategy (#6308)Andrew Reynolds
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-04-09Rename CVC4__ header guards to CVC5__. (#6326)Aina Niemetz
2021-04-07[proof-new] Fixing SMT post-processor's handling of assumptions (#6277)Haniel Barbosa
2021-04-06cmake: Add helper to check if a given Python module is installed. (#6299)Mathias Preiner
2021-04-06Remove stdPrintAscii option (#6280)Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback