projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
More unused code elimination (#2358)
[cvc5.git] / src / options / uf_options.toml
2018-08-22 Andrew Reynolds More unused code elimination (#2358) blob | commitdiff | raw
2018-05-23 Andrew ReynoldsAdd notions of evaluated kinds in TheoryModel (#1947) blob | commitdiff | raw | diff to current
2018-04-30 Andrew ReynoldsRemove subsort symmetry breaking (#1807) blob | commitdiff | raw | diff to current
2018-03-23 Andrew ReynoldsRemove unused code (#1700) blob | commitdiff | raw | diff to current
2018-03-21 Mathias PreinerRefactor mkoptions (#1631) blob | commitdiff | raw | diff to current