Skip to content

fix(checker): replay what the kernel proves in user programs - #215

Merged
the-homeless-god merged 7 commits into
devfrom
a/4573-checker-reads-module-types-and-dependency-sets
Oct 1, 2026
Merged

fix(checker): replay what the kernel proves in user programs#215
the-homeless-god merged 7 commits into
devfrom
a/4573-checker-reads-module-types-and-dependency-sets

chore(numbers): sync measured counts after rebase

be7b87e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar