~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2016-11-07	Implement a CMake based build system for KLEE.	Dan Liew
2016-10-14	Use newer trusty-based Travis CI (#452)	MartinNowack
2016-06-10	Use travis_wait to allow long running tests	Hoang
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-06-04	Deactivate officiall llvm source. Use alternative ppa	Martin Nowack
2016-06-04	Do not install clang-3.4 if not needed	Martin Nowack
2016-05-25	add entry for llvm-2.9 and z3	Hoang M. Le
2016-05-16	Add cmake 2.8.11 as additional dependency	Martin Nowack
2016-03-05	Fix SELinux signatures in runtime	Laszlo Szekeres
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	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