-
Notifications
You must be signed in to change notification settings - Fork 177
Pull requests: google/zerocopy
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
[kani] Prove sized Ref construction and restoration
#3657
opened Sep 7, 2026 by
joshlf
Member
Loading…
[kani] Split byteorder proofs by monomorphization
#3650
opened Sep 7, 2026 by
joshlf
Member
Loading…
[kani] Prove slice splitting range and frame properties
#3646
opened Sep 7, 2026 by
joshlf
Member
Loading…
Reject derive inputs that capture generated helpers
#3635
opened Sep 5, 2026 by
joshlf
Member
Loading…
Previous Next
ProTip!
Add no:assignee to see everything that’s not assigned.