~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2019-11-26	remove python2 from osx CI	Felix Rath
	Python 2 should not be needed anymore, so we remove it from osx CI.
2019-10-29	Travis: double timeout for MetaSMT tests	Frank Busse

2019-10-16	Add missing file utility in docker image	Martin Nowack

2019-09-09	fix minor build script issues and inconsistencies	Julian Büning
	mostly following shellcheck
2019-09-05	build: additional patches for LLVM 3.8-5.0	Julian Büning

2019-07-30	Provide klee runtime build type as parameter	Martin Nowack
	Allow to build klee runtime with different build parameters using the build script.
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-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-04-05	Add missing dependency for tabulate package	Martin Nowack

2019-04-05	Remove CC as requirement; automatically set by sanitizer_compiler	Martin Nowack
	Update build sqlite script
2019-04-04	Fix SQLite OSX	Timotej Kapus

2019-04-04	Add MSan support for sqlite	Timotej Kapus

2019-04-04	add tabulate to OSX build	Frank Busse

2019-04-04	some minor refactorings	Frank Busse

2019-04-04	Change the .stats format into sqlite3	Timotej Kapus
	Improves querying of the .stats file, reduces its size, speeds up reads and writes and has better defined fail behaviour.
2019-03-21	drop support for LLVM <= 3.7	Julian Büning

2019-03-17	Fix `true` invocation in case docker image could not be pushed	Martin Nowack

2019-03-17	Add libc++ as build dependency to KLEE	Martin Nowack

2019-03-17	Add support for libc++ as part of the build.sh scripts	Martin Nowack

2019-03-17	Generalise clang package detection for linux and mac osx	Martin Nowack

2019-03-12	Add integer sanitizer to UBSan	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.
2018-12-19	Travis OSX: install Python 3.x	Frank Busse

2018-11-11	Use LLVM 4 for Mac Build	Martin Nowack

2018-10-07	Workaround for flaky coverage	Martin Nowack
	Merge unittest coverage results and system tests coverage results into one coverage report.
2018-09-27	Revert lit to 0.6.0 version, as 0.7.0 misbehaves	Cristian Cadar

2018-09-06	llvm36.patch: fix build for newer glibc/gcc versions	Frank Busse

2018-08-12	llvm.sh: fix patch source paths	Frank Busse

2018-07-12	Fix uploading of coverage information from inside of docker	Martin Nowack

2018-07-11	Add missing curl	Martin Nowack

2018-07-11	Fix slow Mac Travis build: wildcard is not expanded with quotes	Martin Nowack

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.