docs(release): v0.47.0 CHANGELOG honesty fixes per cold review — #418…

9e9b8ec

Select commit

Loading

Failed to load commit list.

Uh oh!

There was an error while loading. Please reload this page.

Fuzz Smoke on: pull_request

wasm_ops_lower_or_error (60s)

wasm_to_ir_roundtrip_op_coverage (60s)

i64_lowering_doesnt_clobber_params (60s)

encoder_no_panic (60s)

CI on: pull_request 2

Test

Clippy

Format

Version Pin Sweep

Claim Check

Z3 Verification

Kani Verification

Rivet Validation

Bazel Build & Proofs

cmp-select two-move execution oracle

synth-provenance-v1 reconciliation gate (#396)

aarch64 backend execution + decline oracle (#538 m2–m4)

trap-semantics oracle (#665 unreachable +

fact-spec elision oracle (#494 phases 2 + 2b + 3+ + bounds)

rv32 immediate-shift-fold execution oracle

rv32 const-address-fold execution oracle

optimized-path callee-saved preservation oracle

call_indirect bounds-guard oracle (Thumb-2 + A32)

multi-table call_indirect oracle (Thumb-2 + A32)

null-funcref-slot call_indirect oracle (Thumb-2 + A32)

heterogeneous-table call_indirect oracle (Thumb-2 + A32)

self-contained call_indirect oracle (execution + residual declines)

optimized-path block/br_if lowering oracle

optimized-path spill-frame teardown oracle

optimized-path register-exhaustion oracle

flight-seam relocatable-path execution oracle

control-step relocatable-path execution oracle

AAPCS stack-argument path oracle

i64 stack-param + spill-pool-grow oracle

i64 rotl/rotr/div/rem expansion oracle

optimized-path br_table oracle

const-CSE flag-on execution oracle

frame-slot DCE default+optout execution oracle

stack-layout=low overflow BusFault oracle

#418 arena-bind self-contained execution oracle

Code Coverage

Select a check to view from the sidebar