Skip to content

feat: data-flow framework and constant propagation - #18

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

feat: data-flow framework and constant propagation#18
SizzleUnrlsd merged 2 commits into
mainfrom
feat/dataflow

feat: add data-flow solver, abstract values and constant propagation

e5b38c2
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar