Skip to content

synth v0.54.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 05 Aug 13:07
· 284 commits to main since this release
v0.54.0
65417c0
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

  • VCR-DEC-001 increment 3: graph-colouring allocator colours ACROSS CALLS — 57 of 68 declines taken, measured (#242) by @avrabe in #896
  • ci: harden 3 bare set -o pipefail oracle steps (found by L2) by @avrabe in #900
  • fix(#890): oracle-wiring gate — 69 unwired oracles → 145 wired / 7 manual / 0 undeclared by @avrabe in #894
  • chore(deps): bump wast from 254.0.0 to 255.0.0 by @dependabot[bot] in #902
  • chore(deps): bump taiki-e/install-action from 2 to 2.85.5 by @dependabot[bot] in #904
  • chore(deps): bump wit-parser from 0.254.0 to 0.255.0 by @dependabot[bot] in #906
  • chore(deps): bump wasmparser from 0.254.0 to 0.255.0 by @dependabot[bot] in #905
  • chore(deps): bump wasm-encoder from 0.254.0 to 0.255.0 by @dependabot[bot] in #907
  • VCR-VER-004: instrument independence — the ABI observable contract, a check that fails differently (#242) by @avrabe in #897
  • feat(aarch64): complete the scalar float surface — rounding, FP memory, i64 converts, GUARDED i64 truncations (#851) by @avrabe in #898
  • fix(test): locate synth via CARGO_BIN_EXE — un-red Code Coverage by @avrabe in #908
  • aarch64: call_indirect (§4.4.8 traps) + globals + param homing (#851) by @avrabe in #899
  • chore(release): v0.54.0 — "Close what we measured" (6 lanes) by @avrabe in #909

Full Changelog: v0.53.0...v0.54.0

Contributors

avrabe and dependabot
Assets 12
Loading