Skip to content

v5.0.1
Compare
Choose a tag to compare
@github-actions github-actions released this 15 Feb 19:12
· 832 commits to master since this release
v5.0.1
46907d2
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.

Enhanced xcfa-related subprojects. For more details, see #198. Modified subprojects (since svcomp24): cfa/cfa cfa/cfa-analysis cfa/cfa-cli common/analysis common/common common/core common/grammar frontends/c-frontend frontends/chc-frontend frontends/llvm solver/graph-solver solver/solver solver/solver-smtlib solver/solver-smtlib-cli solver/solver-z3 sts/sts sts/sts-analysis sts/sts-cli xcfa/c2xcfa xcfa/cat xcfa/exec-graph-cli xcfa/litmus-cli xcfa/litmus2xcfa xcfa/llvm2xcfa xcfa/xcfa xcfa/xcfa-analysis xcfa/xcfa-cli xsts/xsts xsts/xsts-analysis xsts/xsts-cli xta/xta xta/xta-analysis xta/xta-cli

Assets 8
Loading