Skip to content

Fall back to checking equality of expressions in sim#997

Draft
oskgo wants to merge 2 commits into
mainfrom
fix-990-2
Draft

Fall back to checking equality of expressions in sim#997
oskgo wants to merge 2 commits into
mainfrom
fix-990-2

fall back to checking equality of expressions in `sim`

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

Annotations

1 warning
Fetch EasyCrypt External Projects Matrix
succeeded Jun 5, 2026 in 6s