~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-10-17	[travis] build metaSMT with C++11	Hoang M. Le

2017-10-17	[travis] update scripts to additionally test CVC4 and Yices2	Hoang M. Le

2017-05-02	[travis] add environment variable METASMT_BOOST_VERSION to control the boost ↵	Hoang M. Le
	version used by metaSMT and test it with the combination LLVM-2.9 + metaSMT
2017-04-07	[travis] fix a git submodule failure of metaSMT	Hoang M. Le

2017-03-30	[TravisCI] Try unbreaking the TravisCI metaSMT build. Copying across	Dan Liew
	the `cmake` directory breaks KLEE's CMake build. Just copy across the STP library for now. This really sucks. The script needs to do a better job of installing MetaSMT and its dependencies. For reference here's the error. ``` CMake Error at /usr/lib/cmake/STP/STPTargets.cmake:67 (message): The imported target "stp_simple" references the file "/usr/bin/stp_simple" but this file does not exist. Possible reasons include: * The file was deleted, renamed, or moved to another location. * An install or uninstall procedure did not complete successfully. * The installation package was faulty and contained "/usr/lib/cmake/STP/STPTargets.cmake" but not all the files it references. Call Stack (most recent call first): /usr/lib/cmake/STP/STPConfig.cmake:15 (include) /home/travis/build/klee/build/metaSMT/build/metaSMTConfig.cmake:6 (find_package) cmake/find_metasmt.cmake:10 (find_package) CMakeLists.txt:360 (include) ```
2017-03-23	[TravisCI] Try to unbreak the metaSMT build.	Dan Liew
	It looks like `deps/stp-git-basic/lib` contains a directory named `cmake` so use `-r` instead in the hack in the `metaSMT.sh`. We didn't catch this before because the script previously just carried on executing if a command failed.
2017-03-23	[TravisCI] Check if `METASMT_VERSION` is set and abort if it is not	Dan Liew
	set. Also exit if any of the commands in `.travis/metaSMT.sh` fail.
2017-03-23	[travis] build metaSMT without C++11	Hoang M. Le

2017-03-23	[travis] use a proper version of metaSMT via environment variable ↵	Hoang M. Le
	METASMT_VERSION
2017-02-21	fix metaSMT version	Hoang M. Le

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.
2016-10-27	upgrade to boolector-2.2.0 & remove the no longer needed aux array vector	Hoang M. Le

2016-06-10	add metaSMT to travis	Hoang