projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Require argument description for non-{bool,void} options. (#2228)
[cvc5.git] / src / options / arith_options.toml
2018-07-27 Mathias PreinerRequire argument description for non-{bool,void} option... blob | commitdiff | raw
2018-05-23 Andrew ReynoldsGeneralize check-model in NonLinearExtension for quadra... blob | commitdiff | raw | diff to current
2018-05-03 Andrew ReynoldsOption to interleave tangent plane inferences (#1833) blob | commitdiff | raw | diff to current
2018-05-01 Andrew ReynoldsImprove tangent planes for transcendental functions... blob | commitdiff | raw | diff to current
2018-04-25 Andrew ReynoldsRemove nl solve subs option. (#1803) blob | commitdiff | raw | diff to current
2018-04-10 Andres NoetzliRemove unused arith options (#1758) blob | commitdiff | raw | diff to current
2018-03-21 Mathias PreinerRefactor mkoptions (#1631) blob | commitdiff | raw | diff to current