Skip to content

feat(phl): support backward ecall on bdHoare/phoare goals#1031

Merged
strub merged 1 commit into
mainfrom
ecall-phoare-bwd
Jun 11, 2026
Merged

feat(phl): support backward ecall on bdHoare/phoare goals#1031
strub merged 1 commit into
mainfrom
ecall-phoare-bwd

feat(phl): support backward ecall on bdHoare/phoare goals

ec27a06
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 6s