projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Integrate central equality engine approach into theory engine, add option and regress...
[cvc5.git] / src / options / theory_options.toml
2021-07-29 Andrew ReynoldsIntegrate central equality engine approach into theory... blob | commitdiff | raw
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
2020-08-25 Andrew ReynoldsAdd the combination engine (#4939) blob | commitdiff | raw | diff to current
2020-08-21 Andrew ReynoldsConnect the relevance manager to TheoryEngine and use... 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
2019-12-17 Mathias PreinerGenerate code for options with modes. (#3561) blob | commitdiff | raw | diff to current
2018-05-23 Andrew ReynoldsAdd notions of evaluated kinds in TheoryModel (#1947) blob | commitdiff | raw | diff to current
2018-03-21 Mathias PreinerRefactor mkoptions (#1631) blob | commitdiff | raw | diff to current