| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-11-04 | [cmake] Remove several leftovers from old autoconf build system | Martin Nowack |
| 2019-09-05 | test/CMakeLists.txt: error handling for download | Julian Büning |
| 2019-09-05 | test/CMakeLists.txt: use official llvm monorepo for download | Julian Büning |
| 2019-07-30 | fix two test issues | Felix Rath |
| 2019-07-30 | Add missing dependencies for `check` target | Martin Nowack |
| 2018-10-08 | add support for klee-replay on OSX | Frank Busse |
| 2017-11-26 | Replace confusing message in lit.site.cfg.in about the file being autogenerated | Cristian Cadar |
| 2017-04-08 | [CMake] Don't redownload FileCheck.cpp if it exists | emlai |
| 2017-03-17 | test: fix 'not' build | Jiri Slaby |
| 2017-01-19 | Teach both build systems to pass the user provided CXXFLAGS and CFLAGS | Dan Liew |
| 2017-01-16 | [CMake] Rename "integrationtests" to "systemtests". | Dan Liew |
| 2017-01-14 | Write tests to test `libkleeRuntest`. The `replay_posix_runtime.c` | Dan Liew |
| 2016-11-07 | Implement a CMake based build system for KLEE. | Dan Liew |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |