about summary refs log tree commit diff homepage
path: root/lib/Expr/ExprPPrinter.cpp
AgeCommit message (Expand)Author
2020-11-12Ref: implement operator bool()Julian Büning
2020-07-01Separate constraint set and constraint managerMartin Nowack
2020-04-30Moved header files that were placed directly in include/klee/ into appropriat...Cristian Cadar
2020-04-30Removed include/klee/util and moved header files to appropriate placesCristian Cadar
2020-02-19Use `ref<>` for UpdateNodeMartin Nowack
2019-07-30Consolidated Expr-related include files into a single include/klee/Expr direc...Cristian Cadar
2019-03-13Documented options in ExprPPrinter.cpp and placed them into a new option cate...Cristian Cadar
2018-05-24isLSB should be a boolean, as it is only used in truth contextsDaniel Schemmel
2016-03-22ExprPPrinter: Print out arrays deterministicallyMartin Nowack
2014-05-29Remove #include <iostream> to avoid static constructorsMartin Nowack
2014-05-29Refactoring from std::ostream to llvm::raw_ostreamMartin Nowack
2014-04-04Add the ability to control whether the pretty printer uses line breaksPeter Collingbourne
2012-10-24Patch by Dan Liew: "Moved PrintContext class out of ExprPrinter.cpp soCristian Cadar
2010-07-15Fix a -Wbool-conversion warning.Daniel Dunbar
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-06-02 20:02:48 +0000