projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d73be51) | patch
Minor improvements in SMT2 and CVC printers (#2089)
authorAndres Noetzli <andres.noetzli@gmail.com>
Tue, 26 Jun 2018 02:12:23 +0000 (19:12 -0700)
committerGitHub <noreply@github.com>
Tue, 26 Jun 2018 02:12:23 +0000 (19:12 -0700)
commit48cccffd5fac5cb5ed436ba1457b444185f267fb
tree578e405261fac0be9d1871df325585834dddddebtree
parentd73be51484c4628354cbd29a794fc11a1f3b8682commit | diff
Minor improvements in SMT2 and CVC printers (#2089)

This commit adds support for string concatenation, charat, and length
operators in the CVC printer and support for re.nostr, re.allchar, and
insert into a set in the SMT2 printer.
src/printer/cvc/cvc_printer.cpp diff | blob | history
src/printer/smt2/smt2_printer.cpp diff | blob | history