Skip to content

CallElimCorrect: rewrite using small-step semantics #5018

CallElimCorrect: rewrite using small-step semantics

CallElimCorrect: rewrite using small-step semantics #5018

Triggered via pull request June 4, 2026 23:09
@PROgram52bcPROgram52bc
submitted #1306
Status Success
Total duration 13s
Artifacts

label-review-status.yml

on: pull_request_review
update-review-labels
6s
update-review-labels
Fit to window
Zoom out
Zoom in