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

fix: bind indexed some callback arguments in Dafny

a4faef3
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
lean
succeeded Oct 29, 2026 in 4m 58s