Add forward ecall with framed preconditions · EasyCrypt/easycrypt@ea09c5f

Triggered via pull request April 8, 2026 11:50

strub

synchronize #937

call-fwd-auto-frame

Status Success

Total duration 3m 33s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman	7.88 MB	`sha256:61f3513676c48816a2a61fe72534e884810796bfecf6bbde02af4856d86ba10e`