projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Better configuration for QF_NRA
[cvc5.git] / contrib / run-script-smtcomp2012
2012-06-18 Morgan Detersqf_lra strategy blob | commitdiff | raw
2012-06-18 Morgan Detersanother qf_lra strategy update blob | commitdiff | raw | diff to current
2012-06-18 Morgan Detersunnecessary ^ in regular expression; warning produced... blob | commitdiff | raw | diff to current
2012-06-18 Morgan DetersQF_LRA strategy in run script, now final (?) for smt... blob | commitdiff | raw | diff to current
2012-06-18 Morgan Detersfinal sources (?) for competition blob | commitdiff | raw | diff to current