feat(phl): add `simplify if` tactic · EasyCrypt/easycrypt@660bf07

Triggered via pull request April 10, 2026 15:24

bgregoir

synchronize #973

if-conversion

Status Success

Total duration 3m 39s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman	7.89 MB	`sha256:2bc4f9eb78d21884473d1d42a9667aa6b8bf1d36e6c7120df8981a34d46e7004`