projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 62f79f8) | patch
changes to the cvc4 language printer, so that it actually prints the cvc4 language
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Sun, 5 Feb 2012 21:44:02 +0000 (21:44 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Sun, 5 Feb 2012 21:44:02 +0000 (21:44 +0000)
commite761169680c7611f5429f11bf5050370036dcff5
tree3b373fe759f3c2c6a18247da3f832ba270024839tree
parent62f79f8e73d3182485c38204784abc450e899b31commit | diff
changes to the cvc4 language printer, so that it actually prints the cvc4 language
all theory writers should take a look a what's being printed, to ensure all cases are covered
src/printer/cvc/cvc_printer.cpp diff | blob | history
src/printer/cvc/cvc_printer.h diff | blob | history