feat(phl): add `simplify if` tactic · EasyCrypt/easycrypt@6bf9728

Triggered via pull request April 10, 2026 04:32

bgregoir

opened #973

if-conversion

Status Success

Total duration 3m 55s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman	7.88 MB	`sha256:8f7923d1e1f1efacb2701d6f4d6f632f9425bd7daa7069efc4bc3baea461e082`