Skip to content

Actions: pulseengine/synth

Actions

Compliance report

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
compliance.yml
19 workflow runs
19 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
v0.43.0 — isolation + verification closure Compliance report #19: Release v0.43.0 published by avrabe
43s
43s
v0.42.0 — trap-preservation VC + float completion + parity benchmark Compliance report #18: Release v0.42.0 published by avrabe
53s
53s
v0.41.0 — f32 op-completeness + f32 soundness CI gate Compliance report #17: Release v0.41.0 published by avrabe
35m 10s
35m 10s
v0.40.0 — five-lane North-Star hub Compliance report #16: Release v0.40.0 published by avrabe
2m 15s
2m 15s
v0.39.1 — multi-provider shadow-stack co-rebase (#707) Compliance report #15: Release v0.39.1 published by avrabe
1m 4s
1m 4s
v0.39.0 — f32 hard-float, verified DSL shipped by default, +2 division admits Compliance report #14: Release v0.39.0 published by avrabe
36s
36s
v0.38.0 — ten-lane feature hub + claim-verification gate Compliance report #13: Release v0.38.0 published by avrabe
1m 45s
1m 45s
v0.37.1 — i32 register shifts obey WASM mod-32 semantics (#682) Compliance report #12: Release v0.37.1 published by avrabe
1m 25s
1m 25s
v0.37.0 — the certifying validator reaches the shipped bytes Compliance report #11: Release v0.37.0 published by avrabe
1m 2s
1m 2s
v0.36.0 — unreachable traps, sparse tables, 40 verified rules, 81 bridge Qed Compliance report #10: Release v0.36.0 published by avrabe
1m 6s
1m 6s
v0.35.0 — North-Star wave: verified i64 pair rules, Sail/ASL bridge, falsification gate Compliance report #9: Release v0.35.0 published by avrabe
38m 40s
38m 40s
v0.34.0 — multi-table call_indirect, global initializers, sound mask bounds Compliance report #8: Release v0.34.0 published by avrabe
3m 21s
3m 21s
v0.33.1 — call_indirect bounds+type guards, i64 globals (#642/#643) Compliance report #7: Release v0.33.1 published by avrabe
2m 59s
2m 59s
v0.33.0 — correctness wave: four CF miscompiles closed, safety-bounds enforced, 21 verified selector rules Compliance report #6: Release v0.33.0 published by avrabe
4m 13s
4m 13s
v0.32.1 — i64 popcnt clobber + div_s overflow trap (#632/#633) Compliance report #5: Release v0.32.1 published by avrabe
56m 2s
56m 2s
v0.32.0 — proof-carrying specialization fires (#494 phase 2) Compliance report #4: Release v0.32.0 published by avrabe
2m 7s
2m 7s
v0.31.0 — verified selector rules, facts ingestion, RV promo flip, z3-free default Compliance report #3: Release v0.31.0 published by avrabe
32s
32s
v0.30.2 — A32 i64 silent-NOP class ends (#615) Compliance report #2: Release v0.30.2 published by avrabe
1m 55s
1m 55s
Compliance report Compliance report #1: Manually run by avrabe
49m 19s main
main
49m 19s