Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
88 commits
Select commit Hold shift + click to select a range
465bd4e
plan-selection: sub-expression memo: groups and Pass 1 candidates, ca…
zzylol Oct 22, 2026
2606697
plan-selection: sub-expression memo candidates read child group nodes…
zzylol Oct 22, 2026
ac5270d
plan-selection: sub-expression memo scan widening and raw-horizon sites
zzylol Oct 22, 2026
cfdb07f
plan-selection: sub-expression memo: exact-input and rollup requireme…
zzylol Oct 22, 2026
42dc762
Merge W1 (budget shares, pointer children, topological order) and W4 …
zzylol Oct 22, 2026
204dc5e
Merge remote-tracking branch 'origin/feat/memo-sx-w3' into feat/memo-sx
zzylol Oct 22, 2026
1152ad1
Merge W3 (per-metric scan widening, raw horizon sites); memo stats ho…
zzylol Oct 22, 2026
caf914c
Merge remote-tracking branch 'origin/main' into feat/memo-sx
zzylol Oct 22, 2026
9292ed3
plan-selection: Stage 3 prices one node at a time (price_node)
zzylol Oct 22, 2026
9a70f64
plan-selection: sub-expression memo: shared builds over equal input g…
zzylol Oct 22, 2026
115ea2f
plan-selection: sub-expression memo: a coarser grouping reads a finer…
zzylol Oct 22, 2026
6bf7c26
plan-selection: sub-expression memo Pass 1 parity test; top-k roots k…
zzylol Oct 22, 2026
10112d3
memo: reference brute-force search over the memo, behind memo_groups;…
zzylol Oct 22, 2026
c13db44
Merge remote-tracking branch 'origin/feat/memo-sx-w3' into feat/memo-sx
zzylol Oct 22, 2026
c160f4f
Merge W4 (rollup windows, requires_sites, resize builder)
zzylol Oct 22, 2026
27a7fa1
Merge remote-tracking branch 'origin/feat/memo-sx-w1' into feat/memo-sx
zzylol Oct 22, 2026
0c4f61e
Merge W1 (fused heap candidates keep their schema, Pass 1 parity test…
zzylol Oct 22, 2026
ecd42bf
memo: debugging test for a top-k memo
zzylol Oct 22, 2026
d220e45
physical: materialization_slots, the options a search chooses per mat…
zzylol Oct 22, 2026
f8bcdba
plan-selection: price a memo candidate's private nodes in its consume…
zzylol Oct 22, 2026
323c49f
plan-selection: sub-expression memo: shared builds resized at a size …
zzylol Oct 22, 2026
71e03d5
plan-selection: memo plans compose every node's guarantee again; Pass…
zzylol Oct 22, 2026
436cad4
plan-selection: memo reference search composes guarantees again over …
zzylol Oct 22, 2026
5fbea05
Merge remote-tracking branch 'origin/feat/memo-sx-w4' into feat/memo-sx
zzylol Oct 22, 2026
87916ff
Merge remote-tracking branch 'origin/feat/memo-sx-w1' into feat/memo-sx
zzylol Oct 22, 2026
476f953
Merge W2 (private-node pricing in a consumer context)
zzylol Oct 22, 2026
6c3c2e8
Merge W3 (shared builds resized at a threshold)
zzylol Oct 22, 2026
57fe7eb
plan-selection: depend on good_lp 1.15.3 with the HiGHS backend (MIT)…
zzylol Oct 22, 2026
0ba55f1
memo: MILP model over memo choices (reach, built-once groups, union r…
zzylol Oct 22, 2026
25098ff
plan-selection: memo reference search composes each query's own nodes…
zzylol Oct 22, 2026
c364c22
plan-selection: the selection report carries the memo's size (SearchR…
zzylol Oct 22, 2026
243b64c
docs: the planning stages over a memo of sub-expressions; memo module…
zzylol Oct 22, 2026
ea6ff41
plan-selection: fix a stale doc link in the memo types
zzylol Oct 22, 2026
67a18d4
devtools: stage_pipeline --search legacy|memo-brute-force; drop the d…
zzylol Oct 22, 2026
434fcbb
Merge origin/main into the memo (PR-A): port the facts-only pricing (…
zzylol Oct 22, 2026
5e553b8
plan-selection: memo choices and their MILP coefficients from Stage 3…
zzylol Oct 22, 2026
338325d
plan-selection: SearchAlgorithm setting, MILP stub, search report fie…
zzylol Oct 22, 2026
2f03791
Merge W2 (choice coefficients) onto PR-A
zzylol Oct 22, 2026
3f8a2ce
Merge W5 (SearchAlgorithm setting, --search, three-way harness) onto …
zzylol Oct 22, 2026
3ffb741
Memo MILP search: lazy loop over the model with exact pricing of each…
zzylol Oct 22, 2026
2a1bca0
wip: memo choices shared or apart per group, scan children apart or s…
zzylol Oct 22, 2026
f901bde
Memo MILP search: report the model size, the first round's bound and …
zzylol Oct 22, 2026
0753935
plan-selection: a fused memo candidate absorbs only groups no other r…
zzylol Oct 22, 2026
f8f5864
Merge origin/main into the memo (PR-A): port the label-set group boun…
zzylol Oct 22, 2026
c8e3d31
plan-selection: memo choices shared or apart, shared-node and scan-ho…
zzylol Oct 22, 2026
e2fe286
Merge remote-tracking branch 'origin/feat/memo-sx-w2-wip' into feat/m…
zzylol Oct 22, 2026
633c82e
Memo MILP model: shared choices only (a lower bound on a group's copi…
zzylol Oct 22, 2026
6221632
Memo MILP model: requirements and pane/top-k exclusivity as constrain…
zzylol Oct 22, 2026
e4a6859
plan-selection: the memo search lists sketch rollups of a shared fine…
zzylol Oct 22, 2026
470feed
Memo MILP model: aggregated reach constraints and linear floors on ra…
zzylol Oct 22, 2026
fe1b310
plan-selection: a reader's choice at a shared scan's horizon only whe…
zzylol Oct 22, 2026
8ea3ee1
Restore the MILP model's tight relaxation, which the horizon fix's re…
zzylol Oct 22, 2026
a64198f
Memo MILP search: a no-good cut excludes only its own group choice (a…
zzylol Oct 22, 2026
0ca9835
plan-selection: memo MILP encodes the rollup requirements as constraints
zzylol Oct 22, 2026
1f1b77a
Merge remote-tracking branch 'origin/feat/memo-pr-a' into feat/memo-pr-b
zzylol Oct 22, 2026
fee0594
plan-selection: memo shared-node coefficients are disjoint
zzylol Oct 22, 2026
fcabf39
Restore the MILP model's tight relaxation, cut form and lower-bound c…
zzylol Oct 22, 2026
7694939
plan-selection: memo choices at a sketch rollup's state-size thresholds
zzylol Oct 22, 2026
6769081
Memo MILP model: held memory over each query's query-time latency (li…
zzylol Oct 22, 2026
56759e0
Memo MILP search: cut off plans the model prices at or above the incu…
zzylol Oct 22, 2026
3f8706a
Memo search review fixes: name the selected logical candidate, drop u…
zzylol Oct 22, 2026
a4bea41
Memo MILP search: a time limit that reports its gap and is never call…
zzylol Oct 22, 2026
5578cac
Test the MILP search's time limit report and its argument check
zzylol Oct 22, 2026
ce875c1
Merge remote-tracking branch 'origin/feat/memo-pr-a' into tmp-restore
zzylol Oct 22, 2026
f4c2ea0
Merge remote-tracking branch 'origin/main' into tmp-restore
zzylol Oct 22, 2026
f152a47
Restore the stage_pipeline facts flags and the default-search helper …
zzylol Oct 22, 2026
f02f24d
Memo MILP: no absolute MIP gap; a solve stopped within the solver's g…
zzylol Oct 23, 2026
34bb909
Memo MILP: raw windows computed once per memo; a time-limited solve's…
zzylol Oct 23, 2026
700a4d0
Memo MILP report: incumbent_cost, model_bound, gap, rounds, model_var…
zzylol Oct 23, 2026
b73c99f
Selection report: incumbent_cost for every search; the MILP's lower b…
zzylol Oct 23, 2026
43afd7a
plan-selection: memo MILP stays a lower bound with shared slots and w…
zzylol Oct 22, 2026
7dc270e
plan-selection: memo MILP lower bound across groups and rollups
zzylol Oct 22, 2026
7381e32
plan-selection: memo shared slots and nodes keyed exactly, up to scan…
zzylol Oct 23, 2026
96ad7ef
plan-selection: memo shareable nodes leave scans to the scan choices
zzylol Oct 23, 2026
fe387fc
plan-selection: memo nodes equal up to scan widening charged once acr…
zzylol Oct 23, 2026
30aed58
plan-selection: memo cross-group nodes at min(per consumer, once); sl…
zzylol Oct 23, 2026
df2427d
plan-selection: memo consumers exist only with their choice or built-…
zzylol Oct 23, 2026
5e4c084
Regenerate the viewer fixtures for the search report's incumbent_cost
zzylol Oct 23, 2026
48e3057
plan-selection: memo MILP prices scaled per evaluation; held memory a…
zzylol Oct 23, 2026
85ba121
Merge remote-tracking branch 'origin/w2-lower-bound' into tmp-restore
zzylol Oct 23, 2026
123974c
Memo MILP MVP: drop the debugging environment hooks; a quick three-wa…
zzylol Oct 23, 2026
bbb4b1e
Merge remote-tracking branch 'origin/main' into feat/memo-milp-mvp
zzylol Oct 23, 2026
2b87f3d
stage_pipeline tests: per-call names for the mixed workload files, wh…
zzylol Oct 23, 2026
3ef44df
Memo MILP: no safety-net cuts outside the reference evaluation; a sol…
zzylol Oct 23, 2026
e45c42c
Restore runtime_install.rs, which an earlier merge truncated
zzylol Oct 23, 2026
d85fd45
Merge remote-tracking branch 'origin/main' into feat/memo-milp-mvp
zzylol Oct 23, 2026
a1f1a62
Memo MILP: identical scans and same-class query consumers charged once
zzylol Oct 23, 2026
73be8a3
Memo MILP: a failed relaxation after the time limit leaves the gap un…
zzylol Oct 23, 2026
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
157 changes: 139 additions & 18 deletions Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Loading
Loading