Skip to content

v6.6.5
Compare
Choose a tag to compare
@github-actions github-actions released this 03 Nov 23:18
· 263 commits to master since this release
v6.6.5
da9aadc
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.

We enable witnesses 2.0, as well as fix a parameter parsing problem uncovered in pre-runs.

Modified subprojects (since v6.6.4):
frontends/c-frontend
frontends/chc-frontend
xcfa/c2xcfa
xcfa/litmus2xcfa
xcfa/llvm2xcfa
xcfa/xcfa
xcfa/xcfa-analysis
xcfa/xcfa-cli
xsts/xsts-analysis

Assets 9
Loading