Skip to content

v0.10.0

Latest
Latest

Choose a tag to compare

View all tags
@github-actions github-actions released this 03 Sep 23:45
· 5 commits to main since this release
v0.10.0
bb54ef2

Added

  • A verify entry can prove an absence, instead of proving its opposite (T-0239)

Changed

  • The protocol names its two exits, and two guards make them observable (T-0237)
Assets 2
Loading