refactor: tools and snapshots over the #1207 memo, edges and contexts (#1207 PR 9) by zzylol · Pull Request #1239 · ProjectASAP/ASAPPlanner

feat(devtools): print every stage's memo candidates, physical edges with α and pruned candidates (#1207 PR 9)

zzylol

committed

3c7dcfc

fix(devtools): planner_fuzz costs witnesses with asap_cost::plan_cost instead of planning them again (#1207 PR 9)

zzylol

committed

3c8bc32

feat(devtools): viewer document with memo candidates, physical edges with α and every stage's pruned candidates; tests adapted (#1207 PR 9)

zzylol

committed

b93c5a4

test(devtools): sketch plan snapshots record a workload whose selection fails (#1207 PR 9)

zzylol

committed

05f654d

test(devtools): re-baseline corpus and sketch plan snapshots (#1207 PR 9)

zzylol

committed

4a84c9c

test(integration): θ on hand-built KLL builds, unqualified SQL columns, drop main's pre-#970 plan fixture (#1207 PR 9)

zzylol

committed

acc47c9

docs(planner-layering): memo components, the worked example and the stage tables over today's memo (#1207 PR 9)

zzylol

committed

c2ee826

feat(dag-viewer): read asap-stage-pipeline/v2: memo candidates with θ, ω and floors, physical edges with α, Stage 2 and Stage 3 pruned; delete old-format readers (#1207 PR 9)

zzylol

committed

4d905c4

refactor: consumer, materialized and cost wording across crates and docs (#1207 PR 9)

zzylol

committed

75369cf

fix(devtools): review fixes: promote shared nodes only in a witness, reference cost test, wording, delete dead failed_a_check (#1207 PR 9)

zzylol

committed

d61175c

refactor(dag-viewer): consumer and cost wording in the viewer and its tests (#1207 PR 9)

zzylol

committed

cbc838c

Navigation Menu

Repository navigation

refactor: tools and snapshots over the #1207 memo, edges and contexts (#1207 PR 9) - #1239

refactor: tools and snapshots over the #1207 memo, edges and contexts (#1207 PR 9)#1239
zzylol wants to merge 11 commits into
refactor/1207-accuracyfrom
refactor/1207-tools

Commits on Nov 7, 2026

feat(devtools): print every stage's memo candidates, physical edges with α and pruned candidates (#1207 PR 9)

fix(devtools): planner_fuzz costs witnesses with asap_cost::plan_cost instead of planning them again (#1207 PR 9)

feat(devtools): viewer document with memo candidates, physical edges with α and every stage's pruned candidates; tests adapted (#1207 PR 9)

test(devtools): sketch plan snapshots record a workload whose selection fails (#1207 PR 9)

test(devtools): re-baseline corpus and sketch plan snapshots (#1207 PR 9)

test(integration): θ on hand-built KLL builds, unqualified SQL columns, drop main's pre-#970 plan fixture (#1207 PR 9)

docs(planner-layering): memo components, the worked example and the stage tables over today's memo (#1207 PR 9)

feat(dag-viewer): read asap-stage-pipeline/v2: memo candidates with θ, ω and floors, physical edges with α, Stage 2 and Stage 3 pruned; delete old-format readers (#1207 PR 9)

refactor: consumer, materialized and cost wording across crates and docs (#1207 PR 9)

fix(devtools): review fixes: promote shared nodes only in a witness, reference cost test, wording, delete dead failed_a_check (#1207 PR 9)

refactor(dag-viewer): consumer and cost wording in the viewer and its tests (#1207 PR 9)