Skip to content

NFR walks: explicit worklist, not native recursion, over typed bodies (floor stack overflow) - #12996

Merged
gunbai-bot[bot] merged 2 commits into
mainfrom
session/eager-bee-438-nfr-iterative
Oct 2, 2026
Merged

NFR walks: explicit worklist, not native recursion, over typed bodies (floor stack overflow)#12996
gunbai-bot[bot] merged 2 commits into
mainfrom
session/eager-bee-438-nfr-iterative

NFR: discriminating control -- a 20,000-term body judged by the floor…

19e0d49
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar