Skip to content

synth v0.51.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 23 Jul 23:17
· 366 commits to main since this release
v0.51.0
710e167
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(#850): harden 9 differential oracles to read ELF .symtab, not disasm text by @avrabe in #853
  • feat(#851): aarch64 non-param locals — zero-init stack slots, copy-semantics get/set/tee by @avrabe in #856
  • feat(#851): aarch64 linear-memory load/store lowering + gale's acceptance gate by @avrabe in #855
  • chore(release): v0.51.0 — aarch64 runs real WASM modules (#851) + oracle hardening (#850) by @avrabe in #860

Full Changelog: v0.50.1...v0.51.0

Contributors

avrabe
Assets 12
Loading