about summary refs log tree commit diff homepage
path: root/lib/Expr/ExprPPrinter.cpp
AgeCommit message (Expand)Author
2009-07-11Removed the Nz macro.Cristian Cadar
2009-07-10Replaced createNot() by createIsZero() and "Not" macro by "Nz". Cristian Cadar
2009-06-22Add ConstantExpr::toString (instead of using getConstantValue()).Daniel Dunbar
2009-06-16Add (very) basic constant folding for Mul.Daniel Dunbar
2009-06-15Support partial folding for Add in new constant folding builder.Daniel Dunbar
2009-06-14Add several ConstantExpr utility functions and move clients over.Daniel Dunbar
2009-06-09More constant Array support.Daniel Dunbar
2009-06-09Switch Array* print-outs to use name instead of ID, and update a fewDaniel Dunbar
2009-06-09Kill off UpdateList::isRooted flag.Daniel Dunbar
2009-06-07Make sure to include arrays to be evaluated in the set of used arrays.Daniel Dunbar
2009-06-07Implement array declarations.Daniel Dunbar
2009-06-07Eliminate anonymous versions.Daniel Dunbar
2009-06-05Support the extended query command syntax.Daniel Dunbar
2009-06-05Expr::print shouldn't introduce line breaks or extra formatting.Daniel Dunbar
2009-06-04Start removing uses of Expr::isConstant.Daniel Dunbar
2009-06-04Use dyn_cast<> instead of dyn_ref_cast.Daniel Dunbar
2009-06-04Use cast<> instead of static_ref_cast.Daniel Dunbar
2009-06-04Fixed the code dealing with ReadLSB/ReadMSB, which was currentlyCristian Cadar
2009-06-04Move isConstant from ref<> to Expr::Daniel Dunbar
2009-06-03Kill off specialized ref<> forwarding methods, in the interest of making it aDaniel Dunbar
2009-06-02Use ConstantExpr::alloc instead of ref<Expr> directlyDaniel Dunbar
2009-05-21Initial KLEE checkin.Daniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-12-11 13:21:01 +0000