Age | Commit message (Expand) | Author |
---|---|---|
2023-03-17 | [cmake] Use LLVM's CMake functionality only | Martin Nowack |
2016-11-18 | [CMake] Remove use of tabs in `CMakeLists.txt` files. | Dan Liew |
2016-11-18 | [CMake] Re-express LLVM and KLEE library dependencies as | Dan Liew |
2016-11-17 | [cmake] Build with newer JIT (for LLVM >= 3.6) | Adrian Herrera |
2016-11-07 | Implement a CMake based build system for KLEE. | Dan Liew |