~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
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-09	Fix mistake if TravisCI scripts where configure flag for enabling POSIX	Dan Liew
	runtime was incorrect.
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