projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d4727aa) | patch
Number of changes to cvc_printer.cpp. Specialized the printing for BVPLUS, BVSUB...
authorTim King <taking@cs.nyu.edu>
Wed, 8 Feb 2012 00:31:00 +0000 (00:31 +0000)
committerTim King <taking@cs.nyu.edu>
Wed, 8 Feb 2012 00:31:00 +0000 (00:31 +0000)
commit74e6f0b1ec3937f409ea5108fc7fb47ffc732f64
treeca5600797dccb7e77907d6eaeb74b894969c742etree
parentd4727aa4f9efb41a2a1db699f477e643426a0740commit | diff
Number of changes to cvc_printer.cpp. Specialized the printing for BVPLUS, BVSUB, and BVMULT.  Fixed a bug in printing on PREFIX operators. Added parenthsis for POSTFIX operators. Passing the ouroborous test now.
src/printer/cvc/cvc_printer.cpp diff | blob | history