Skip to content

Self-host compile-obligation activation, complexity first: a new authority src/v2/compiler/self_host/compile_obligation_activation.dag (shared compile door + one explicit node per required compile lens, complexity and determinism bundles carrying their supporting obligations), identity-bearing requi - #11160

Closed
briansrls wants to merge 27 commits into
mainfrom
session/calm-crane-722
Closed

Self-host compile-obligation activation, complexity first: a new authority src/v2/compiler/self_host/compile_obligation_activation.dag (shared compile door + one explicit node per required compile lens, complexity and determinism bundles carrying their supporting obligations), identity-bearing requi#11160
briansrls wants to merge 27 commits into
mainfrom
session/calm-crane-722

An enforced lens whose red control had never run, and the red does no…

e707b1e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar