Repository navigation

Effect Analysis Prototype & Safe Eta Expansion - #562

Merged

LPTK merged 34 commits into

hkust-taco:hkmc2from

flandia:flow-effect

Oct 28, 2026

Merged

Effect Analysis Prototype & Safe Eta Expansion#562
LPTK merged 34 commits into
hkust-taco:hkmc2from
flandia:flow-effect

Commits on Oct 3, 2026
- Effect Analysis Prototype
  
  codex
  and
  flandia
  committed
  729928c
- Require lifting before eta expansion
  
  codex
  and
  flandia
  committed
  c1e2f2e
- Update purity metadata during eta expansion
  
  codex
  and
  flandia
  committed
  8357a1c
- Preserve affine stage indices during lifting
  
  codex
  and
  flandia
  committed
  c7f413d
- Eta Expansion Gate
  
  flandia
  authored and
  codex
  committed
  b39d5d2
- Mutation Analysis
  
  flandia
  authored and
  codex
  committed
  dce708f
Commits on Oct 4, 2026
- Resolve Q: function divergence
  flandia
  committed
  314ec9d
- Show stable symbol identifiers
  flandia
  committed
  f6107a0
- Mark external getters as unsafe for eta expansion
  flandia
  committed
  51e59e5
Commits on Oct 6, 2026
- Test Flaws
  flandia
  committed
  350c315
Commits on Oct 15, 2026
- Aggresive Flag
  flandia
  committed
  9e77ae3
- Update hkmc2/shared/src/main/scala/hkmc2/codegen/EtaExpansion.scala
  
  flandia
  and
  LPTK
  authored
  84e05c2
- Update hkmc2/shared/src/main/scala/hkmc2/semantics/Term.scala
  
  flandia
  and
  LPTK
  authored
  fcf830d
- Update hkmc2/shared/src/main/scala/hkmc2/codegen/flowAnalysis/FlowAnalysis.scala
  flandia
  committed
  5827b1c
- Clean logs
  flandia
  committed
  63c9111
- Simplify EffectAnalysisResult
  flandia
  committed
  1da4931
- Merge remote-tracking branch 'origin/hkmc2' into flow-effect
  codex
  committed
  6f8de48
- Improve tests
  
  flandia
  authored and
  codex
  committed
  5a0ab62
- Remove effect inference comments
  
  codex
  and
  flandia
  committed
  88c7093
Commits on Oct 16, 2026
- Changes from meeting
  LPTK
  committed
  333dfdb
- Add NoProd and tighten type of class ProdFun's params and effect
  LPTK
  committed
  8008810
- Fix polymorphic analysis for getter
  flandia
  committed
  4284cd5
- Merge branch 'hkmc2' into flow-effect
  LPTK
  authored
  5b81435
Commits on Oct 20, 2026
- Merge remote-tracking branch 'origin/hkmc2' into flow-effect
  codex
  committed
  6c8537a
- Change slop naming
  flandia
  committed
  2bf0208
- Fix Regression: accessing Class/PatternSymbol and sometimes TermSymbol is pure
  flandia
  committed
  ed7cc14
- _Aggresively_ fix the test case
  flandia
  committed
  9cc276b
- Add FIXME tracking comments
  flandia
  committed
  34aa037
Commits on Oct 26, 2026
- Merge remote-tracking branch 'origin/hkmc2' into flow-effect
  codex
  committed
  1c4155b
- Dealing w/ Regressions...
  flandia
  committed
  550336a
- A bug spotted by Codex
  flandia
  committed
  a94b28c
Commits on Oct 27, 2026
- Changes from meeting
  LPTK
  committed
  554fcf9
Commits on Oct 28, 2026
- Fix slop tests from meeting
  flandia
  committed
  0173d8b
- Merge remote-tracking branch 'origin/hkmc2' into flow-effect
  codex
  committed
  3b9dd93

Commits

Commits on Oct 3, 2026

Commits on Oct 4, 2026

Commits on Oct 6, 2026

Commits on Oct 15, 2026

Commits on Oct 16, 2026

Commits on Oct 20, 2026

Commits on Oct 26, 2026

Commits on Oct 27, 2026

Commits on Oct 28, 2026