projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Set assertion in `CnfStream::ensureLiteral()` (#3927)
[cvc5.git] / test / regress / regress0 / printer /
2020-02-20 Andrew ReynoldsRemove front-end support for Chain (#3767) tree | commitdiff
2020-01-10 Andres NoetzliFix printing of models of uninterpreted sorts (#3597) tree | commitdiff
2019-12-02 Andres Noetzli[SMT2 Printer] Quote symbols starting with digit (... tree | commitdiff
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