| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2023-06-11 | fix ktest-randgen: use after free | Julian Büning | |
| 2023-04-21 | Replaced "-data" and "-stat" by "_data" and "_stat" in the ktest-(rand)gen ↵ | Cristian Cadar | |
| tools for consistency with recent changes. | |||
| 2023-03-23 | Remove model_version from the POSIX runtime, as we have never used it. | Cristian Cadar | |
| 2023-03-17 | [MemSan] Mark memory objects modified by syscalls as initialised | Martin Nowack | |
| 2022-05-06 | Renamed gen-random-bout to ktest-randgen | Cristian Cadar | |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |