~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
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	Make sure TravisCI does a few builds where it uses the development	Dan Liew
2015-10-30	Teach TravisCI and the Docker build to use the tagged	Dan Liew
2015-08-30	Support KLEE with different STP versions; Disable r940	Martin Nowack
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
2014-09-13	Enable ASSERTS in Travis builds.	Daniel Dunbar
2014-09-13	Add TravisCI testing infrastructure files.	Dan Liew