Formal big-step operational semantics for CBMC's GOTO IL #391
Triggered via pull request
April 22, 2026 15:18
tautschnig
tautschnig
converted_to_draft
#582
Status
Success
Total duration
14s
Artifacts
–
label-review-status.yml
on: pull_request_target
update-review-labels
9s