| Age | Commit message (Expand) | Author |
|---|
| 2024-01-30 | Change `GetConstraintLog` to work with `std::string`s instead of `char*`s | Daniel Schemmel |
| 2023-04-21 | use unique_ptr all throughout the solver chain | Daniel Schemmel |
| 2023-04-21 | use unique_ptr in Solver | Daniel Schemmel |
| 2022-06-15 | Spelling Fixes | m-davis |
| 2020-07-01 | Separate constraint set and constraint manager | Martin Nowack |
| 2019-09-03 | Moved solver-related header files into a separate klee/Solver/ directory. | Cristian Cadar |
| 2019-07-30 | Consolidated Expr-related include files into a single include/klee/Expr direc... | Cristian Cadar |
| 2018-10-30 | Base time API upon std::chrono | Frank Busse |
| 2016-01-12 | Drop unnecessary ``#include``s from Solver.cpp. | Dan Liew |
| 2016-01-12 | Refactor MetaSMTSolver and MetaSMTSolverImpl out of Solver.cpp into | Dan Liew |
| 2016-01-12 | [NFC] Refactor STPSolver and STPSolverImpl out of Solver.cpp into their | Dan Liew |
| 2016-01-12 | [NFC] Refactor DummySolver out of Solver.cpp into its own file | Dan Liew |
| 2016-01-12 | [NFC] Refactor ValidatingSolver out of Solver.cpp into its own file | Dan Liew |
| 2016-01-07 | [NFC] Refactor SolverImpl out of Solver.cpp into its own file | Dan Liew |
| 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 |
