Skip to content

Pull requests: google/zerocopy

New pull request New
153 Open 2,528 Closed
153 Open 2,528 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Only use layout_for_ptr feature for zerocopy tests
#3365 opened May 13, 2026 by joshlf Member Loading…
@jswrenn
1
[WIP] Experiment rewriting setup in toolchain-config directory
#3363 opened May 13, 2026 by mdittmer Collaborator Loading…
1
[anneal][v2] Initial setup implementation
#3362 opened May 13, 2026 by mdittmer Collaborator Loading…
1
[anneal][v2] Introduce nix-based toolchain management
#3361 opened May 13, 2026 by mdittmer Collaborator Loading…
@joshlf
1
[anneal] README: Explain philosophy wrt typing
#3351 opened May 12, 2026 by joshlf Member Loading…
2
[CI] Bump the all-actions group across 1 directory with 10 updates hide-from-release-notes Don't include this PR when generating release notes
#3349 opened May 11, 2026 by dependabot Bot Loading…
[wip] Introduce InitializeIntoBytes
#3347 opened May 11, 2026 by jswrenn Collaborator Loading…
Fix type ambiguity in anneal spec generation for shadowed type names
#3345 opened May 6, 2026 by nnunley Loading…
1
2
Polish code comments across setup.rs and aeneas.rs to strictly conform to comment-guidelines (80-column wrapping, objective tone, self-contained descriptions)
#3342 opened May 6, 2026 by joshlf Member Loading…
1
Optimize run_lake by copying precompiled config folders, renaming Aeneas config, and dynamically patching trace indices to achieve a ~19% run_lake speedup
#3341 opened May 6, 2026 by joshlf Member Loading…
1
[anneal] Remove redundant integration test harness code
#3339 opened May 6, 2026 by joshlf Member Loading…
1
Implement optimized symlink-copy package materializer and static commit hash bypass to achieve 40x speedup and 100% concurrent safety
#3340 opened May 6, 2026 by joshlf Member Loading…
1
[anneal] Don't copy Lean deps into build dir
#3338 opened May 6, 2026 by joshlf Member Loading…
1
[anneal] Update integration tests for Nix
#3337 opened May 5, 2026 by joshlf Member Loading…
1
[anneal] Replace Docker with Nix
#3336 opened May 5, 2026 by joshlf Member Loading…
1
[anneal][WIP] Experimental changes
#3335 opened May 4, 2026 by joshlf Member Loading…
1
[anneal][WIP] Convert Docker -> Nix
#3334 opened May 4, 2026 by joshlf Member Loading…
[anneal] Download and install artifacts in parallel
#3327 opened Apr 28, 2026 by mdittmer Collaborator Loading…
1
1
Support structs with same type
#3324 opened Apr 22, 2026 by z-tech • Draft
8
[anneal] Replace annotation syntax with verbatim Lean
#3321 opened Apr 22, 2026 by joshlf Member Loading…
1
[anneal] Translate and verify integration tests for new syntax
#3320 opened Apr 22, 2026 by joshlf Member Loading…
1
WIP
#3299 opened Apr 19, 2026 by joshlf Member Loading…
3
[anneal] Adopt Lake artifact cache and share packages in workspace generation
#3298 opened Apr 19, 2026 by joshlf Member Loading…
5
WIP: Local testing workarounds and crate migration
#3292 opened Apr 18, 2026 by joshlf Member Loading…
1
[ci][anneal] Overhaul release process to support manual trigger and PR generation
#3285 opened Apr 16, 2026 by joshlf Member Loading…
1
ProTip! Updated in the last three days: updated:>2026-05-10.