Skip to content

phl: reorganize the program logic into a recheckable four-layer structure#1041

Draft
strub wants to merge 4 commits into
mainfrom
refactor-pl
Draft

phl: reorganize the program logic into a recheckable four-layer structure#1041
strub wants to merge 4 commits into
mainfrom
refactor-pl

phl: keep code resolution out of the seq checker's TCB

13273e4
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 11, 2026 in 4s