~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2022-03-22	Install doxygen and graphviz (dot) to generate Doxygen documentation when ENA...	Cristian Cadar
2022-01-06	Dockerfile: use Google Test 1.11.0	Julian Büning
2020-12-02	Use Github Actions as default CI	Martin Nowack
2020-10-12	Add doxygen support in docker image	jiseongg
2020-09-30	Update Dockerfile to use LLVM 9.0 and newer Ubuntu version	Martin Nowack
2020-04-30	docker: install KLEE headers in system include path	Xiao Liang
2020-02-13	Use a newer Ubuntu 18.04 from the year 2020 to build KLEE Dockerimage	Martin Nowack
2020-01-17	Add additional packages to provide an out-of-the-box grafana support	Martin Nowack
2019-12-19	Reorganise Dockerfile to have KLEE user own the build directory	Martin Nowack
2019-10-16	Add missing file utility in docker image	Martin Nowack
2019-07-30	Provide klee runtime build type as parameter	Martin Nowack
2019-07-26	Install emacs and vim in the Docker image	Cristian Cadar
2019-07-25	Solve issues with running as a command on docker run	Denis Gavrielov
2019-04-08	Add LD_LIBRARY_PATH to docker image	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