Skip to content

cert: one plan grammar built from MIR instead of plan families - #1412

Merged
jasisz merged 96 commits into
mainfrom
cert/one-grammar
Sep 25, 2026
Merged

cert: one plan grammar built from MIR instead of plan families#1412
jasisz merged 96 commits into
mainfrom
cert/one-grammar

cert: drop the law-namespace shadow rule and refuse set_option and op…

bfe70f4
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar