~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2016-03-22	Properly assert that an assignment computed in	Dan Liew
2016-03-22	Try to fix #348	Dan Liew
2015-12-23	Fix memory leak detected by ASan when	Dan Liew
2015-12-23	[NFC]	Dan Liew
2015-09-05	Allow to generate initial values with empty constraint set	Martin Nowack
2015-04-01	Added the function IndependentSolver::createdPointEvaluatesToTrue	Eric Rizzi
2015-04-01	Commit of improved IndependentSolver::getIniitalValues().	Eric Rizzi
2015-04-01	Added the ability to solve for all factors in a particular query.	Eric Rizzi
2015-03-10	Altered DenseSet and IndependentElementSet to record ref<Expr> involved	Eric Rizzi
2014-09-13	Add KLEE specific DEBUG macros.	Daniel Dunbar
2014-05-29	Use LLVM DEBUG macro instead of #if 0 or #if DEBUG	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
2013-08-06	Methods getConstraintLog() and setTimeout() made virtual and moved from STPSo...	Hristina Palikareva
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
2011-05-18	Maintain an equivalence set during comparison operations	Peter Collingbourne
2009-09-01	Update for LLVM ostream changes.	Daniel Dunbar
2009-06-14	Add ConstantExpr::{getLimitedValue,getZExtValue}.	Daniel Dunbar
2009-06-09	Add initial support for constant Arrays.	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-04	Finish 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-05-21	Initial KLEE checkin.	Daniel Dunbar