Skip to content

B5: calls of functions without contracts verified through their inlined bodies - #121

Merged
SwayamInSync merged 74 commits into
mainfrom
fix/inline-helpers
Oct 29, 2026
Merged

B5: calls of functions without contracts verified through their inlined bodies#121
SwayamInSync merged 74 commits into
mainfrom
fix/inline-helpers

Commits

  1. Commits on Oct 28, 2026