about summary refs log tree commit diff homepage
path: root/runtime/klee-eh-cxx/klee_eh_cxx.cpp
AgeCommit message (Collapse)Author
2020-10-12address MartinNowack's remaining feedbackJulian Büning
2020-10-12fix cxa_exception include for older LLVM versionsJulian Büning
2020-10-12Implemented support for C++ ExceptionsFelix 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>