projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Consolidate extended rewrite preprocessing modes (#8156)
[cvc5.git] / src / options / smt_options.toml
2022-02-25 Andrew ReynoldsConsolidate extended rewrite preprocessing modes (... blob | commitdiff | raw
2022-02-23 Andrew ReynoldsAllow elimination of unevaluated terms by default ... blob | commitdiff | raw | diff to current
2022-02-08 Andrew ReynoldsDistinguish proof mode from unsat core mode (#8062) blob | commitdiff | raw | diff to current
2022-02-08 Andrew ReynoldsAlways produce assertions (#8041) blob | commitdiff | raw | diff to current
2022-02-01 Andrew ReynoldsAdd variant of get-difficulty for full effort lemmas... blob | commitdiff | raw | diff to current
2022-01-11 Andrew ReynoldsGuard use of unsat core mode pp-only (#7899) blob | commitdiff | raw | diff to current
2021-12-16 yoni206bv-to-int: use pow2 operator (#7812) blob | commitdiff | raw | diff to current
2021-12-14 Gereon KremerMake some undocumented options regular/expert (#7805) blob | commitdiff | raw | diff to current
2021-12-07 makaimannAdd bitwise option to IntBlaster (#7721) blob | commitdiff | raw | diff to current
2021-11-04 Andrew ReynoldsReplace the old dump infrastructure (#7572) blob | commitdiff | raw | diff to current
2021-10-21 Gereon KremerFix (#7437) blob | commitdiff | raw | diff to current
2021-10-05 Gereon KremerFinish refactoring on option handlers (#7295) blob | commitdiff | raw | diff to current
2021-09-15 Gereon Kremerremove options that are no longer used (#7197) blob | commitdiff | raw | diff to current
2021-09-13 Andrew ReynoldsConnect difficulty manager to TheoryEngine (#7161) blob | commitdiff | raw | diff to current
2021-09-09 Andrew ReynoldsAdd difficulty manager (#7151) blob | commitdiff | raw | diff to current
2021-09-03 Gereon KremerRemove "experimental" options (#7124) blob | commitdiff | raw | diff to current
2021-08-22 Andrew ReynoldsSimplify model printing modes (#7049) blob | commitdiff | raw | diff to current
2021-08-06 Gereon KremerClear options manager (#6991) blob | commitdiff | raw | diff to current
2021-08-04 Gereon KremerRefactor managed streams (#6934) blob | commitdiff | raw | diff to current
2021-08-03 Gereon KremerUse int64_t, uint64_t or double for all numeric options... blob | commitdiff | raw | diff to current
2021-07-22 Andres NoetzliAdd support for minimal unsat cores (#4605) blob | commitdiff | raw | diff to current
2021-07-06 Andrew ReynoldsIntegrate learned rewrite preprocessing pass (#6840) blob | commitdiff | raw | diff to current
2021-06-15 Gereon KremerRemove public option wrappers (#6716) blob | commitdiff | raw | diff to current
2021-05-21 Andrew ReynoldsUpdate to sygus standard output for check-synth respons... blob | commitdiff | raw | diff to current
2021-05-20 Haniel BarbosaRemove old unsat cores (#6581) blob | commitdiff | raw | diff to current
2021-05-19 Haniel BarbosaChange the default unsat cores (#6571) blob | commitdiff | raw | diff to current
2021-05-19 Gereon KremerGenerate command line options for sphinx docs (#6555) blob | commitdiff | raw | diff to current
2021-05-17 Gereon KremerReplace smt_name by aliases (#6541) blob | commitdiff | raw | diff to current
2021-05-10 Gereon KremerRemove header for option modules (#6514) blob | commitdiff | raw | diff to current
2021-05-10 Gereon KremerRemove read_only from options. (#6513) blob | commitdiff | raw | diff to current
2021-04-28 Gereon KremerRefactor resource manager options (#6446) blob | commitdiff | raw | diff to current
2021-04-22 Haniel BarbosaReconciling proofs and unsat cores (#6405) blob | commitdiff | raw | diff to current
2021-04-15 Gereon KremerAvoid options listener for resource manager. (#6366) blob | commitdiff | raw | diff to current
2021-04-14 Haniel Barbosa[unsat-cores] Improving new unsat cores (#6356) blob | commitdiff | raw | diff to current
2021-04-12 Gereon KremerRefactor resource manager (#6322) blob | commitdiff | raw | diff to current
2021-03-23 Haniel BarbosaRemoving unused build options and deprecated proof... blob | commitdiff | raw | diff to current
2021-03-16 Haniel Barbosa[proof-new] Renaming proof option to be in sync with... blob | commitdiff | raw | diff to current
2021-02-22 Andrew Reynolds(proof-new) Change proof-new option to proof (#5955) blob | commitdiff | raw | diff to current
2021-01-29 Haniel Barbosa[proof-new] Connecting new unsat cores (#5834) blob | commitdiff | raw | diff to current
2021-01-12 yoni206Foreign theory rewrite option (#5763) blob | commitdiff | raw | diff to current
2020-12-23 Haniel BarbosaDumping unsat cores after check-sat-assuming/QUERY... blob | commitdiff | raw | diff to current
2020-12-16 Andrew ReynoldsSimplify preprocessing (#5647) blob | commitdiff | raw | diff to current
2020-12-03 yoni206Models as (#5581) blob | commitdiff | raw | diff to current
2020-11-16 Gereon KremerImprove accuracy of resource limitation (#4763) blob | commitdiff | raw | diff to current
2020-11-13 yoni206Model declarations printing options (#5432) blob | commitdiff | raw | diff to current
2020-11-12 Andrew Reynolds(proof-new) Improve printing and debugging for pedantic... blob | commitdiff | raw | diff to current
2020-09-23 yoni206bv2int: new options for bvand translation (#5096) blob | commitdiff | raw | diff to current
2020-09-12 Andrew Reynolds(proof-new) Add SMT proof manager (#5054) blob | commitdiff | raw | diff to current
2020-09-01 Haniel BarbosaRemoves old proof code (#4964) blob | commitdiff | raw | diff to current
2020-08-12 Andrew Reynolds(proof-new) Improve interfaces to proof generators... blob | commitdiff | raw | diff to current
2020-08-12 Andrew Reynolds(proof-new) Extensions to proof checker interface ... blob | commitdiff | raw | diff to current
2020-07-17 Andrew ReynoldsReplace options listener infrastructure (#4764) blob | commitdiff | raw | diff to current
2020-07-16 Gereon KremerResource manager cleanup (#4732) blob | commitdiff | raw | diff to current
2020-07-16 Gereon KremerRemove cumulative time limits and cpu time limits ... blob | commitdiff | raw | diff to current
2020-07-14 Andrew ReynoldsMake use of options in setDefaults more consistent... blob | commitdiff | raw | diff to current
2020-07-11 yoni206Changing bv_to_int options (#4721) blob | commitdiff | raw | diff to current
2020-07-08 Gereon KremerRe-implement handling of --tlimit (#4655) blob | commitdiff | raw | diff to current
2020-07-07 Andrew ReynoldsTransfer ownership of internal Options from NodeManager... blob | commitdiff | raw | diff to current
2020-07-01 Andrew ReynoldsAdd solver for integer AND (#4681) blob | commitdiff | raw | diff to current
2020-06-30 Ying ShengInterpolation step 1 (#4638) blob | commitdiff | raw | diff to current
2020-06-22 Andrew Reynolds(proof-new) Add proof-new to options file (#4641) blob | commitdiff | raw | diff to current
2020-06-03 Andrew ReynoldsDo not apply unconstrained simplification when quantifi... blob | commitdiff | raw | diff to current
2020-05-20 Andrew ReynoldsUse debug-check-model to enable internal debugging... blob | commitdiff | raw | diff to current
2020-05-19 mudathirmahgoubRenamed operator CHOICE to WITNESS (#4207) blob | commitdiff | raw | diff to current
2020-04-06 Andrew ReynoldsRemove links field in all toml files (#4201) blob | commitdiff | raw | diff to current
2020-04-02 Andres NoetzliRemove undocumented/uncommon aliases (#4177) blob | commitdiff | raw | diff to current
2020-03-31 Andrew ReynoldsRemove replay and use-theory options and idl (#4186) blob | commitdiff | raw | diff to current
2020-03-11 Andrew ReynoldsRemove experimental symmetry breaker (#4005) blob | commitdiff | raw | diff to current
2020-03-06 Andres NoetzliRemove --apply-to-const preprocessing pass (#3919) blob | commitdiff | raw | diff to current
2020-02-26 Andrew ReynoldsSupport for witnessing choice in models (#3781) blob | commitdiff | raw | diff to current
2020-02-25 yoni206bv_to_int preprocessing pass blob | commitdiff | raw | diff to current
2020-02-20 Mathias Preinerresource manager: Add statistic for every resource... blob | commitdiff | raw | diff to current
2019-12-19 Mathias PreinerFix typo in smt_options.toml. (#3579) blob | commitdiff | raw | diff to current
2019-12-17 Mathias PreinerGenerate code for options with modes. (#3561) blob | commitdiff | raw | diff to current
2019-12-06 Andrew ReynoldsNew algorithm for interpolation and abduction based... blob | commitdiff | raw | diff to current
2019-10-08 Ying ShengMake ackermannization generally applicable rather than... blob | commitdiff | raw | diff to current
2019-08-13 Andrew ReynoldsImplement check abduct feature (#3152) blob | commitdiff | raw | diff to current
2019-07-29 Andrew ReynoldsModel blocker feature (#3112) blob | commitdiff | raw | diff to current
2019-07-29 Andrew ReynoldsSupport get-abduct smt2 command (#3122) blob | commitdiff | raw | diff to current
2019-06-21 Andres NoetzliFix and simplify handling of --force-logic (#3062) blob | commitdiff | raw | diff to current
2018-10-19 Andrew ReynoldsNon-implied mode for model cores (#2653) blob | commitdiff | raw | diff to current
2018-10-11 Andrew ReynoldsSynthesize rewrite rules from inputs (#2608) blob | commitdiff | raw | diff to current
2018-09-11 Andrew ReynoldsSupport model cores via option --produce-model-cores... blob | commitdiff | raw | diff to current
2018-07-31 Mathias PreinerFix option handler for lazy/bv-sat-solver combinations... blob | commitdiff | raw | diff to current
2018-07-27 Mathias PreinerRequire argument description for non-{bool,void} option... blob | commitdiff | raw | diff to current
2018-06-27 Andrew ReynoldsSynthesize candidate-rewrites from standard inputs... blob | commitdiff | raw | diff to current
2018-05-09 PaulMengAdd the symmetry breaker module (#1847) blob | commitdiff | raw | diff to current
2018-04-30 Haniel BarbosaRefactor real2int (#1813) blob | commitdiff | raw | diff to current
2018-04-20 PaulMengSymmetry detection module (#1749) blob | commitdiff | raw | diff to current
2018-03-21 Mathias PreinerRefactor mkoptions (#1631) blob | commitdiff | raw | diff to current