feat: enrich INHERITS edges from SCIP's compiler-verified relationships#23

Merged

murari316 merged 3 commits into

intuit:mainfrom

pradeepmouli:fix/scip-inherits-enrichment

Jul 22, 2026

Commits on Jul 19, 2026

feat: enrich INHERITS edges from SCIP's compiler-verified relationships

pradeepmouli
and
claude
committed

Commits on Jul 20, 2026

chore: cargo fmt + allow pre-existing clippy lints blocking commits
pradeepmouli
committed
fix: replace clippy lint suppressions with proper fixes
pradeepmouli
committed