Skip to content

Codegen-pipeline fast paths: partitioning memo, trivial valtrees, WF bounds early-out [~0% isolated, neutral] - #56

Draft
xmakro wants to merge 3 commits into
perf/base-0713from
perf/codegen-prep-fastpaths
Draft

Codegen-pipeline fast paths: partitioning memo, trivial valtrees, WF bounds early-out [~0% isolated, neutral]#56
xmakro wants to merge 3 commits into
perf/base-0713from
perf/codegen-prep-fastpaths

perf: skip the false-global-bounds elaborator for predicate-free items

b338e7a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Calculate job matrix
succeeded Jul 14, 2026 in 39s