| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-10-12 | Exception handling only for LLVM >= 8.0.0 | Julian Büning |
| 2020-10-12 | Implemented support for C++ Exceptions | Felix Rath |
| 2018-10-26 | llvm5: test, add -disable-O0-optnone to -O0 | Jiri Slaby |
| 2018-07-04 | Reorder linking and optimizations | Martin Nowack |
| 2018-07-04 | Reorganise runtime libraries provided by KLEE | Martin Nowack |
| 2017-10-04 | [CMake] Add global clean target `clean_all`. Fixes #718. | Dan Liew |
| 2017-03-30 | [CMake] Add the `clean_runtime` top level target to provide an easy way | Dan Liew |
| 2017-03-30 | [CMake] When supported pass `USES_TERMINAL` argument to | Dan Liew |
| 2017-02-11 | [CMake] More widely available rebuilding for runtimes | Levente Kurusa |
| 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 |