Repository navigation

v0.11.0

github-actions released this 22 Sep 03:06

· 24 commits to main since this release

581670a

v0.11.0 (2026-09-22)

Features

Prove or trap every memory-safety operation
(#37,
bdbd0a9)

Detailed Changes: v0.10.0...v0.11.0

Assets 4