~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2017-01-19	[TravisCI] Modify TravisCI/Docker build scripts to support doing ASan/UBSan b...	Dan Liew
2017-01-18	[CMake] Remove `ENABLE_TESTS` CMake cache option.	Dan Liew
2017-01-16	[CMake] Rename "integrationtests" to "systemtests".	Dan Liew
2016-12-23	rerun lit tests for non-default metaSMT backends	Hoang M. Le
2016-12-18	[TravisCI] When building with the old build system move back	Dan Liew
2016-12-18	[TravisCI] Remove `set +e` commands so that when running tests we fail	Dan Liew
2016-12-17	[TravisCI] Fix bug where TravisCI build scripts would carry on executing	Dan Liew
2016-11-07	Implement a CMake based build system for KLEE.	Dan Liew
2016-06-10	rename the configure option --with-metasmt-default-solver to --with-metasmt-d...	Hoang M. Le
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-02-27	Travis: Run TCMalloc runs explicitly	Martin Nowack
2016-02-27	Update travis configuration to use tcmalloc	Martin Nowack
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
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-09	Fix mistake if TravisCI scripts where configure flag for enabling POSIX	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