Repository navigation

fix: make the summary fixpoints converge - #266

Closed

SizzleUnrlsd wants to merge 2 commits into

mainfrom

fix/summary-fixpoint-convergence

Closed

fix: make the summary fixpoints converge#266
SizzleUnrlsd wants to merge 2 commits into
mainfrom
fix/summary-fixpoint-convergence

Commits on Oct 19, 2026
- fix(summaries): list external calls in source order
  SizzleUnrlsd
  committed
  55c96e5
- fix(engine): start an import cycle's fixpoint from empty summaries
  SizzleUnrlsd
  committed
  7fb0117