projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Ensure quantifiers options are set with --no-strings-lazy-pp (#3515)
[cvc5.git] / test / regress / regress0 / printer /
2019-06-12 Andres NoetzliDisable dumping regression for non-dumping builds ... tree | commitdiff
2019-06-05 Andres NoetzliPrevent letification from shadowing variables (#3042) tree | commitdiff
2019-05-30 Andres NoetzliQuote symbol when printing empty symbol name (#3025) tree | commitdiff
2019-01-22 Andrew Reynolds Fix tuple and record CVC printing (#2818) tree | commitdiff
2019-01-17 Andres NoetzliAdd option to print BV constants in binary (#2805) tree | commitdiff