~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2022-06-29	forward ci environment variables used to exercise metasmt backends into the ↵	Daniel Schemmel
	docker container
2022-03-30	Add support to `sudo` if necessary	Martin Nowack
	Instead if executing system-relevant changes directly, use `sudo` on Ubuntu-based machines. Simplifies the installation procedure.
2021-04-18	tests: Do not add klee tools to PATH in lit	Lukas Zaoral
	It may happen that some older instance of klee is already present in PATH. All tests that call plain klee instead of %klee may use it and then unexpectedly fail. This commit will make all tests that rely on klee tools being explicitly in PATH fail in our CI. From now on, only LLVM tools, FileCheck and not will be in lit's PATH.
2020-12-02	Remove artificial timeouts as current timeout for build jobs is 6h.	Martin Nowack

2020-12-02	Use non-interactive input	Martin Nowack

2020-09-05	Fix codecov upload	Martin Nowack
	Argument `-y` has been removed from the upload script. https://github.com/codecov/codecov-bash/commit/c2f935a0dd0590d20296e95a759782e32b311b34 But `.codecov.yml` is now supported
2020-02-13	Do not wait if SANITIZER_BUILD is empty	Martin Nowack

2019-10-29	Travis: double timeout for MetaSMT tests	Frank Busse

2019-03-17	Add libc++ as build dependency to KLEE	Martin Nowack

2019-03-10	Updated dependency build system for KLEE	Martin Nowack
	Provide a single `scripts/build/build.sh` file to build KLEE and its dependencies.