Add linearity and accumulator tracking in flow analysis#485

Open

ychenfo wants to merge 11 commits intohkust-taco:hkmc2from

ychenfo:linearity-accumulator

Commits on Apr 16, 2026

dpe on by default
ychenfo
committed

Commits on Apr 17, 2026

Merge branch 'hkmc2' into dpe-on-by-default
LPTK
authored

Commits on Apr 19, 2026

Commits on May 6, 2026

add affinity and accumulator in flow analysis; refactor flow analysis strategy types; update flow analysis config
ychenfo
committed
pretty print deforest result
ychenfo
committed
Merge remote-tracking branch 'origin/hkmc2' into linearity-accumulator
ychenfo
committed

Commits on May 7, 2026

Commits on May 8, 2026

Add affinity analysis unsoundness example for later
LPTK
committed