projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e2aff72) | patch
Add support for printing `re.loop` and `re.^` (#5392)
authorAndres Noetzli <andres.noetzli@gmail.com>
Tue, 3 Nov 2020 19:55:52 +0000 (11:55 -0800)
committerGitHub <noreply@github.com>
Tue, 3 Nov 2020 19:55:52 +0000 (13:55 -0600)
commit81ac7cd609ef011b615dccefde702fd5b3a5c39f
tree1e8e494825322e13cf891aff78cfeb52dcef9b5etree
parente2aff722e0b1072e90bd0c77e7030957364283cccommit | diff
Add support for printing `re.loop` and `re.^` (#5392)

In the new SMT-LIB string standard, re.loop and re.^ are indexed
operators but the printer was not updated to print them correctly. This
commit adds support for printing re.loop and re.^.
src/printer/smt2/smt2_printer.cpp diff | blob | history
test/unit/CMakeLists.txt diff | blob | history
test/unit/printer/CMakeLists.txt [new file with mode: 0644] blob
test/unit/printer/smt2_printer_black.h [new file with mode: 0644] blob