chore(deps): bump wit-parser from 0.258.0 to 0.259.0

935928b

Select commit

Loading

Failed to load commit list.

Uh oh!

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

Dependabot Auto-Merge on: pull_request_target

auto-merge

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 3

Test

Clippy

Format

Version Pin Sweep

Claim Check

Z3 Verification

Kani Verification

Rivet Validation

Rivet Federated Graph (advisory)

Bazel Build & Proofs

WAST conformance — the assertions are EXECUTED (#928)

selector parity — optimized vs direct vs wasmtime over the spec corpus (#197)

cmp-select two-move execution oracle

synth-provenance-v1 reconciliation gate (#396)

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

aarch64 native execution matrix (gale

arm64-Linux host-link oracle, NATIVE (RQ-64-ARM64LINUX)

trap-semantics oracle (#665 unreachable +

VCR-VER-004 instrument independence (#242, v0.53's mutation re-run)

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

proven-safe bounds-elision oracle (VCR-MEM-004,

rv32 immediate-shift-fold execution oracle

rv32 const-address-fold execution oracle

rv32 br_table execution oracle (#882)

rv32 external-call relocation oracle (#871)

rv32 label/return dead-code oracle (#882)

rv32 memory.size / memory.grow 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)

conditional-param-write oracle (#970, Thumb-2 + RV32)

br_if-local zero-init oracle (#990, Thumb-2 + RV32)

param-block silent-miscompile oracle (#1097, pre-#1096 bytes + decline)

if/else join-register / local-home alias oracle (#1189, main's bytes + live)

home-register write audit over the corpus (RQ-65-ALIASCLASS, #1189)

mutation survey — the instrument still discriminates (RQ-65-MUTANTS, #1189)

the survey's four UNTESTED mutants, watched (RQ-66-WATCHED, #1189)

home-register alias class, per consumer family, four legs (RQ-65-ALIASCLASS)

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

VCR-RA-003 register-allocation validator (red-first + frozen)

VCR-RA-003 RV32 register-allocation validator (red-first + frozen)

VCR-SEL-005 cross-backend op-parity (universe-complete + red-first)

RQ-66-UNWATCHED (#1207/#1229/#1230/#1231) — four v0.65 findings watched

repro sweep — selector / control-flow / call / i64 differentials

repro sweep — linear memory / static data / native-pointer differentials

repro sweep — RISC-V RV32 execution differentials

repro sweep — ARM corpus (#973: CI never compiled these for ARM)

repro sweep — WCET bound soundness cross-checks (phases 2-6)

MC/DC structural coverage over synth's decision logic (RQ-57-MCDC,

Mach-O host-link oracle, NATIVE arm64-macOS (RQ-64-MACHO)

Rust-test Line Coverage (unit + integration only)

Spec Suite on: pull_request

spec-suite compile census (#1095)

Select a check to view from the sidebar