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

Triggered via pull request June 17, 2026 08:01

strub

synchronize #752

bdep_ecCircuitsRefactor

Status Success

Total duration 11m 32s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman	7.92 MB	`sha256:9905d3f8ad8b820913e990d3594478799a12f17e518af9ddecedc7f6ebbce8db`