~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
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