FEAT: Align C++ and Python type params for `AbstractValue`, `IntervalValue` - #64

Merged

yuleisui merged 3 commits into

SVF-tools:mainfrom

hanyuone:ai-typecheck

Jul 29, 2026

Commits on Jul 22, 2026

feat: add corresponding init values to AbstractValue
hanyuone
committed
0138967
fix: use correct overloads for IntervalValue builtins
hanyuone
committed
6f78109

Commits on Jul 29, 2026

merge from main
hanyuone
committed
2290944