Skip to content

fix(phl): reject a bound written by the prefix in the upper-bound while rule - #1131

Merged
oskgo merged 1 commit into
EasyCrypt:mainfrom
Yiping106283:fix-phoare-while-prefix-bound
Oct 26, 2026
Merged

oskgo merged 1 commit into
EasyCrypt:mainfrom
Yiping106283:fix-phoare-while-prefix-bound

fix(phl): reject a bound written by the prefix in the upper-bound `wh…

8259b4f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view