Repository navigation

Validate Python MakeSsa D facade candidate - #158

Draft

yoff wants to merge 32 commits into

yoff-freecad-guarded-use-hotspotfrom

yoff-makessa-d-validation

Draft

Validate Python MakeSsa D facade candidate#158
yoff wants to merge 32 commits into
yoff-freecad-guarded-use-hotspotfrom
yoff-makessa-d-validation

Commits on Sep 2, 2026
- Python: add new shared-SSA-backed SSA adapter
  
  Copilot
  authored and
  yoff
  committed
  7f608c3
- Python: remove unnecessary change note
  yoff
  committed
  b73d583
- Python: remove superflous module
  yoff
  committed
  0ec5257
- Python: attempt at instantiating MakeSsa
  yoff
  committed
  6e5dcfa
- Python: fix compilation of test
  yoff
  committed
  41c95a2
- Potential fix for pull request finding
  
  yoff
  and
  Copilot
  committed
  4e80764
- Potential fix for pull request finding
  
  yoff
  and
  Copilot
  committed
  ad2446f
- Python: address bot reviews
  yoff
  committed
  d5e51c5
- Python: exclude constants from being SSA variables
  yoff
  committed
  7261f28
- Python: test phi definitions at module exit
  
  yoff
  and
  Copilot
  committed
  6692154
- Python: preserve phi uses at module exit
  
  yoff
  and
  Copilot
  committed
  a609200
- 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
- Python: prefilter directly controlled SSA uses
  yoff
  committed
  80939b0
Commits on Sep 8, 2026
- Remove broad SSA caches for Python facade
  
  yoff
  and
  Copilot
  committed
  17e9303
- Add MakeSsa facade contract
  
  yoff
  and
  Copilot
  committed
  8be73c6

Commits

Commits on Sep 2, 2026

Commits on Sep 3, 2026

Commits on Sep 8, 2026