Skip to content

verify Ix.Tc checking and inductive ingress - #532

Merged
johnchandlerburnham merged 2 commits into
mainfrom
jcb/ix-formalization2
Aug 4, 2026
Merged

verify Ix.Tc checking and inductive ingress#532
johnchandlerburnham merged 2 commits into
mainfrom
jcb/ix-formalization2

kernel: fix Rust 1.92 clippy warnings

e733ccb
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar