Skip to content

fix(phl): require the invariant on loop entry in the while variant rule - #1132

Open
Yiping106283 wants to merge 2 commits into
EasyCrypt:mainfrom
Yiping106283:fix-phoare-while-variant-entry
Open

fix(phl): require the invariant on loop entry in the while variant rule#1132
Yiping106283 wants to merge 2 commits into
EasyCrypt:mainfrom
Yiping106283:fix-phoare-while-variant-entry

remove reference to "upstream"

23cc764
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Decide whether to run the CI
succeeded Oct 27, 2026 in 4s