Repository navigation

Eager Constraint Solving in Polymorphic Flow Analysis - #621

Open

flandia wants to merge 7 commits into

hkust-taco:hkmc2from

flandia:eager-analysis

Open

Eager Constraint Solving in Polymorphic Flow Analysis#621
flandia wants to merge 7 commits into
hkust-taco:hkmc2from
flandia:eager-analysis

Commits on Nov 6, 2026
- Restructure Flow Analysis
  flandia
  committed
  897c029
- Eager Constraint Solving
  flandia
  committed
  88264a5
- Flow Analysis Optimization
  flandia
  committed
  e364e01
- Simplify `EffectAnalysis.summarize`
  flandia
  committed
  1a96c15
Commits on Nov 7, 2026
- Test solved scheme flows through shared mutable bindings
  codex
  committed
  6fa1532
Commits on Nov 10, 2026
- Merge upstream hkmc2 into eager-analysis
  codex
  committed
  1eb5fe3
- Resolve Anto's comments
  flandia
  committed
  40ae24c