Skip to content

feat: call graph and function summaries - #28

Merged
SizzleUnrlsd merged 2 commits into
mainfrom
feat/callgraph
Sep 3, 2026
Merged

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

feat: add the call graph and fixpoint function summaries

1c4be1f
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar