| Age | Commit message (Expand) | Author |
|---|
| 2015-12-18 | Move lib/Solver/SolverStats.h -> include/klee/SolverStats.h | Dan Liew |
| 2015-12-17 | [Solver]Add support to dump STP qeries using | Martin Nowack |
| 2015-12-17 | [Solver]Add simple option to dump queries | Martin Nowack |
| 2014-09-13 | [Solver] Tune down the shared memory region size on Darwin. | Daniel Dunbar |
| 2014-09-13 | [Solver] Ensure shared memory allocation failures are reported as errors, not... | Daniel Dunbar |
| 2014-05-29 | Remove #include <iostream> to avoid static constructors | Martin Nowack |
| 2014-04-24 | Remove unused pointer to STPSolver in STPSolverImpl to silence clang | Dan Liew |
| 2014-04-16 | Removing a few more hard-coded values for domains and ranges of Array objects | Hristina Palikareva |
| 2013-10-11 | getConstraintLog() of MetaSMTSolver explicitly states that this feature is no... | Hristina Palikareva |
| 2013-10-11 | MetaSMT builder, solver and command-line options. | Hristina Palikareva |
| 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 |
