projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix assertion related to assignability in the model. (#3843)
[cvc5.git] / test / regress / regress0 / options /
2019-10-08 Andres NoetzliDisallow --proof and --incremental (#3332) tree | commitdiff
2018-10-20 Andres NoetzliDisable dumping test for non-dumping builds (#2662) tree | commitdiff
2018-10-19 Andres NoetzliAdd OptionException handling during initialization... tree | commitdiff