~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2019-04-08	Add LD_LIBRARY_PATH to docker image 2.0.x	Gerben Oolbekkink
2019-03-19	Dockerfile: Add libcxx as a build dependency	MartinNowack
2019-03-18	Update Dockerfile with new dependencies	Martin Nowack
2019-03-10	Add dockerfile for default KLEE setup	Martin Nowack
2018-07-04	Extensive updates to the build script for dependencies and docker	Martin Nowack
2018-01-17	add wllvm to the python packages to be installed	Hexcoder
2017-10-04	Remove Autoconf/Makefile build system and adjust the TravisCI	Dan Liew
2017-03-30	[Docker] Unbreak build.	Dan Liew
2017-01-19	[TravisCI] Modify TravisCI/Docker build scripts to support doing ASan/UBSan b...	Dan Liew
2016-11-30	Fixing current version of STP in Dockerfile (see #505) to 2.1.2	Cristian Cadar
2016-11-07	Implement a CMake based build system for KLEE.	Dan Liew
2016-08-16	[Klee Web] Link libkleeRuntest library to fix coverage report	Giacomo Guerci
2016-06-30	Dockerfile: link binaries to /usr/bin	Domenico Fabio Marino
2016-02-14	Add TravisCI and Docker support for building KLEE with Z3 support	Dan Liew
2016-01-14	Try to unbreak the Docker build broken by	Dan Liew
2015-10-30	Teach TravisCI and the Docker build to use the tagged	Dan Liew
2015-10-08	Fix accidently hardcoding of LLVM version in Dockerfile	Dan Liew
2015-08-31	Delete old patches.	Martin Nowack
2015-06-16	added COVERAGE=0 to dockerfile, factored out coverage build flags to be only ...	Timotej Kapus
2015-04-10	The Docker image had python2 and python3 which is a waste of space	Dan Liew
2015-04-10	Don't upgrade pip or setuptools. Upgrading pip breaks the build because	Dan Liew
2015-04-10	Add missing slash in last commit.	Dan Liew
2015-04-10	Update Dockerfile	David Leon Gil
2015-04-09	Add initial Dockerfile for building a KLEE Docker image (uses LLVM3.4).	Dan Liew