~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2024-02-08	Use KLEE's uClibc v1.4 as default to support the compilation with newer compi...	Martin Nowack
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
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
2023-02-28	Have the STP coverage build also provide Z3, so that the crosscheck solver ca...	Daniel Schemmel
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
2022-05-06	Switch to newer KLEE uClibc release	Martin Nowack
2022-03-30	Update GitHub Actions build.yaml	Martin Nowack
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
2020-12-04	llvm11: Add LLVM 11 to GitHub Actions and Travis CI	Lukas Zaoral
2020-12-02	Fix Codecov upload	Martin Nowack
2020-12-02	Add Github Actions for KLEE CI based @jordr	Martin Nowack