~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
2020-12-02	Use Github Actions as default CI	Martin Nowack

2020-02-13	Update Docker image template for KLEE.	Martin Nowack
	* Port changes from .Dockerfile to this * install emacs-nox and vim-nox instead of pulling all X dependencies * Clean apt cache
2019-10-16	Add missing file utility in docker image	Martin Nowack

2019-04-08	Add LD_LIBRARY_PATH to docker image	Gerben Oolbekkink
	Fixes #1080. The proper LD_LIBRARY_PATH is required when binaries linked with kleeRuntest are run. The STP line is changed to extend the library path instead of replace it, I am not sure if it can be removed at this moment.
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.