projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 90e3d31) | patch
When printing in SMT, print N-ary bvadd/bvmul/concat/bvand/bvor/bvxor as binary.
authorMorgan Deters <mdeters@cs.nyu.edu>
Thu, 5 Jun 2014 23:09:30 +0000 (19:09 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Thu, 5 Jun 2014 23:09:50 +0000 (19:09 -0400)
commitc2f576e0d425d028b6975914733432b36555cce6
tree2832bfb61835b7c0dad9b9905ae96101295cd208tree
parent90e3d3127d41348d9d3c7d7877d2d9d7e2828124commit | diff
When printing in SMT, print N-ary bvadd/bvmul/concat/bvand/bvor/bvxor as binary.
src/printer/smt2/smt2_printer.cpp diff | blob | history