-
Notifications
You must be signed in to change notification settings - Fork 180
Pull requests: google/zerocopy
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
[anneal] Define Rust-level verification evidence
#3702
opened Sep 18, 2026 by
joshlf
Member
Loading…
[pointer] Use metadata-aware representation proof in transmute helper
#3699
opened Sep 17, 2026 by
joshlf
Member
Loading…
[pointer] Require same-size proof in transmute helper
#3694
opened Sep 17, 2026 by
joshlf
Member
Loading…
Allow #[derive(IntoBytes)] to ignore unused const generic parameters
#3685
opened Sep 15, 2026 by
barunaniket
Loading…
8 tasks done
Add public constructors for SizeError and ValidityError
#3678
opened Sep 12, 2026 by
barunaniket
Loading…
6 tasks done
Clarify pointer contracts and expose iterator capabilities
#3677
opened Sep 12, 2026 by
joshlf
Member
Loading…
Fix exported macro hygiene and normalize raw field names
#3676
opened Sep 12, 2026 by
joshlf
Member
Loading…
Fix mutable conversion bounds and strengthen core checks
#3675
opened Sep 12, 2026 by
joshlf
Member
Loading…
[kani] Prove sized Ref construction and restoration
#3657
opened Sep 7, 2026 by
joshlf
Member
Loading…
Previous Next
ProTip!
Mix and match filters to narrow down what you’re looking for.