Skip to content

v2.13.0
Compare
Choose a tag to compare
@mondokm mondokm released this 26 Apr 16:56
· 2965 commits to master since this release
v2.13.0
ce0ee50
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

This release introduces a number of new features and improvements to the XSTS formalism:

  • For loops (experimental)
  • Statement optimization: the algorithm can significantly reduce the size of expressions passed to the solver by detecting unreachable branches of choice statements or failing assumptions
  • The previous product domains were unified, and corresponding product domain variants were introduced for PRED_SPLIT and PRED_BOOL
  • Dotfile visualization of counterexamples and the ARG
  • Bugfixes
Assets 6
Loading