Python: combined DCA validation on rebased shared-SSA baseline - #154

Draft

yoff wants to merge 18 commits into

yoff-python-rebased-ssa-baseline-dcafrom

yoff-python-rebased-combined-dca

Commits on Sep 2, 2026

Python: switch dataflow library to new (shared) CFG + SSA

yoff
and
Copilot
committed
afb6a99
Python: preserve bindingset on new-CFG node dominance wrappers

yoff
and
Copilot
committed
99da2dd
Python: fix shared CFG facade CI checks
yoff
committed
62b45bb
Python: test direct guard specialization semantics
yoff
committed
00f24b8
Python: specialize direct truthiness guards
yoff
committed
7bf61bc
Python: unpin legacy CFG/ESSA from the AST cached stage

yoff
and
Copilot
committed
df7127a
Add captured call target diagnostic

yoff
and
Copilot
committed
e271e3c
Bind captured type-tracking jumps from their source

yoff
and
Copilot
committed
393408e
Python: test exposed shared SSA adjacency relations
yoff
committed
391330e
Python: cache exposed shared SSA adjacency relations
yoff
committed
7bef6d2
SSA: add opt-in cached liveness construction

yoff
and
Copilot
committed
f58c3ca
Python: cache shared SSA liveness across stages

yoff
and
Copilot
committed
f711417
SSA: add opt-in definition reachability caching
yoff
committed
8dc8995
Python: cache shared SSA definition reachability
yoff
committed
c9a90f9
Python: cache shared CFG scope
yoff
committed
8dff23d
Cache Python shared CFG node mapping
yoff
committed
342ed91
Bind explicit CFG successors before expansion

yoff
and
Copilot
committed
8a34a9e

Commits on Sep 3, 2026

Python: rebless implicit import SSA definitions

yoff
and
Copilot
committed
d75f96a