~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
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-03-30	Clearly separate between LLVM, a bitcode compiler, and sanitizer compiler	Martin Nowack
	All three can be different but also provided by the same package. By separating the different use-cases, it allows to set them independently.
2022-03-17	remove LLVM < 6 from build/test scripts	Frank Busse

2020-09-30	Reduce compile time and size for LLVM build	Martin Nowack
	* Just target x86 as architecture * do not build tests for clang * use optimized tablegen * only build required tools and libraries that are needed by KLEE
2020-02-24	fix p-llvm.inc: invocation for monorepo directory layout	Julian Büning

2020-02-13	Use git repository to build LLVM	Martin Nowack
	LLVM changed from svn to github. Use the github mirror to have faster build times. Patches were updated to follow the new structure. Patches also support building underr Ubuntu 18.04
2019-09-09	fix minor build script issues and inconsistencies	Julian Büning
	mostly following shellcheck
2019-03-21	drop support for LLVM <= 3.7	Julian Büning

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.