Skip to content

remove unused argument extend t_code_transform to ehoare

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

add tactic 'simplify if' performing if conversion #973

remove unused argument extend t_code_transform to ehoare
660bf07
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
EasyCrypt compilation (opam)
succeeded Apr 10, 2026 in 1m 20s