| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | |
| 2023-03-17 | [cmake] Use LLVM's CMake functionality only | Martin Nowack | |
| LLVM became more complex, use LLVM's CMake functionality directly instead of replicating this behaviour in KLEE's build system. Use the correct build flags provided by LLVM itself. This is influenced by the way LLVM is built in the first place. Remove older CMake support (< 3.0). | |||
| 2022-05-06 | Renamed gen-bout to ktest-gen | Cristian Cadar | |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |