Skip to content

SVA#115

Merged
JTrenerry merged 10 commits into
mainfrom
svaaa
Apr 14, 2026
Merged

SVA#115
JTrenerry merged 10 commits into
mainfrom
svaaa

Conversation

@JTrenerry

@JTrenerry JTrenerry commented Apr 9, 2026

Copy link
Copy Markdown
Collaborator

Remove SVA from #58 and move it here.

Very limited usage and testing for it isn't amazing at the moment, but from limited practice with malloc results, it does function.

TODO: have at least one expect test

@JTrenerry JTrenerry requested a review from b-paul April 9, 2026 04:00
@JTrenerry JTrenerry self-assigned this Apr 9, 2026

@b-paul b-paul left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

probably good other than these changes

Comment thread lib/analysis/sva.ml Outdated
Comment thread lib/analysis/sva.ml Outdated
Comment thread lib/analysis/sva.ml
Comment thread lib/analysis/sva.ml Outdated
Comment thread lib/analysis/sva.ml Outdated
Comment thread lib/analysis/sva.ml Outdated
Comment thread lib/analysis/sva.ml Outdated
@JTrenerry

Copy link
Copy Markdown
Collaborator Author

Fix for this is in #58, doing soon but I BROKE EVERYTHING 😭

@JTrenerry JTrenerry merged commit 3ef9f13 into main Apr 14, 2026
9 checks passed
@JTrenerry JTrenerry deleted the svaaa branch April 14, 2026 05:18
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