~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
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	Make sure TravisCI does a few builds where it uses the development	Dan Liew
	branch for klee-uclibc.
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-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-15	encrypted secrets with main klee repo key	Timotej

2015-06-15	added zcov integration to travis CI	Timotej

2015-04-25	Make sure TravisCI tests at least one Debug+Asserts build.	Dan Liew

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

2014-09-14	[Travis] Stop building with both Clang and GCC for now, see comment.	Daniel Dunbar

2014-09-15	Clean up travis build scripts a little.	Dan Liew

2014-09-14	Remove dependence on the bc tool. Use python instead because we are	Dan Liew
	already dependent on it.
2014-09-13	Enable ASSERTS in Travis builds.	Daniel Dunbar

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