perf: drive optimizer fixpoints by change flags instead of whole-module Eq - #156

Merged

Unisay merged 2 commits into

mainfrom

issue-144/fixpoint-change-flag

Jul 4, 2026

Commits on Jul 4, 2026

refactor: replace the Any change flag with a domain type (review feedback)
Unisay
committed
f25937e
perf: drive optimizer fixpoints by change flags instead of whole-module Eq
Unisay
committed
5f85684