Skip to content

fix: bind indexed some callbacks in Dafny - #233

Open
DevChiniwala wants to merge 2 commits into
midspiral:mainfrom
DevChiniwala:fix/reject-some-callback-parameters
Open

fix: bind indexed some callbacks in Dafny#233
DevChiniwala wants to merge 2 commits into
midspiral:mainfrom
DevChiniwala:fix/reject-some-callback-parameters

Commits

  1. Commits on Oct 28, 2026

  2. Commits on Oct 29, 2026