Repository navigation

feat: call graph and function summaries - #28

Merged

SizzleUnrlsd merged 2 commits into

mainfrom

Sep 3, 2026

Merged

feat: call graph and function summaries#28
SizzleUnrlsd merged 2 commits into
mainfrom
feat/callgraph

Commits on Sep 3, 2026
- test: define call graph and function summary behavior
  SizzleUnrlsd
  committed
  e7c12d9
- feat: add the call graph and fixpoint function summaries
  SizzleUnrlsd
  committed
  1c4be1f