| Age | Commit message (Expand) | Author |
|---|---|---|
| 2023-04-21 | Replaced "-data" and "-stat" by "_data" and "_stat" in the ktest-(rand)gen to... | Cristian Cadar |
| 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 |
| 2023-03-17 | [cmake] Use LLVM's CMake functionality only | 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 |