Skip to content

vcl-ut Phase 3d: FFI honesty — delete the lie, fail-closed, proof-gat…

28cbe71
Select commit
Loading
Failed to load commit list.
Merged

vcl-ut Phase 3: L1/L6–L10 soundness + dependent SafetyCertificate + sound ABI.Layout (stacked on #22) — Refs standards#124 #23

vcl-ut Phase 3d: FFI honesty — delete the lie, fail-closed, proof-gat…
28cbe71
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar