perf: sparse case splitting in match compilation#10823

Merged

nomeata merged 60 commits intomasterfrom

joachim/selective-cases

Nov 6, 2025

Commits on Oct 16, 2025

Commits on Oct 17, 2025

Commits on Oct 29, 2025

Merge branch 'nightly-with-mathlib' of https://github.com/leanprover/lean4 into joachim/selective-cases
nomeata
committed
Do not fail in processInaccessibleAsCtor, better error message that way
nomeata
committed
Unused variable
nomeata
committed

Commits on Oct 30, 2025

Commits on Nov 4, 2025

Commits on Nov 5, 2025

Commits on Nov 6, 2025