~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
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
	The SELinux function signatures have changed between version 2.2 and 2.3. In particular, the type of the "security context" parameter was changed from char * to const char , with the following patch: SELinuxProject/selinux@9eb9c9327563014ad6a807814e7975424642d5b9. Recent Linux distributions (e.g. Ubuntu 15.10) ship with the updated version of libselinux. This change makes the SELinux runtime compatible with the newer versions of the library by replacing security_context_t with its original char definition and defining it as const only if the installed library does so. Whether the system uses const char * types is detected with the configure script. Fixes klee/klee#303.
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