~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2022-05-06	Switch to newer KLEE uClibc release	Martin Nowack
	Instead of using a branch that doesn't allow build artifact caching, use the newer released version instead.
2022-03-30	Update GitHub Actions build.yaml	Martin Nowack
	* Set SANITIZER_LLVM_VERSION for sanitizers * Remove unnecessary SANITIZER_BUILD * Set LLVM 6 to LLVM_VERSION 6.0 to follow old schema
2022-03-22	Add Doxygen to one CI target	Cristian Cadar

2022-03-17	remove LLVM < 6 from build/test scripts	Frank Busse

2022-03-09	CI: Update GTest to 1.11.0	Lukáš Zaoral

2022-03-09	CI: Update Z3 to 4.8.14	Lukáš Zaoral

2021-12-20	llvm13: Add LLVM 13 to Travis CI and GitHub Actions	Lukas Zaoral

2021-09-10	llvm12: Add LLVM 12 to Travis CI and GitHub Actions	Lukas Zaoral

2021-02-26	Improved PR template by making it more succinct.	Cristian Cadar

2020-12-04	llvm11: Add LLVM 11 to GitHub Actions and Travis CI	Lukas Zaoral

2020-12-02	Fix Codecov upload	Martin Nowack
	`sudo` invocation in Github Actions does not provide environment variables, therefore Codecov was not aware of the correct settings. This behaviour is different under Github Actions than Travis CI. This could be fixed via `sudo -E`. Anyway, tests do not need to be run `sudo` with Github Actions, so remove the `sudo` invocation in the first place.
2020-12-02	Use Github Actions as default CI	Martin Nowack

2020-12-02	Add Github Actions for KLEE CI based @jordr	Martin Nowack
	Add support for Github Actions to use as new CI. This builds all the components as the original Travis CI script.
2020-09-21	Added a PR template, with a checklist documenting the most frequent issues ↵	Cristian Cadar
	we have encountered
2019-05-07	Update issue templates	Cristian Cadar