Skip to content

Conversation

@rikosellic
Copy link
Collaborator

No description provided.

@rikosellic rikosellic added the pure proof Exec-unrelated proofs label Jan 9, 2026
@rikosellic rikosellic merged commit fa60c85 into asterinas:main Jan 9, 2026
1 check passed
@rikosellic rikosellic deleted the more-pcm-definition branch January 9, 2026 07:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

pure proof Exec-unrelated proofs

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant