| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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). | |||
| 2017-07-28 | [CMake] Refactor STP detection and change the default value of | Dan Liew | |
| `ENABLE_SOLVER_STP` to be set dynamically based on whether STP is available. Previously the default was always off. | |||
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |