| Age | Commit message (Expand) | Author |
|---|
| 2019-03-13 | Added --debug-log-state-merge to path merging category | Cristian Cadar |
| 2018-10-30 | Base time API upon std::chrono | Frank Busse |
| 2018-05-15 | Implemented incomplete merging | Lukas Wölfer |
| 2017-11-30 | Implemented bounded merging functionality | Lukas Wölfer |
| 2017-07-23 | Remove support for LLVM < 3.4 | Martin Nowack |
| 2016-07-08 | Add deterministic allocation of memory | Martin Nowack |
| 2015-04-03 | Fixed issue introduce during a previous refactoring, related to field ordering. | Cristian Cadar |
| 2015-04-02 | Silenced some compilation warnings. | Cristian Cadar |
| 2015-04-02 | Removed unused fakeState field from ExecutionState | Cristian Cadar |
| 2015-04-02 | Removed underConstrained field, which I believe was re-introduced by | Cristian Cadar |
| 2015-04-02 | [Core] Documentation and cleanup | Martin Nowack |
| 2014-09-19 | Removed code related to underConstrained, as it is unused (issue pointed out ... | Cristian Cadar |
| 2014-05-29 | Refactoring from std::ostream to llvm::raw_ostream | Martin Nowack |
| 2013-08-27 | Port to LLVM 3.3 | Martin Nowack |
| 2012-01-18 | Nice patch by Gang Hu, Heming Cui and Junfeng Yang fixing a memory | Cristian Cadar |
| 2011-11-29 | Updates for LLVM 3.1. | Peter Collingbourne |
| 2010-06-24 | Added ExecutionState::dumpStack function for inspecting the status of the stack | Peter Collingbourne |
| 2010-03-14 | Kill off ExecutionTrace stuff, it is too messy. | Daniel Dunbar |
| 2009-09-01 | Update for LLVM ostream changes. | Daniel Dunbar |
| 2009-06-14 | Remove some unused functionality. | Daniel Dunbar |
| 2009-06-02 | Use ConstantExpr::alloc instead of ref<Expr> directly | Daniel Dunbar |
| 2009-05-21 | Initial KLEE checkin. | Daniel Dunbar |
