~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2024-02-08	Add support for newer `libc++`; Simplify path detection	Martin Nowack
2024-02-08	MERGE libc++ build system	Martin Nowack
2024-02-08	Add support to build newer LLVM versions	Martin Nowack
2024-01-12	Renamed PTree to ExecutionTree (and similar)	Cristian Cadar
2023-03-23	Fix detection and installation of Ubuntu-provided llvm/clang packages	Martin Nowack
2023-03-17	Fix script to build all the containers we require for GitHub actions	Martin Nowack
2023-03-17	Add support to disable memsan instrumentation; update UB/Asan suppression	Martin Nowack
2023-03-17	Update build scripts	Martin Nowack
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