Skip to content

v0.55.0

Choose a tag to compare

View all tags
@coffeeinprogress coffeeinprogress released this 18 Mar 16:53
· 181 commits to main since this release
v0.55.0
4085284

0.55.0 - 2026-03-18

Features

  • Add compact JSON-RPC method that extracts the last concrete state, reverts to a given snapshot and re-asserts it as a synthetic transition, resetting solver complexity after long symbolic explorations #3285
Assets 7
Loading