Skip to content

synth v0.79.0

Choose a tag to compare

@github-actions github-actions released this 01 Oct 20:35
· 103 commits to main since this release
f880952

What's Changed

  • v0.79 plan: "Reach you can trust", and move the status-evidence anchor by @avrabe in #1443
  • v0.79 ARCHMODEL: restore the matcher's full tag conjunction, caught before the tag by @avrabe in #1444
  • v0.79 PAGESIZE lane: the >=32 B scoping is spec-invalid, and the (pagesize 1) oracle lands first by @avrabe in #1445
  • ordeal soundness advisory (#1431): bump =0.19.0 -> =0.22.1, with verdicts measured unchanged by @avrabe in #1446
  • v0.79 scope: record the three lanes the release actually grew by @avrabe in #1449
  • v0.79 pindebt lane: correct three measured-wrong statements in RQ-79-PINDEBT7 by @avrabe in #1452
  • v0.79.0: version bump, CHANGELOG, and the corrected PINDEBT7 title by @avrabe in #1455

Full Changelog: v0.78.0...v0.79.0