Skip to content

synth v0.50.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 23 Jul 13:08
· 371 commits to main since this release
v0.50.0
7799702
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

  • feat(VCR-WASM-001): wire i64 add/sub/mul/and/or/xor into exec_wasm_instr — close the op-level-only residual (#242) by @avrabe in #820
  • feat(#815): VCR-RA-003 RV32 register-allocation validator (RV32 analogue of the ARM gate) by @avrabe in #821
  • chore(deps): bump pulseengine/rivet from 0.26.0 to 0.28.0 by @dependabot[bot] in #822
  • chore(deps): bump actions/setup-node from 6 to 7 by @dependabot[bot] in #823
  • chore(deps): bump actions/setup-python from 6 to 7 by @dependabot[bot] in #824
  • chore(deps): bump ordeal from 0.9.1 to 0.12.0 by @dependabot[bot] in #825
  • chore(deps): bump wasmparser from 0.253.0 to 0.254.0 by @dependabot[bot] in #827
  • chore(deps): bump scry-sai-core from 3.2.1 to 3.2.4 by @dependabot[bot] in #828
  • chore(deps): bump anyhow from 1.0.103 to 1.0.104 by @dependabot[bot] in #830
  • chore(deps): bump serde_json from 1.0.150 to 1.0.151 by @dependabot[bot] in #833
  • chore(deps): bump wit-component from 0.252.0 to 0.254.0 by @dependabot[bot] in #834
  • fix(ci): repair red main — Cargo.lock wasmparser dedup + ordeal 0.12 BvTerm::Urem by @avrabe in #836
  • chore(deps): bump wat from 1.252.0 to 1.254.0 by @dependabot[bot] in #835
  • chore(deps): bump thiserror from 2.0.18 to 2.0.19 by @dependabot[bot] in #829
  • chore(deps): bump wit-parser from 0.253.0 to 0.254.0 by @dependabot[bot] in #832
  • chore(deps): bump wast from 253.0.0 to 254.0.0 by @dependabot[bot] in #826
  • chore(deps): bump bitflags from 2.13.0 to 2.13.1 by @dependabot[bot] in #831
  • fix(#837): lower frame-backing i64/f64 VALUE param across a call by @avrabe in #840
  • VCR-DEC-001: whole-function graph-colouring allocator spike (flag-off, #242) by @avrabe in #843
  • ci: auto-merge patch/minor Dependabot bumps, hold majors for review by @avrabe in #838
  • feat(rv32): close memory.size/memory.grow parity gaps (VCR-SEL-005, #223/#232/#242) by @avrabe in #841
  • feat(verify): model i64.rem_u/rem_s with native BvTerm::Urem/bvsrem (was havoc) by @avrabe in #844
  • feat(aarch64): void-block control flow — block/br/br_if (#538) by @avrabe in #842
  • WCET phase 5 (#778): data-dependent masked-ceiling loop certificates by @avrabe in #839
  • chore(release): v0.50.0 — cross-backend verified core + the allocator endgame begins by @avrabe in #845

Full Changelog: v0.49.0...v0.50.0

Contributors

avrabe and dependabot
Assets 12
Loading