-
Notifications
You must be signed in to change notification settings - Fork 10
Pull requests: asterinas/vostd
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Simplify proofs in
cursor/mod.rs, improve performance, fill in some cursor lemmas
#366
opened Mar 25, 2026 by
SNoAnd
Loading…
prove: sync::mutex
AI-assist
AI-aided proof or generation
exec code
Proofs about execution code
#356
opened Mar 23, 2026 by
Marsman1996
•
Draft
prove: sync::rcu::non_null::either
AI-assist
AI-aided proof or generation
exec code
Proofs about execution code
#346
opened Mar 12, 2026 by
Marsman1996
•
Draft
ProTip!
Adding no:label will show everything without a label.