| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-11-04 | [cmake] Add support to generate arbitrary runtime library configurations | Martin Nowack | |
| Every runtime library can be build with multiple configurations. Replace the Makefile-based setup by cmake one. Currently, we generate 32bit and 64bit libraries simultaneously and can link against them. | |||
| 2020-10-12 | address MartinNowack's remaining feedback | Julian Büning | |
| 2020-10-12 | fix cxa_exception include for older LLVM versions | Julian Büning | |
| 2020-10-12 | fix building klee-cxxabi | Julian Büning | |
| Co-authored-by: Felix Rath <felix.rath@comsys.rwth-aachen.de> | |||
| 2020-10-12 | Implemented support for C++ Exceptions | Felix Rath | |
| We implement the Itanium ABI unwinding base-API, and leave the C++-specific parts to libcxxabi. Co-authored-by: Lukas Wölfer <lukas.woelfer@rwth-aachen.de> | |||
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |