Skip to content

verify: Report replayed proofs as proved obligations, not as verified - #16

Merged
SwayamInSync merged 16 commits into
mainfrom
fix/replay-dependencies
Oct 14, 2026
Merged

verify: Report replayed proofs as proved obligations, not as verified#16
SwayamInSync merged 16 commits into
mainfrom
fix/replay-dependencies

Commits

  1. Commits on Oct 14, 2026