Skip to content

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

113fded
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

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

feat(phl): support backward ecall on bdHoare/phoare goals
113fded
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
EasyCrypt compilation (nix)
succeeded Jun 4, 2026 in 54m 15s