Skip to content
Verifier Freshness

interpreter: measure-based termination for small-step configurations #459

Sign in to view logs

interpreter: measure-based termination for small-step configurations

interpreter: measure-based termination for small-step configurations #459

Triggered via pull request July 29, 2026 00:23
@theebayusertheebayuser
opened #163
theebayuser:iris/measure-termination
Status Success
Total duration 1m 44s
Artifacts –

verifier-freshness.yml

on: pull_request
Programs up to date
1m 36s
Programs up to date
Fit to window
Zoom out
Zoom in