Skip to content

v0.58.0

Choose a tag to compare

View all tags
@coffeeinprogress coffeeinprogress released this 29 May 11:54
· 12 commits to main since this release
v0.58.0
711dce6

0.58.0 - 2026-05-29

Features

  • Added experimental CVC5 support as an SMT solver backend for the OOPSLA19 encoding.

Bug fixes

  • Fixed a ClassCastException / AssertionError crash during --temporal checking when Next contains an IF or CASE whose branches return sets or functions and whose body contains a nested \/ or /\ of three or more terms, see #2107.
Assets 7
Loading