Skip to content

synth v0.46.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 16 Jul 22:42
· 418 commits to main since this release
v0.46.0
27f13fe
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

  • test(#275): execution gate for the self-contained reachable call graph by @avrabe in #784
  • feat(#777): VCR-VER-003 — per-compilation static-data addressing validation (the #757 miscompile class made unrepresentable) by @avrabe in #785
  • feat(#778): sound static per-function WCET bound (--emit-wcet, synth-wcet-v1) by @avrabe in #786
  • proof(#166): close verify-what-ships proof residuals — 2 admits discharged, 3 pinned as honest T3 by @avrabe in #788
  • feat(aarch64): milestone 3 — scalar floating point (#538) by @avrabe in #787
  • chore(release): v0.46.0 — qualification depth + capability breadth by @avrabe in #789

Full Changelog: v0.45.2...v0.46.0

Contributors

avrabe
Assets 12
Loading