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