Skip to content

CFG: Prune ConditionalCompletionSplitting for unnecessary splits#18799

Merged
hvitved merged 4 commits intogithub:mainfrom
hvitved:cfg/cond-split-prune
Feb 20, 2025
Merged

CFG: Prune `ConditionalCompletionSplitting` for unnecessary splits#18799
hvitved merged 4 commits intogithub:mainfrom
hvitved:cfg/cond-split-prune

Commits

Commits on Feb 20, 2025