~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2022-03-17	remove LLVM < 6 from build/test scripts	Frank Busse
2022-03-09	CI: add `-fno-sanitize-recover=undefined` to UBSAN flags	Lukáš Zaoral
2022-03-09	CI: drop `-fsanitize=integer` from UBSAN flags	Lukáš Zaoral
2022-03-09	build: fix missing target for grep	Frank Busse
2021-09-15	Install git as a requirement for codecov	Martin Nowack
2021-09-10	CI: Use the latest release of CMake	Lukas Zaoral
2021-04-18	tests: Do not add klee tools to PATH in lit	Lukas Zaoral
2020-12-02	Use Github Actions as default CI	Martin Nowack
2020-12-02	Remove artificial timeouts as current timeout for build jobs is 6h.	Martin Nowack
2020-12-02	Rename `build-travis-container.py` into `build-ci-container.py`	Martin Nowack
2020-12-02	Add Github Actions for KLEE CI based @jordr	Martin Nowack
2020-12-02	Handle LLVM version selection more robust	Martin Nowack
2020-12-02	Use non-interactive input	Martin Nowack
2020-11-20	p-klee.inc: libc++abi only needed for c++ exception support	Julian Büning
2020-11-04	[build] Add multilib package to build 32bit on ubuntu	Martin Nowack
2020-10-12	Exception handling only for LLVM >= 8.0.0	Julian Büning
2020-10-12	fix building klee-cxxabi	Julian Büning
2020-10-12	Add doxygen support in docker image	jiseongg
2020-10-12	Remove unused cmake arguments when building docker	jiseongg
2020-09-30	Add check if KLEE is installed	Martin Nowack
2020-09-30	Remove shebang from include	Martin Nowack
2020-09-30	Fix LLVM 4.0 build patch	Martin Nowack
2020-09-30	Fix docker ID handling for sqlite	Martin Nowack
2020-09-30	Fix check if sqlite is installed under ubuntu as a systems package	Martin Nowack
2020-09-30	Fix check if LLVM is installed	Martin Nowack
2020-09-30	Reduce compile time and size for LLVM build	Martin Nowack
2020-09-30	Reduce the size of the libcxx image	Martin Nowack
2020-09-30	Remove explicit dependency on llvm and sanitizer	Martin Nowack
2020-09-30	Fix detection of installed clang	Martin Nowack
2020-09-30	Do not use `-lubsan` and `-fuse-ld=gold` for UBSan linking	Martin Nowack
2020-09-30	Delete Docker instance after system detection ran	Martin Nowack
2020-09-30	Replace travis container build script with python-based version	Martin Nowack
2020-09-05	Fix codecov upload	Martin Nowack
2020-06-26	Switch to a more recent version of SQLite in the CI	Cristian Cadar
2020-03-31	Don't search for CryptoMiniSAT when configuring STP	Cristian Cadar
2020-02-24	fix p-llvm.inc: invocation for monorepo directory layout	Julian Büning
2020-02-13	Update Docker image template for KLEE.	Martin Nowack
2020-02-13	Use system's boost when building metasmt and user newer boolector version	Martin Nowack
2020-02-13	Do not wait if SANITIZER_BUILD is empty	Martin Nowack
2020-02-13	Add llvm as build dependency of clang in case no system packages are available	Martin Nowack
2020-02-13	Add patch support for libcxx	Martin Nowack
2020-02-13	Use git repository to build LLVM	Martin Nowack
2020-02-13	Update ubuntu build dependencies for KLEE	Martin Nowack
2020-01-28	update	comet
2020-01-17	Update objdump script to support python3	Martin Nowack
2020-01-08	Link python3 on macOS	Cristian Cadar
2019-11-26	remove python2 from osx CI	Felix Rath
2019-10-29	Travis: double timeout for MetaSMT tests	Frank Busse
2019-10-16	Add missing file utility in docker image	Martin Nowack
2019-09-09	fix minor build script issues and inconsistencies	Julian Büning