~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-02-13	Use system's boost when building metasmt and user newer boolector version	Martin Nowack

2019-04-08	Use newer versions of solver components used by MetaSMT	Martin Nowack
	Add dependencies for newer build Add support to `git cherry-pick` commits without author/email defined
2019-04-08	Propagate correct version of metasmt to build script	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.