~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2024-02-16	drop llvm 9 and 10	Daniel Schemmel

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-03-30	Add LLVM 9 and LLVM 11 patches to build with newer Linux kernel versions	Martin Nowack

2022-03-17	remove LLVM < 6 from build/test scripts	Frank Busse

2020-09-30	Fix LLVM 4.0 build patch	Martin Nowack

2020-02-13	Add patch support for libcxx	Martin Nowack
	Building older LLVM/libcxx versions under Ubuntu 18.04 requirer patches
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-05	build: additional patches for LLVM 3.8-5.0	Julian Büning

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.
2018-09-06	llvm36.patch: fix build for newer glibc/gcc versions	Frank Busse

2018-07-04	Extensive updates to the build script for dependencies and docker	Martin Nowack
	Building/managing dependencies of KLEE are not easy. This script should change this. Features: * script install different versions in their specific directories This allows: - to have different versions in parallel installed: llvm, solvers - to have different optimization levels installed (Debug, no-debug, assertions, optimized) - to have different versions of instrumentation enabled (address, memory, leakage, undefined behavior) * the script is kept distribution agnostic: assuming basic packages are installed (a compiler), use `scripts/build/ubuntu-dependencies.sh` to install ubuntu specific ones * the script does not install any file into system directories (sudo is not required) files are only installed into a user specified BASE directory The same scripts are used for either local setup (`scripts/build/local_install.sh`) or create a docker image based of your current source folder (`scripts/build/build_docker.sh`) Change the defaults permanently by modifying (`scripts/build/common-defaults.sh`) or change them on the fly by providing them as environment variables on the command line. The same scripts are also used for TravisCI, so we test what we are using.