| Age | Commit message (Expand) | Author |
|---|---|---|
| 2023-05-26 | Use unique_ptr for MemoryManager and avoid re-creating it in the first place | Martin Nowack |
| 2023-03-16 | Integrate KDAlloc into KLEE | Daniel Schemmel |
| 2019-06-04 | make endif guard naming consistent | Julian Büning |
| 2018-09-06 | Fix missing includes and declarations | Martin Nowack |
| 2017-02-24 | Teach KLEE to respect the requested memory alignment of globals and stack | Dan Liew |
| 2016-07-08 | Clang-formated MemoryManager | Martin Nowack |
| 2016-07-08 | Add deterministic allocation of memory | Martin Nowack |
| 2016-07-08 | Handle aligned varargs allignment correctly | Martin Nowack |
| 2015-12-18 | Fix memory leaks of ``Array`` objects detected by ASan. | Dan Liew |
| 2012-01-18 | Nice patch by Gang Hu, Heming Cui and Junfeng Yang fixing a memory | Cristian Cadar |
| 2009-05-21 | Initial KLEE checkin. | Daniel Dunbar |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |