Skip to content

v0.19.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 01 Sep 03:24
v0.19.0
0794e52
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

0.19.0 (2026-09-01)

Features

  • devtools: universal contract introspection reaching app, vendor, and source (#54) (44ce668)
  • make: generator closure — materialize known postconditions, and make:resource (#56) (766fea0)
Assets 2
Loading