v0.84 cold review round 2: five more false statements, four of them o…

204cf41

Select commit

Loading

Failed to load commit list.

Uh oh!

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

CI on: pull_request 51

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)

Constant islands place a reachable literal pool (#345, RQ-72-ISLANDS)

Portable arm64 musl asset cross-builds and is static (#1349)

Portable arm64 musl asset RUNS, natively (#1349)

Advisories are checked, and every not_affected is human-asserted (#1359)

Portable musl asset builds and is static (#1349)

Rust-test Line Coverage (unit + integration only)

Dependabot Auto-Merge on: pull_request_target 1

auto-merge

Spec Suite on: pull_request 1

spec-suite compile census (#1095)

Select a check to view from the sidebar