Skip to content

Add a few sync APIs#450

Merged
rikosellic merged 3 commits into
asterinas:mainfrom
rikosellic:sync-more
May 13, 2026
Merged

Add a few sync APIs#450
rikosellic merged 3 commits into
asterinas:mainfrom
rikosellic:sync-more

Conversation

@rikosellic
Copy link
Copy Markdown
Collaborator

No description provided.

@rikosellic rikosellic added the exec code Proofs about execution code label May 13, 2026
@rikosellic rikosellic merged commit 8d2597e into asterinas:main May 13, 2026
3 checks passed
@rikosellic rikosellic deleted the sync-more branch May 13, 2026 08:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

exec code Proofs about execution code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant