~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2015-10-30	Teach TravisCI and the Docker build to use the tagged	Dan Liew
2015-08-31	Delete old patches.	Martin Nowack
2015-08-30	Support KLEE with different STP versions; Disable r940	Martin Nowack
2015-06-16	added COVERAGE=0 to dockerfile, factored out coverage build flags to be only ...	Timotej Kapus
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
2015-04-09	Switch to using STP's fork of minisat for TravisCI. It contains fixes	Dan Liew
2015-04-03	Upstream STP now depends on an external build of minisat. Attempt to	Dan Liew
2014-10-09	Add a hack for Travis so that llvm-gcc can build native executables.	Dan Liew
2014-09-15	[Travis] Show commands as they execute in	Dan Liew
2014-09-15	Capture STP build output to file and only show its contents if there	Dan Liew
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
2014-09-14	[tests] Enable running tests in parallel.	Daniel Dunbar
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