~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2016-06-10	rename the configure option --with-metasmt-default-solver to ↵	Hoang M. Le
	--with-metasmt-default-backend and improve the associated CXX flag
2016-06-10	add entries for metaSMT with btor/stp/z3 in Travis CI	Hoang M. Le

2016-06-10	add metaSMT to travis	Hoang

2016-06-04	Do not install clang-3.4 if not needed	Martin Nowack

2016-02-27	Travis: Run TCMalloc runs explicitly	Martin Nowack

2016-02-27	Update travis configuration to use tcmalloc	Martin Nowack
	We have to build our own tcmalloc, as the version provided with Ubtuntu 12.04 is too old.
2016-02-14	Add TravisCI and Docker support for building KLEE with Z3 support	Dan Liew

2015-10-30	Teach TravisCI and the Docker build to use the tagged	Dan Liew
	"klee_uclibc_v1.0.0" release of uclibc.
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-06-16	added COVERAGE=0 to dockerfile, factored out coverage build flags to be only ↵	Timotej Kapus
	set when COVERAGE is, added the python server script to scripts
2015-06-15	added zcov integration to travis CI	Timotej

2015-04-25	Remove boost requirements from TravisCI build.	Dan Liew

2015-04-09	Fix mistake if TravisCI scripts where configure flag for enabling POSIX	Dan Liew
	runtime was incorrect.
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-10-09	Add a hack for Travis so that llvm-gcc can build native executables.	Dan Liew
	This could be useful if KLEE tests want to use the bitcode compiler as a native compiler.
2014-09-15	[Travis] Show commands as they execute in	Dan Liew
	``install-llvm-and-runtime-compiler.sh``
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-15	Clean up travis build scripts a little.	Dan Liew

2014-09-15	Fix when we decide to "not exit on command error". We were doing this	Dan Liew
	too late so if the unittests failed the lit tests would not run.
2014-09-14	[tests] Enable running tests in parallel.	Daniel Dunbar
	- This works fine for me on OS X now, and has been reported to work on Linux as well. Enabling across the board although presumably Travis will still only run single-threaded. - Fixes #147.
2014-09-13	[Travis] Also propagate make flags to 'lit.site.cfg' build.	Daniel Dunbar

2014-09-13	[Travis] Propagate make flags to unittests build as well.	Daniel Dunbar

2014-09-13	Add TravisCI testing infrastructure files.	Dan Liew