Skip to content
CI

fix(#932): --proven-safe must never elide against a floor it invented… #1679

Sign in to view logs

fix(#932): --proven-safe must never elide against a floor it invented…

fix(#932): --proven-safe must never elide against a floor it invented… #1679

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Version Pin Sweep
8s
Test
5m 27s
Z3 Verification
2m 4s
Kani Verification
59s
Clippy
55s
Claim Check
10s
cmp-select two-move execution oracle
1m 15s
Format
40s
aarch64 backend execution + decline oracle (#538 m2–m4)
1m 8s
self-contained call_indirect oracle (execution + residual declines)
1m 3s
rv32 memory.size / memory.grow execution oracle
1m 6s
optimized-path spill-frame teardown oracle
1m 14s
AAPCS stack-argument path oracle
1m 13s
Rivet Validation
15s
Bazel Build & Proofs
2m 41s
rv32 label/return dead-code oracle (#882)
1m 10s
rv32 immediate-shift-fold execution oracle
1m 0s
fact-spec elision oracle (#494 phases 2 + 2b + 3+ + bounds)
1m 57s
rv32 const-address-fold execution oracle
1m 6s
rv32 external-call relocation oracle (#871)
1m 27s
heterogeneous-table call_indirect oracle (Thumb-2 + A32)
1m 5s
synth-provenance-v1 reconciliation gate (#396)
1m 5s
optimized-path register-exhaustion oracle
1m 1s
rv32 br_table execution oracle (#882)
1m 1s
trap-semantics oracle (#665 unreachable +
9m 47s
optimized-path block/br_if lowering oracle
1m 5s
aarch64 native execution matrix (gale
1m 34s
null-funcref-slot call_indirect oracle (Thumb-2 + A32)
59s
VCR-VER-004 instrument independence (#242, v0.53's mutation re-run)
1m 43s
#418 arena-bind self-contained execution oracle
1m 13s
optimized-path callee-saved preservation oracle
1m 6s
multi-table call_indirect oracle (Thumb-2 + A32)
1m 18s
flight-seam relocatable-path execution oracle
1m 15s
i64 stack-param + spill-pool-grow oracle
1m 1s
call_indirect bounds-guard oracle (Thumb-2 + A32)
1m 4s
stack-layout=low overflow BusFault oracle
1m 4s
VCR-RA-003 RV32 register-allocation validator (red-first + frozen)
1m 30s
VCR-RA-003 register-allocation validator (red-first + frozen)
1m 33s
VCR-SEL-005 cross-backend op-parity (universe-complete + red-first)
52s
repro sweep — RISC-V RV32 execution differentials
1m 14s
const-CSE flag-on execution oracle
1m 6s
repro sweep — selector / control-flow / call / i64 differentials
1m 43s
frame-slot DCE default+optout execution oracle
1m 1s
optimized-path br_table oracle
1m 10s
proven-safe bounds-elision oracle (VCR-MEM-004,
2m 10s
control-step relocatable-path execution oracle
57s
repro sweep — WCET bound soundness cross-checks (phases 2-5)
1m 18s
repro sweep — linear memory / static data / native-pointer differentials
1m 30s
i64 rotl/rotr/div/rem expansion oracle
1m 8s
Rust-test Line Coverage (unit + integration only)
3m 50s
1h 15m 21s