Commits

Branch selector

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

User selector

All users

All time

Commit History

Commits on May 26, 2026

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

  Show description for 350a68d
  

  yoff

  and

  Copilot

  committed
  350a68d

  Copy full SHA for 350a68d

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

  Show description for c91b6c9
  

  yoff

  and

  Copilot

  committed
  c91b6c9

  Copy full SHA for c91b6c9

• Python: drop legacy essa import from ImportResolution

  Show description for 091479c
  

  yoff

  and

  Copilot

  committed
  091479c

  Copy full SHA for 091479c

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

  Show description for 4ce6131
  

  yoff

  and

  Copilot

  committed
  4ce6131

  Copy full SHA for 4ce6131

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

  Show description for b6f1421
  

  yoff

  and

  Copilot

  committed
  b6f1421

  Copy full SHA for b6f1421

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

  Show description for 1a2be46
  

  yoff

  and

  Copilot

  committed
  1a2be46

  Copy full SHA for 1a2be46

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

  Show description for 26df394
  

  yoff

  and

  Copilot

  committed
  26df394

  Copy full SHA for 26df394

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

  Show description for 3b3bec8
  

  yoff

  and

  Copilot

  committed
  3b3bec8

  Copy full SHA for 3b3bec8

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

  Show description for 6978cec
  

  yoff

  and

  Copilot

  committed
  6978cec

  Copy full SHA for 6978cec

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

  Show description for 57fa3ee
  

  yoff

  and

  Copilot

  committed
  57fa3ee

  Copy full SHA for 57fa3ee

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

  Show description for ac468c8
  

  yoff

  and

  Copilot

  committed
  ac468c8

  Copy full SHA for ac468c8

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

  Show description for 8790f63
  

  yoff

  and

  Copilot

  committed
  8790f63

  Copy full SHA for 8790f63

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

  Show description for 96de5cf
  

  yoff

  and

  Copilot

  committed
  96de5cf

  Copy full SHA for 96de5cf

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

  Show description for f5bf8ae
  

  yoff

  and

  Copilot

  committed
  f5bf8ae

  Copy full SHA for f5bf8ae

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

  Show description for 79db96c
  

  yoff

  and

  Copilot

  committed
  79db96c

  Copy full SHA for 79db96c

• Python: introduce new-CFG facade

  Show description for 8448489
  

  yoff

  and

  Copilot

  committed
  8448489

  Copy full SHA for 8448489

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

  Show description for 3c21bbf
  

  yoff

  and

  Copilot

  committed
  3c21bbf

  Copy full SHA for 3c21bbf

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

  Show description for 01c6b2b
  

  yoff

  and

  Copilot

  committed
  01c6b2b

  Copy full SHA for 01c6b2b

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

  Show description for f123072
  

  Copilot

  authored and

  yoff

  committed
  f123072

  Copy full SHA for f123072

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

  Show description for ba9dc9f
  

  Copilot

  authored and

  yoff

  committed
  ba9dc9f

  Copy full SHA for ba9dc9f

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

  Show description for 768ebc1
  

  Copilot

  authored and

  yoff

  committed
  768ebc1

  Copy full SHA for 768ebc1

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

  Show description for 5d60a0d
  

  Copilot

  authored and

  yoff

  committed
  5d60a0d

  Copy full SHA for 5d60a0d

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

  Show description for 336c7a4
  

  Copilot

  authored and

  yoff

  committed
  336c7a4

  Copy full SHA for 336c7a4

• Python: project via as* helpers outside characteristic predicates

  Show description for a70abdd
  

  2 peopleauthored and

  yoff

  committed
  a70abdd

  Copy full SHA for a70abdd

• Python: use newtype-branch constructors in characteristic predicates

  Show description for 115a762
  

  2 peopleauthored and

  yoff

  committed
  115a762

  Copy full SHA for 115a762

• Python: introduce TExpr union via newtype-branch alias

  Show description for 8f419d1
  

  2 peopleauthored and

  yoff

  committed
  8f419d1

  Copy full SHA for 8f419d1

• Python: simplify TBlockStmt char pred via exclusion list

  Show description for 8ca2a30
  

  2 peopleauthored and

  yoff

  committed
  8ca2a30

  Copy full SHA for 8ca2a30

• Python: introduce TStmt union via newtype-branch alias

  Show description for fe39478
  

  2 peopleauthored and

  yoff

  committed
  fe39478

  Copy full SHA for fe39478

• Python: use private-abstract + final-alias pattern for AstNode

  Show description for 761b3e3
  

  2 peopleauthored and

  yoff

  committed
  761b3e3

  Copy full SHA for 761b3e3

• Python: document why Assignment subclasses are empty

  Show description for 72d74ae
  

  2 peopleauthored and

  yoff

  committed
  72d74ae

  Copy full SHA for 72d74ae

• Python: index TBlockStmt by Py::StmtList instead of (parent, slot)

  Show description for 1e51c82
  

  2 peopleauthored and

  yoff

  committed
  1e51c82

  Copy full SHA for 1e51c82

• Python: unify Py::BoolExpr handling via TBoolExprPair

  Show description for 7176fd8
  

  2 peopleauthored and

  yoff

  committed
  7176fd8

  Copy full SHA for 7176fd8

• Python: merge T*AstNode wrappers into matching public classes

  Show description for 19b9aa8
  

  2 peopleauthored and

  yoff

  committed
  19b9aa8

  Copy full SHA for 19b9aa8

• Python: dispatch toString/getLocation/getEnclosingCallable per branch

  Show description for 4dbd904
  

  2 peopleauthored and

  yoff

  committed
  4dbd904

  Copy full SHA for 4dbd904

• Python: adapt to new shared CFG signature

  Show description for 372944b
  

  2 peopleauthored and

  yoff

  committed
  372944b

  Copy full SHA for 372944b