projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2a8c225) | patch
minor isConst()-related fixes to printing; also add some debugging stuff to see how...
authorMorgan Deters <mdeters@gmail.com>
Thu, 9 Aug 2012 13:48:37 +0000 (13:48 +0000)
committerMorgan Deters <mdeters@gmail.com>
Thu, 9 Aug 2012 13:48:37 +0000 (13:48 +0000)
commitecdd09877ecc4c07a22cc27cd2dd5441134476ba
tree31360d8a02df358db3a15a2cb463dfee2fae4d98tree
parent2a8c2250a4cf3cd2c5d806678c31a1c98f72323dcommit | diff
minor isConst()-related fixes to printing; also add some debugging stuff to see how isConst() operates: use -d isConst
src/expr/node.h diff | blob | history
src/printer/dagification_visitor.cpp diff | blob | history
src/printer/smt2/smt2_printer.cpp diff | blob | history