summaryrefslogtreecommitdiff
path: root/test/regress/regress0/printer
AgeCommit message (Expand)Author
2021-09-29Update the syntax for tuples in smt2 (#7265)Andrew Reynolds
2021-09-22Remove CVC language support (#7219)Mathias Preiner
2021-09-14Reimplement `--dump=raw-benchmark` as `-o raw-benchmark` (#7191)Andrew Reynolds
2021-03-15Letify quantifier bodies independently (#6112)Andrew Reynolds
2020-12-03Models as (#5581)yoni206
2020-11-19Use new let binding utility in smt2 printer (#5472)Andrew Reynolds
2020-08-19[Regressions] Do not test `--check-proofs` anymore (#4914)Andres Noetzli
2020-06-05Printing FP values as binary or indexed BVs according to option (#4554)Haniel Barbosa
2020-03-31Rename checkValid/query to checkEntailed. (#4191)Aina Niemetz
2020-02-20Remove front-end support for Chain (#3767)Andrew Reynolds
2020-01-10Fix printing of models of uninterpreted sorts (#3597)Andres Noetzli
2019-12-02[SMT2 Printer] Quote symbols starting with digit (#3517)Andres Noetzli
2019-06-11Disable dumping regression for non-dumping builds (#3046)Andres Noetzli
2019-06-05Prevent letification from shadowing variables (#3042)Andres Noetzli
2019-05-30Quote symbol when printing empty symbol name (#3025)Andres Noetzli
2019-01-22 Fix tuple and record CVC printing (#2818)Andrew Reynolds
2019-01-16Add option to print BV constants in binary (#2805)Andres Noetzli
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback