~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2019-04-04	Add MSan support for sqlite	Timotej Kapus
2019-04-04	add tabulate to OSX build	Frank Busse
2019-04-04	some minor refactorings	Frank Busse
2019-04-04	Change the .stats format into sqlite3	Timotej Kapus
2019-03-21	drop support for LLVM <= 3.7	Julian Büning
2019-03-17	Fix `true` invocation in case docker image could not be pushed	Martin Nowack
2019-03-17	Add libc++ as build dependency to KLEE	Martin Nowack
2019-03-17	Add support for libc++ as part of the build.sh scripts	Martin Nowack
2019-03-17	Generalise clang package detection for linux and mac osx	Martin Nowack
2019-03-12	Add integer sanitizer to UBSan	Martin Nowack
2019-03-10	Updated dependency build system for KLEE	Martin Nowack
2018-12-19	Travis OSX: install Python 3.x	Frank Busse
2018-11-11	Use LLVM 4 for Mac Build	Martin Nowack
2018-10-07	Workaround for flaky coverage	Martin Nowack
2018-09-27	Revert lit to 0.6.0 version, as 0.7.0 misbehaves	Cristian Cadar
2018-09-06	llvm36.patch: fix build for newer glibc/gcc versions	Frank Busse
2018-08-12	llvm.sh: fix patch source paths	Frank Busse
2018-07-12	Fix uploading of coverage information from inside of docker	Martin Nowack
2018-07-11	Add missing curl	Martin Nowack
2018-07-11	Fix slow Mac Travis build: wildcard is not expanded with quotes	Martin Nowack
2018-07-04	Extensive updates to the build script for dependencies and docker	Martin Nowack