Skip to content

verify: Check that a contract is defined where C++ evaluates it - #57

Merged
SwayamInSync merged 43 commits into
mainfrom
fix/contract-wellformedness
Oct 23, 2026
Merged

verify: Check that a contract is defined where C++ evaluates it#57
SwayamInSync merged 43 commits into
mainfrom
fix/contract-wellformedness

Commits

  1. Commits on Oct 23, 2026