summaryrefslogtreecommitdiff
path: root/src/options
AgeCommit message (Expand)Author
2020-06-10(proof-new) Remove arith-snorm option. (#4591)Andrew Reynolds
2020-06-05Datatypes with nested recursion are not handled in TheoryDatatypes unless opt...Andrew Reynolds
2020-06-05Printing FP values as binary or indexed BVs according to option (#4554)Haniel Barbosa
2020-06-03Do not apply unconstrained simplification when quantifiers are present (#4532)Andrew Reynolds
2020-06-02Use prenex normal form when using cegqi-nested-qe (#4522)Andrew Reynolds
2020-05-28Fix term registry for constant case, simplify. (#4538)Andrew Reynolds
2020-05-22Refactor operator elimination in arithmetic (#4519)Andrew Reynolds
2020-05-22Add support for SAT solver Kissat. (#4514)Aina Niemetz
2020-05-21Disable re-elim by default (#4508)Andrew Reynolds
2020-05-20CegqiBv: Clean up after renaming options. (#4487)Aina Niemetz
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-05-19Update enum and option names for sygus languages (#4388)Andrew Reynolds
2020-04-28Support the SMT-LIB Unicode string standard by default (#4378)Andrew Reynolds
2020-04-21Fix for parse options related to binary name (#4368)Andrew Reynolds
2020-04-20Make option names related to CEGQI consistent (#4316)Andrew Reynolds
2020-04-16SyGuS instantiation quantifiers module (#3910)Mathias Preiner
2020-04-15Change option names --default-dag-thresh and --default-expr-depth (#4309)Andrew Reynolds
2020-04-14Remove a few options (#4295)Andrew Reynolds
2020-04-14Remove early type check option (#4234)Andrew Reynolds
2020-04-14Remove argument extender (#4223)Andrew Reynolds
2020-04-14Fix dump-unsat-cores-full (#4303)Andrew Reynolds
2020-04-08Split ProcessAssertions module from SmtEngine (#4210)Andrew Reynolds
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-30Remove ref skolem datatype option (#4185)Andrew Reynolds
2020-03-26Added unit-cube-like test for branch and bound (#3922)Amalee
2020-03-18Always enable cbqi literal dependency (#4116)Andrew Reynolds
2020-03-13Removing a few deprecated options (#4052)Andrew Reynolds
2020-03-12Remove local theory extension option (#4048)Andrew Reynolds
2020-03-11Hide options for and related to the BV abstraction module. (#4041)Aina Niemetz
2020-03-11Remove experimental symmetry breaker (#4005)Andrew Reynolds
2020-03-11Remove partial instantiation for local theory extensions (#4020)Andrew Reynolds
2020-03-09Rename sygus option name (#3977)Andrew Reynolds
2020-03-05Remove --apply-to-const preprocessing pass (#3919)Andres Noetzli
2020-03-05Enable -Wshadow and fix warnings. (#3909)Mathias Preiner
2020-02-28Replace conditional rewrite pass in quantifiers with the extended rewriter (#...Andrew Reynolds
2020-02-26Support for witnessing choice in models (#3781)Andrew Reynolds
2020-02-26Remove portfolio leftovers (#3821)Andres Noetzli
2020-02-24bv_to_int preprocessing passyoni206
2020-02-21Adding checks to the validation of 'bv-sat-solver' to ensure that the selecte...Andrew V. Jones
2020-02-19resource manager: Add statistic for every resource. (#3772)Mathias Preiner
2020-02-17Option to limit the number of rounds of enumerative instantiation (#3760)Andrew Reynolds
2020-02-14Remove quantifiers rewrite rules infrastructure (#3754)Andrew Reynolds
2020-02-11Remove `--strings-binary-csp` option (#3743)Andres Noetzli
2020-01-31Allow PBE symmetry breaking with sygus stream (#3686)Andrew Reynolds
2019-12-19Fix typo in smt_options.toml. (#3579)Mathias Preiner
2019-12-17Generate code for options with modes. (#3561)Mathias Preiner
2019-12-10Fix ufho issues (#3551)Haniel Barbosa
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback