Add bit-level circuit reasoning: circuit/extens tactics and bind command · EasyCrypt/easycrypt@02b52dd

Triggered via pull request February 16, 2026 16:40

synchronize #752

bdep_ecCircuitsRefactor

Status Success

Total duration 5m 3s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman Expired	7.87 MB	`sha256:26aa24d8671b0432f0b689957e44d55d181384c6e31513c2bc4253da5b8764dd`