| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 |