~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
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
	Co-authored-by: Felix Rath <felix.rath@comsys.rwth-aachen.de>
2020-10-12	Add doxygen support in docker image	jiseongg
	CMake Warning at docs/CMakeLists.txt:46 (message): Doxygen not found. Can't build Doxygen documentation
2020-10-12	Remove unused cmake arguments when building docker	jiseongg
	CMake Warning: Manually-specified variables were not used by the project: LLVM_DIR
2020-09-30	Add check if KLEE is installed	Martin Nowack

2019-09-09	fix minor build script issues and inconsistencies	Julian Büning
	mostly following shellcheck
2019-07-30	Provide klee runtime build type as parameter	Martin Nowack
	Allow to build klee runtime with different build parameters using the build script.
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
	Provide a single `scripts/build/build.sh` file to build KLEE and its dependencies.