Skip to content

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
Merged

yuleisui merged 3 commits into
SVF-tools:mainfrom
hanyuone:ai-typecheck

Conversation

@hanyuone

Copy link
Copy Markdown
Contributor

In certain operations in AbstractValue and IntervalValue, the types do not properly match. This PR fixes that.

@hanyuone
hanyuone marked this pull request as ready for review July 29, 2026 02:29
@yuleisui
yuleisui merged commit cd0f4f8 into SVF-tools:main Jul 29, 2026
1 check passed
@hanyuone
hanyuone deleted the ai-typecheck branch July 29, 2026 02:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants