| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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> | |||
| 2019-11-05 | Most libc++ tests require uclibc; add missing REQUIRES statements or remove ↵ | Cristian Cadar | |
| dependency. | |||
| 2019-03-17 | Fix libc++ testcases | Martin Nowack | |
| * remove wrapper script invocation and script * add build instruction to test cases * added additional checks * add check to avoid execution of tests if KLEE is not compiled with libc++ | |||
| 2019-03-17 | Added libcxx flag | Lukas Wölfer | |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |