Skip to content

CX: soundness fixes + PERF-6 + complexity enabled - #336

Merged
briansrls merged 34 commits into
mainfrom
bright-hen-77
Apr 8, 2026
Merged

CX: soundness fixes + PERF-6 + complexity enabled#336
briansrls merged 34 commits into
mainfrom
bright-hen-77

fix: CostExtern fail-closed for unexpected misses + restore soundness…

5c7056e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar