Skip to content

Track 1.0.0: self-hosted compiler with verified bootstrap fixpoint - #1

Merged
dev-dami merged 8 commits into
mainfrom
bootstrap-v1
Oct 31, 2026
Merged

Track 1.0.0: self-hosted compiler with verified bootstrap fixpoint#1
dev-dami merged 8 commits into
mainfrom
bootstrap-v1

docs: describe memory reclamation as implemented

da1ee9d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar