Skip to content

synth v0.56.2

Choose a tag to compare

View all tags
@github-actions github-actions released this 13 Aug 17:46
· 245 commits to main since this release
v0.56.2
dad414f
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

What's Changed

  • verify coverage: close the i32.const hole (#933) + report the decline denominator (#935) by @avrabe in #958
  • RQ-57-SENTINEL: sentinel/value-collision sweep — 54 sites, 4 converted, 3 latent defects fixed by @avrabe in #959
  • fix(#930): branch target lands mid-instruction — End-in-if misattribution + SC-5 branch-target boundary gate by @avrabe in #961
  • fix(#936): price I64Const/I64Ldr/I64Str in the WCET cycle model by @avrabe in #962
  • docs(README): make the North Star a portal, not a second copy of the roadmap by @avrabe in #963
  • chore(release): v0.56.2 — security + soundness patch by @avrabe in #964

Full Changelog: v0.56.1...v0.56.2

Contributors

avrabe
Assets 12
Loading