Skip to content

v5.3.0

Compare
Choose a tag to compare
@github-actions github-actions released this 09 Jul 13:31
· 517 commits to master since this release
05f4293

This release adds theta-core-level support for the Enum type. Thank you @RipplB!

Modified subprojects (since v5.2.1):
common/core
solver/solver-javasmt
solver/solver-smtlib
solver/solver-z3
solver/solver-z3-legacy
xsts/xsts
xsts/xsts-analysis
xta/xta