~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2013-08-06	Methods getConstraintLog() and setTimeout() made virtual and moved from STPSo...	Hristina Palikareva
2013-01-22	Added a new option --ignore-solver-failures, disabled by default, to	Cristian Cadar
2013-01-02	Patch by Tomasz Kuchta adding more detailed information on query failures.	Cristian Cadar
2013-01-02	Patch by Tomasz Kuchta adding a new option (min-query-time-to-log) that enabl...	Cristian Cadar
2012-07-31	Patch by Dan Liew that removes our internal copy of STP, and makes the --with...	Cristian Cadar
2011-12-11	Patch by Ben Gras fixing a few minor issues: adds missing includes,	Cristian Cadar
2010-07-14	Add option to use an external version of STP	Peter Collingbourne
2010-04-22	Added --stp-optimize-divides flag. Patch submitted by Peter	Cristian Cadar
2009-08-24	Applied the patch submitted by Robby Cochran that fixes an arithmetic overflo...	Cristian Cadar
2009-08-01	Avoid failing if waitpid fails with EINTR, patch by Vladimir Kuznetsov.	Daniel Dunbar
2009-07-10	Replaced createNot() by createIsZero() and "Not" macro by "Nz".	Cristian Cadar
2009-06-14	Add ConstantExpr::{getLimitedValue,getZExtValue}.	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	Kill off UpdateList::isRooted flag.	Daniel Dunbar
2009-06-08	Add klee::createDummySolver, the dummy solver always fails.	Daniel Dunbar
2009-06-05	Clean up a number of unused variable warnings when building w/o	Daniel Dunbar
2009-06-04	Change Solver::getValue to make explicit that result is a ConstantExpr.	Daniel Dunbar
2009-06-04	Finish removing uses of Expr::isConstant.	Daniel Dunbar
2009-06-04	Start removing uses of Expr::isConstant.	Daniel Dunbar
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-25	Add includes to get sprintf (STPBuilder) and	Duncan Sands
2009-05-22	Add missing include (for FreeBSD build)	Daniel Dunbar
2009-05-21	Initial KLEE checkin.	Daniel Dunbar