Skip to content

v6.8.1
Compare
Choose a tag to compare
@github-actions github-actions released this 11 Nov 17:35
· 84 commits to master since this release
v6.8.1
f042054
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.

Updated emergentheta, and added support for atomic variables.

Modified subprojects (since v6.7.2):
cfa/cfa-analysis
common/analysis
common/core
frontends/c-frontend
solver/solver-z3-legacy
sts/sts-analysis
xcfa/c2xcfa
xcfa/litmus2xcfa
xcfa/xcfa
xcfa/xcfa-analysis
xcfa/xcfa-cli
xsts/xsts
xsts/xsts-analysis

Assets 9
Loading