Skip to content

Add FunObjVar::getSourceLoc binding#46

Merged
yuleisui merged 1 commit intoSVF-tools:mainfrom
mgree:funobjvar-srcloc
Apr 11, 2026
Merged

Add FunObjVar::getSourceLoc binding#46
yuleisui merged 1 commit intoSVF-tools:mainfrom
mgree:funobjvar-srcloc

Conversation

@mgree
Copy link
Copy Markdown
Contributor

@mgree mgree commented Apr 11, 2026

Another binding I was missing.

(NB there's a line of whitespace churn from my editor---please let me know if you have a linting style you'd like me to adhere to!)

@yuleisui yuleisui merged commit ee8f192 into SVF-tools:main Apr 11, 2026
1 check passed
@mgree mgree deleted the funobjvar-srcloc branch April 11, 2026 13:34
bjjwwang pushed a commit to bjjwwang/SVF-Python2 that referenced this pull request Apr 11, 2026
- Update README: add news about PyPI migration and credit mgree for SVF-tools#46
- Update pip install command to use official PyPI
- Update Python version support to 3.8-3.12
- Remove TestPyPI references from pag.ipynb demo notebook

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
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