about summary refs log tree commit diff homepage
path: root/runtime/klee-eh-cxx
AgeCommit message (Collapse)Author
2024-02-08Explicitly build KLEE's exception handling runtime with C++11Martin Nowack
Currently, we assume C++11 support being used to by the tested software. This needs to change if newer C++ standards should be supported.
2024-02-08Fix `klee_eh_cxx.cpp` compiler errorMartin Nowack
2024-02-08Add support for newer `libc++`; Simplify path detectionMartin Nowack
`libc++` include headers are now split between platform dependent and platform independent code. Before, only include files for the platform independent code were considered. Add support to automatically find platform dependent includes as well. Simplify the detection of libraries and paths. Instead of pointing to the `v1` directory, pointing to the include directory for `-DKLEE_LIBCXX_INCLUDE_PATH` is enough. Update build script to support this as well.
2020-11-04[cmake] Add support to generate arbitrary runtime library configurationsMartin 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-12address MartinNowack's remaining feedbackJulian Büning
2020-10-12fix cxa_exception include for older LLVM versionsJulian Büning
2020-10-12fix building klee-cxxabiJulian Büning
Co-authored-by: Felix Rath <felix.rath@comsys.rwth-aachen.de>
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>
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-22 06:51:50 +0000