Skip to content

v5.1.0
Compare
Choose a tag to compare
@github-actions github-actions released this 25 Mar 19:12
· 771 commits to master since this release
v5.1.0
fd60827

Added JavaSMT as a new solver subproject.

Modified subprojects (since v5.0.6):
common/core
solver/solver-javasmt
solver/solver-z3
solver/solver-z3-legacy
xcfa/xcfa-cli

Assets 8
Loading