Add forward ecall with framed preconditions · EasyCrypt/easycrypt@6a4af9b

Triggered via pull request March 20, 2026 21:35

strub

synchronize #937

call-fwd-auto-frame

Status Success

Total duration 4m 12s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman	7.87 MB	`sha256:28549121d77e016510efde929f3bbc2c9b7f1ce92abb6449b56e921a64478826`