fix(ir): bound the bottom-up rewrite driver's re-application loop (#348) - #350

Merged

Unisay merged 2 commits into

mainfrom

issue-348/optimizer-fixpoint-livelock

Jul 29, 2026

Commits on Jul 29, 2026

test(ir): pin the optimizer against a term with no normal form (#348)
Unisay
committed
ffc3c5d
fix(ir): bound the bottom-up rewrite driver's re-application loop (#348)
Unisay
committed
ce91343