Skip to content

synth v0.56.1

Choose a tag to compare

View all tags
@github-actions github-actions released this 13 Aug 14:02
· 254 commits to main since this release
v0.56.1
This tag was signed with the committer’s verified signature.
avrabe Ralf Anton Beier
SSH Key Fingerprint: zvTyfAFp29N6McgyIZRf8N4bOkpnU84deMxZN140NR4
Verified
Learn about vigilant mode.
47f8ab8
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

  • fix(#953): rv32 (memory 0) must trap every access, not invent a 64 KiB bound (SECURITY) by @avrabe in #955
  • plan(v0.57): "Tell the caller" — 10 artifacts, and an honest v0.56 re-grading by @avrabe in #954
  • plan(v0.57): three issues were invisible to the plan — #935, #936, #944 by @avrabe in #957

Full Changelog: v0.56.0...v0.56.1

Contributors

avrabe
Assets 12
Loading