Skip to content

Bugfix: form_read track Fglob like Fpvar#987

Merged
strub merged 1 commit into
mainfrom
fix_form_read_fglob
Jun 5, 2026
Merged

Bugfix: form_read track Fglob like Fpvar#987
strub merged 1 commit into
mainfrom
fix_form_read_fglob

ecPV.form_read: track Fglob reads alongside Fpvar

243f822
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 3s