Skip to content

feat(vgate): the cross-check ran one way — 22 Kani proofs ran for months, untraced - #374

Open
avrabe wants to merge 4 commits into
mainfrom
feat/vgate-untraced-proof-crosscheck
Open

feat(vgate): the cross-check ran one way — 22 Kani proofs ran for months, untraced#374
avrabe wants to merge 4 commits into
mainfrom
feat/vgate-untraced-proof-crosscheck

Commits

Commits on Sep 2, 2026