Skip to content

CallElimCorrect: rewrite using small-step semantics#1306

Open
PROgram52bc wants to merge 17 commits into
main2from
htd/callelim-smallstep-on-main2
Open

CallElimCorrect: rewrite using small-step semantics#1306
PROgram52bc wants to merge 17 commits into
main2from
htd/callelim-smallstep-on-main2

Merge remote-tracking branch 'origin/main2' into htd/reconcile-1306

7485415
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Analyze (actions)
succeeded Jun 12, 2026 in 40s