Repository navigation

feat(ir): program package with graph-local ids; lower assigns ids and origins - #2137

Open

devin-ai-integration[bot] wants to merge 6 commits into

feat/ir-program-ids

Open

feat(ir): program package with graph-local ids; lower assigns ids and origins#2137
devin-ai-integration[bot] wants to merge 6 commits into
developfrom
feat/ir-program-ids

Commits on Nov 11, 2026
- feat(ir): add program package with graph-local ids, Origin and GraphID
  
  devin-ai-integration[bot]
  and
  HuiJun
  committed
  1cc69b2
- style(ir): keep program comments to two lines
  
  devin-ai-integration[bot]
  and
  HuiJun
  committed
  f9742b5
- feat(lower): assign graph-local ids and origins to action and state graphs
  
  devin-ai-integration[bot]
  and
  HuiJun
  committed
  200b368
- fix(lower): assign case-flow ids after its steps join the graph
  
  devin-ai-integration[bot]
  and
  HuiJun
  committed
  66a4db9
- fix(lower): region origins read the scope the region was declared in
  
  devin-ai-integration[bot]
  and
  HuiJun
  committed
  057e4f1
Commits on Nov 12, 2026
- Merge remote-tracking branch 'origin/develop' into feat/ir-program-ids
  devin-ai-integration[bot]
  committed
  4881793