Skip to content

Conversation

@Alexhuszagh
Copy link
Owner

Closes #2.

@Alexhuszagh Alexhuszagh added the A-sec Related to unsoundness/security issues. label Oct 31, 2024
@Alexhuszagh Alexhuszagh added this to the 0.2.2 milestone Oct 31, 2024
@Alexhuszagh Alexhuszagh merged commit c8daa4d into main Oct 31, 2024
16 checks passed
@Alexhuszagh Alexhuszagh deleted the issue_02 branch October 31, 2024 04:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

A-sec Related to unsoundness/security issues.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Potential unsoundnesses (not yet determined) with use of unsafe

2 participants