projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Use int64_t, uint64_t or double for all numeric options. (#6970)
[cvc5.git] / src / options / prop_options.toml
2021-08-03 Gereon KremerUse int64_t, uint64_t or double for all numeric options... blob | commitdiff | raw
2021-06-16 Gereon KremerProperly consider aliases in option handlers (#6683) 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
2018-03-21 Mathias PreinerRefactor mkoptions (#1631) blob | commitdiff | raw | diff to current