| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |