~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2023-03-17	Update build scripts	Martin Nowack
2022-06-30	remove LLVM < 9	Frank Busse
2022-04-28	Make Uclibc support a runtime option, not a compile-time one.	Gleb Popov
2022-03-30	Add support to `sudo` if necessary	Martin Nowack
2020-11-20	p-klee.inc: libc++abi only needed for c++ exception support	Julian Büning
2020-10-12	Exception handling only for LLVM >= 8.0.0	Julian Büning
2020-10-12	fix building klee-cxxabi	Julian Büning
2020-10-12	Add doxygen support in docker image	jiseongg
2020-10-12	Remove unused cmake arguments when building docker	jiseongg
2020-09-30	Add check if KLEE is installed	Martin Nowack
2019-09-09	fix minor build script issues and inconsistencies	Julian Büning
2019-07-30	Provide klee runtime build type as parameter	Martin Nowack
2019-04-04	Add MSan support for sqlite	Timotej Kapus
2019-03-17	Add libc++ as build dependency to KLEE	Martin Nowack
2019-03-10	Updated dependency build system for KLEE	Martin Nowack