Skip to content

Document forward/backward ecall tactics

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

Add forward ecall with framed preconditions #937

Document forward/backward ecall tactics
f96a5a4
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
Fetch EasyCrypt External Projects Matrix
succeeded Apr 9, 2026 in 4s