summaryrefslogtreecommitdiff
path: root/src/options/smt_options.toml
AgeCommit message (Expand)Author
2020-09-11(proof-new) Add SMT proof manager (#5054)Andrew Reynolds
2020-09-01Removes old proof code (#4964)Haniel Barbosa
2020-08-12(proof-new) Improve interfaces to proof generators (#4803)Andrew Reynolds
2020-08-11(proof-new) Extensions to proof checker interface (#4857)Andrew Reynolds
2020-07-17Replace options listener infrastructure (#4764)Andrew Reynolds
2020-07-16Resource manager cleanup (#4732)Gereon Kremer
2020-07-16Remove cumulative time limits and cpu time limits (#4711)Gereon Kremer
2020-07-14Make use of options in setDefaults more consistent (#4729)Andrew Reynolds
2020-07-11Changing bv_to_int options (#4721)yoni206
2020-07-08Re-implement handling of --tlimit (#4655)Gereon Kremer
2020-07-07Transfer ownership of internal Options from NodeManager to SmtEngine (#4682)Andrew Reynolds
2020-07-01Add solver for integer AND (#4681)Andrew Reynolds
2020-06-30Interpolation step 1 (#4638)Ying Sheng
2020-06-22(proof-new) Add proof-new to options file (#4641)Andrew Reynolds
2020-06-03Do not apply unconstrained simplification when quantifiers are present (#4532)Andrew Reynolds
2020-05-20Use debug-check-model to enable internal debugging in check-model (#4480)Andrew Reynolds
2020-05-19Renamed operator CHOICE to WITNESS (#4207)mudathirmahgoub
2020-04-06Remove links field in all toml files (#4201)Andrew Reynolds
2020-04-02Remove undocumented/uncommon aliases (#4177)Andres Noetzli
2020-03-31Remove replay and use-theory options and idl (#4186)Andrew Reynolds
2020-03-11Remove experimental symmetry breaker (#4005)Andrew Reynolds
2020-03-05Remove --apply-to-const preprocessing pass (#3919)Andres Noetzli
2020-02-26Support for witnessing choice in models (#3781)Andrew Reynolds
2020-02-24bv_to_int preprocessing passyoni206
2020-02-19resource manager: Add statistic for every resource. (#3772)Mathias Preiner
2019-12-19Fix typo in smt_options.toml. (#3579)Mathias Preiner
2019-12-17Generate code for options with modes. (#3561)Mathias Preiner
2019-12-06New algorithm for interpolation and abduction based on unsat cores (#3255)Andrew Reynolds
2019-10-08Make ackermannization generally applicable rather than just BV (#3315)Ying Sheng
2019-08-13Implement check abduct feature (#3152)Andrew Reynolds
2019-07-29Model blocker feature (#3112)Andrew Reynolds
2019-07-29Support get-abduct smt2 command (#3122)Andrew Reynolds
2019-06-21Fix and simplify handling of --force-logic (#3062)Andres Noetzli
2018-10-18Non-implied mode for model cores (#2653)Andrew Reynolds
2018-10-10Synthesize rewrite rules from inputs (#2608)Andrew Reynolds
2018-09-11Support model cores via option --produce-model-cores. (#2407)Andrew Reynolds
2018-07-31Fix option handler for lazy/bv-sat-solver combinations. (#2225)Mathias Preiner
2018-07-27Require argument description for non-{bool,void} options. (#2228)Mathias Preiner
2018-06-27Synthesize candidate-rewrites from standard inputs (#1918)Andrew Reynolds
2018-05-09Add the symmetry breaker module (#1847)PaulMeng
2018-04-30Refactor real2int (#1813)Haniel Barbosa
2018-04-20Symmetry detection module (#1749)PaulMeng
2018-03-21Refactor mkoptions (#1631)Mathias Preiner
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback