Commits

Branch selector

 yoff/python-use-shared-cfg-for-dataflow

User selector

All users

All time

Commit History

Commits on May 29, 2026

• Python: revert spurious Py2 hidden-test rebless

  Show description for 03c1f77
  

  yoff

  and

  Copilot

  committed
  03c1f77

  Copy full SHA for 03c1f77

Commits on May 28, 2026

• Python: fold in evaluation-order review-comment fixes from main

  Show description for ef74ec1
  

  yoff

  and

  Copilot

  committed
  ef74ec1

  Copy full SHA for ef74ec1

• Python: rebless CONSISTENCY queries + revert LongPath

  Show description for 2e82990
  

  yoff

  and

  Copilot

  committed
  2e82990

  Copy full SHA for 2e82990

• Python: rebless second round after shared-CFG dataflow migration

  Show description for 1bcaa56
  

  yoff

  and

  Copilot

  committed
  1bcaa56

  Copy full SHA for 1bcaa56

• Python: rebless toString churn from shared-CFG migration

  Show description for cf28c32
  

  yoff

  and

  Copilot

  committed
  cf28c32

  Copy full SHA for cf28c32

• Python: migrate two more test queries off legacy CFG types

  Show description for 9696ee9
  

  yoff

  and

  Copilot

  committed
  9696ee9

  Copy full SHA for 9696ee9

• Python: migrate remaining tests off getAFlowNode() and fix star-import SSA step

  Show description for de77449
  

  yoff

  and

  Copilot

  committed
  de77449

  Copy full SHA for de77449

• Python: fix library-test compile errors and rebless after CFG migration

  Show description for 04b130f
  

  yoff

  and

  Copilot

  committed
  04b130f

  Copy full SHA for 04b130f

• Python: canonicalize CFG nodes for dataflow

  Show description for ba0f24f
  

  yoff

  and

  Copilot

  committed
  ba0f24f

  Copy full SHA for ba0f24f

• Python: migrate src queries to new shared CFG types + reformat

  Show description for b8c5e25
  

  yoff

  and

  Copilot

  committed
  b8c5e25

  Copy full SHA for b8c5e25

• Python: omit PEP 695 type-param names from FunctionDefExpr/ClassDefExpr children

  Show description for 2d997aa
  

  yoff

  and

  Copilot

  committed
  2d997aa

  Copy full SHA for 2d997aa

• Python: migrate remaining query-side files to new Cfg::

  Show description for d5f1e09
  

  yoff

  and

  Copilot

  committed
  d5f1e09

  Copy full SHA for d5f1e09

• Python: adapt AstNodeImpl to upstream shared-CFG signature changes

  Show description for 81b2f34
  

  yoff

  and

  Copilot

  committed
  81b2f34

  Copy full SHA for 81b2f34

• Python: drop legacy essa import from ImportResolution

  Show description for 6365b72
  

  yoff

  and

  Copilot

  committed
  6365b72

  Copy full SHA for 6365b72

• Python: treat augmented-assignment targets as both load and store

  Show description for 0a4ddf8
  

  yoff

  and

  Copilot

  committed
  0a4ddf8

  Copy full SHA for 0a4ddf8

• Python: model `from X import *` as uncertain SSA writes

  Show description for 438092f
  

  yoff

  and

  Copilot

  committed
  438092f

  Copy full SHA for 438092f

• Python: update dataflow tests for new CFG + shared SSA

  Show description for 8f6c246
  

  yoff

  and

  Copilot

  committed
  8f6c246

  Copy full SHA for 8f6c246

• Python: migrate dataflow library to new CFG + shared SSA

  Show description for 1037f52
  

  yoff

  and

  Copilot

  committed
  1037f52

  Copy full SHA for 1037f52

• Python: remove getAFlowNode() — bridge AST→CFG only via CFG-side getNode()

  Show description for f939854
  

  yoff

  and

  Copilot

  committed
  f939854

  Copy full SHA for f939854

• Python: SSA adapter: add MultiAssignmentDefinition, definedBy, useOfDef

  Show description for d308c88
  

  yoff

  and

  Copilot

  committed
  d308c88

  Copy full SHA for d308c88

• Python: SSA: handle closure variables via per-scope entry defs

  Show description for ccd60a5
  

  yoff

  and

  Copilot

  committed
  ccd60a5

  Copy full SHA for ccd60a5

• Python: extend new SSA with ESSA-shaped adapter + baseline comparison test

  Show description for 2741492
  

  yoff

  and

  Copilot

  committed
  2741492

  Copy full SHA for 2741492

• Python: qualify Flow.qll's AST references with Py:: prefix

  Show description for 47532ec
  

  yoff

  and

  Copilot

  committed
  47532ec

  Copy full SHA for 47532ec

• Python: bring Cfg.qll's facade to API parity with Flow.qll

  Show description for e74f8c9
  

  yoff

  and

  Copilot

  committed
  e74f8c9

  Copy full SHA for e74f8c9

• Python: fix augstore for the new CFG and add store/load test

  Show description for 2257d1e
  

  yoff

  and

  Copilot

  committed
  2257d1e

  Copy full SHA for 2257d1e

• Python: introduce shared-SSA adapter on the new CFG

  Show description for 780995c
  

  yoff

  and

  Copilot

  committed
  780995c

  Copy full SHA for 780995c

• Python: introduce new-CFG facade

  Show description for 8f0e3c8
  

  yoff

  and

  Copilot

  committed
  8f0e3c8

  Copy full SHA for 8f0e3c8

• Python: test dead bindings under no-raise CFG abstraction

  Show description for a249d58
  

  yoff

  and

  Copilot

  committed
  a249d58

  Copy full SHA for a249d58

• Python: wire PEP 695 type parameters into the shared CFG (green)

  Show description for 3cf3420
  

  yoff

  and

  Copilot

  committed
  3cf3420

  Copy full SHA for 3cf3420

• Python: wire match-pattern bindings into the shared CFG (green)

  Show description for f17a662
  

  Copilot

  authored and

  yoff

  committed
  f17a662

  Copy full SHA for f17a662

• Python: wire import-statement bindings into the shared CFG (green)

  Show description for 8918067
  

  Copilot

  authored and

  yoff

  committed
  8918067

  Copy full SHA for 8918067

• Python: wire parameters into the shared CFG (C# pattern)

  Show description for 17c6d10
  

  Copilot

  authored and

  yoff

  committed
  17c6d10

  Copy full SHA for 17c6d10

• Python: wire AnnAssign into the shared CFG (green)

  Show description for bd20042
  

  Copilot

  authored and

  yoff

  committed
  bd20042

  Copy full SHA for bd20042

• Python: add CFG-binding gap tests (red)

  Show description for 93bd4e3
  

  Copilot

  authored and

  yoff

  committed
  93bd4e3

  Copy full SHA for 93bd4e3

• Python: project via as* helpers outside characteristic predicates

  Show description for 9bdae5a
  

  2 peopleauthored and

  yoff

  committed
  9bdae5a

  Copy full SHA for 9bdae5a