~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
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.
2017-07-28	Fixed script for STP in Travis-CI: Build now exits on errors	Andrea Mattavelli

2017-07-28	Modified Travis-CI script to compile STP with BOOST support	Andrea Mattavelli

2017-05-23	[TravisCI] Try to unbreak the build against upstream STP.	Dan Liew
	It seems there are have been quite a few changes upstream that change the way CMake is invoked. There doesn't seem to be any good reason for doing this.
2017-03-30	[TravisCI] Make handling of `TRAVIS_OS_NAME` more robust by not assuming	Dan Liew
	that its value not being `linux` implies `osx`.
2017-03-24	[Travis-CI] Added support for macOS build	Andrea Mattavelli

2017-01-19	[TravisCI] Modify TravisCI/Docker build scripts to support doing ASan/UBSan ↵	Dan Liew
	builds of KLEE. Two configurations (one for each build system) have been added to TravisCI to do an ASan build.
2015-08-31	Delete old patches.	Martin Nowack
	Say farewell to r940.
2015-08-30	Support KLEE with different STP versions; Disable r940	Martin Nowack
	Build STP version based on provided branch. Build current STP version 2.1.0 by default and test with master branch as well
2015-04-25	Remove boost requirements from TravisCI build.	Dan Liew

2015-04-09	Switch to using STP's fork of minisat for TravisCI. It contains fixes	Dan Liew
	needed by Clang.
2015-04-03	Upstream STP now depends on an external build of minisat. Attempt to	Dan Liew
	fix travis build of upstream STP and also how KLEE links against STP.
2014-09-15	Capture STP build output to file and only show its contents if there	Dan Liew
	is a build failure. This is so the output shown in the TravisCI web interface is kept small.
2014-09-13	Add TravisCI testing infrastructure files.	Dan Liew