Skip to content

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

Open
Yiping106283 wants to merge 1 commit into
EasyCrypt:mainfrom
Yiping106283:fix-phoare-while-prefix-bound
Open

fix(phl): reject a bound written by the prefix in the upper-bound while rule#1131
Yiping106283 wants to merge 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

Annotations

1 warning
Build Docker images
succeeded Sep 13, 2026 in 6m 30s