| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2023-06-07 | Build and push Docker image as part of a release | Martin Nowack | |
| 2023-04-14 | ci: run ShellCheck on `*.inc` shell scripts | Jan Macku | |
| 2023-03-27 | ci(lint): add shell linter - Differential ShellCheck | Jan Macku | |
| It performs differential ShellCheck scans and report results directly in pull request. documentation: https://github.com/redhat-plumbers-in-action/differential-shellcheck Signed-off-by: Jan Macku <jamacku@redhat.com> | |||
| 2023-03-23 | Transition to GitHub Container Registry hosting | Martin Nowack | |
| 2023-03-20 | llvm14: Add LLVM 14 job to GitHub Actions | Lukáš Zaoral | |
| 2023-03-17 | Update CI components | Martin Nowack | |
| * Use Ubuntu 22.04 instead of 18.04 * Use LLVM 11 instead of 9 * Use TCMalloc 2.9.1 * Use Z3 4.8.15 * Use Sqlite3 3400100 Clean-up comments and structure to satisfy yaml linter | |||
| 2023-02-28 | Have the STP coverage build also provide Z3, so that the crosscheck solver ↵ | Daniel Schemmel | |
| can also be tested | |||
| 2022-06-30 | checkout KLEE with depth > 1 when running codecov | Daniel Schemmel | |
| 2022-06-30 | update github checkout action to v3 | Daniel Schemmel | |
| 2022-06-30 | remove LLVM < 9 | Frank Busse | |
| 2022-06-29 | Perform coverage analysis for z3 as well | Daniel Schemmel | |
| 2022-06-29 | Remove the CI target metaSMT(Boolector). metaSMT(STP) already runs the test ↵ | Cristian Cadar | |
| suite with all solvers supported by metaSMT, so the extra target provides marginal benefits. | |||
| 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 | |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |