~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2015-10-17	Install ``libc6-dev-i386`` package when doing TravisCI or the Dockerfile	Dan Liew
	build so that it possible to build 32-bit applications.
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