~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2023-03-15	Do not escape "@". This triggers an error now in the CI.	Cristian Cadar
2022-06-30	remove LLVM < 9	Frank Busse
2022-06-29	forward ci environment variables used to exercise metasmt backends into the d...	Daniel Schemmel
2022-04-28	Make Uclibc support a runtime option, not a compile-time one.	Gleb Popov
2022-03-30	Refactor cmake installation into own component	Martin Nowack
2022-03-30	Add LLVM 9 and LLVM 11 patches to build with newer Linux kernel versions	Martin Nowack
2022-03-30	Build libcxx in parallel if possible	Martin Nowack
2022-03-30	Use newer sqlite version using the build script	Martin Nowack
2022-03-30	Minor clean-up	Martin Nowack
2022-03-30	Clearly separate between LLVM, a bitcode compiler, and sanitizer compiler	Martin Nowack
2022-03-30	Kitware's cmake is not available for non-LTS Ubuntu versions	Martin Nowack
2022-03-30	Avoid installing Python 2	Martin Nowack
2022-03-30	Remove support for old Ubuntu	Martin Nowack
2022-03-30	Add support to `sudo` if necessary	Martin Nowack
2022-03-22	Install doxygen and graphviz (dot) to generate Doxygen documentation when ENA...	Cristian Cadar
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