~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2018-05-24	isLSB should be a boolean, as it is only used in truth contexts	Daniel Schemmel
2016-03-22	ExprPPrinter: Print out arrays deterministically	Martin Nowack
2014-05-29	Remove #include <iostream> to avoid static constructors	Martin Nowack
2014-05-29	Refactoring from std::ostream to llvm::raw_ostream	Martin Nowack
2014-04-04	Add the ability to control whether the pretty printer uses line breaks	Peter Collingbourne
2012-10-24	Patch by Dan Liew: "Moved PrintContext class out of ExprPrinter.cpp so	Cristian Cadar
2010-07-15	Fix a -Wbool-conversion warning.	Daniel Dunbar
2009-07-11	Removed the Nz macro.	Cristian Cadar
2009-07-10	Replaced createNot() by createIsZero() and "Not" macro by "Nz".	Cristian Cadar
2009-06-22	Add ConstantExpr::toString (instead of using getConstantValue()).	Daniel Dunbar
2009-06-16	Add (very) basic constant folding for Mul.	Daniel Dunbar
2009-06-15	Support partial folding for Add in new constant folding builder.	Daniel Dunbar
2009-06-14	Add several ConstantExpr utility functions and move clients over.	Daniel Dunbar
2009-06-09	More constant Array support.	Daniel Dunbar
2009-06-09	Switch Array* print-outs to use name instead of ID, and update a few	Daniel Dunbar
2009-06-09	Kill off UpdateList::isRooted flag.	Daniel Dunbar
2009-06-07	Make sure to include arrays to be evaluated in the set of used arrays.	Daniel Dunbar
2009-06-07	Implement array declarations.	Daniel Dunbar
2009-06-07	Eliminate anonymous versions.	Daniel Dunbar
2009-06-05	Support the extended query command syntax.	Daniel Dunbar
2009-06-05	Expr::print shouldn't introduce line breaks or extra formatting.	Daniel Dunbar
2009-06-04	Start removing uses of Expr::isConstant.	Daniel Dunbar
2009-06-04	Use dyn_cast<> instead of dyn_ref_cast.	Daniel Dunbar
2009-06-04	Use cast<> instead of static_ref_cast.	Daniel Dunbar
2009-06-04	Fixed the code dealing with ReadLSB/ReadMSB, which was currently	Cristian Cadar
2009-06-04	Move isConstant from ref<> to Expr::	Daniel Dunbar
2009-06-03	Kill off specialized ref<> forwarding methods, in the interest of making it a	Daniel Dunbar
2009-06-02	Use ConstantExpr::alloc instead of ref<Expr> directly	Daniel Dunbar
2009-05-21	Initial KLEE checkin.	Daniel Dunbar