~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2024-02-08	Add support for newer `libc++`; Simplify path detection	Martin 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.
2023-03-17	Update build scripts	Martin Nowack
	* Support for Ubuntu 22.04 * Remove support for Python2 * Better separation between sanitizer builds and non-sanitizer builds * Fix build of metaSMT on newer Ubuntu versions * Use ninja to build LLVM * Simplifying building arbitrary LLVM configurations, e.g. different LLVM sanitizer builds (MemSan, UBSan, ASan) * Use MemSan with origin tracking * Build sqlite3 container correctly * Add support to provide sqlite3 version number
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
	Instead if executing system-relevant changes directly, use `sudo` on Ubuntu-based machines. Simplifies the installation procedure.
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.