Skip to content

v6.5.0
Compare
Choose a tag to compare
@github-actions github-actions released this 09 Aug 11:01
· 5 commits to master since this release
v6.5.0
575544c
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.

This release adds a new command line interface for XSTS based on Clikt. Thank you @RipplB!

Modified subprojects (since v6.4.0):
common/analysis
common/common
frontends/petrinet-frontend
solver/solver-smtlib
solver/solver-z3
solver/solver-z3-legacy
xsts/xsts-analysis
xsts/xsts-cli

Contributors

RipplB
Assets 9
Loading