~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
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.