Skip to content

Jcb/ix-certified-v3 followup: Formalize nominal-to-quotient Source bridge, optimize compiler/kernel, and retire uncertified Rust/Lean pipelines - #677

Merged
arthurpaulino merged 1485 commits into
mainfrom
jcb/ix-certified-v3-followup
Nov 6, 2026
Merged

Jcb/ix-certified-v3 followup: Formalize nominal-to-quotient Source bridge, optimize compiler/kernel, and retire uncertified Rust/Lean pipelines#677
arthurpaulino merged 1485 commits into
mainfrom
jcb/ix-certified-v3-followup

test(ixvm): update FFT cost pins for run_check_env owned-tree load check

33dd1ca
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar