Skip to content

Add forward ecall with framed preconditions#937

Merged
strub merged 2 commits intomainfrom
call-fwd-auto-frame
Apr 9, 2026
Merged

Add forward ecall with framed preconditions#937
strub merged 2 commits intomainfrom
call-fwd-auto-frame

Commits

Commits on Apr 8, 2026

Commits on Apr 9, 2026