Skip to content

feat: intrinsic verification syntax for do-notation loops and def contracts - #14389

Merged
sgraf812 merged 1 commit into
masterfrom
sg/kr1-intrinsic-do
Jul 27, 2026
Merged

feat: intrinsic verification syntax for do-notation loops and def contracts#14389
sgraf812 merged 1 commit into
masterfrom
sg/kr1-intrinsic-do

feat: intrinsic verification syntax for do-notation loops and def con…

30986d7
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar