-
Notifications
You must be signed in to change notification settings - Fork 154
Pull requests: google/zerocopy
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
anneal-setup-v2: More robust bash scripts in nix flake
#3360
opened May 12, 2026 by
mdittmer
Collaborator
Loading…
anneal-setup-v2: Update nix flake to package Lean toolchain
#3359
opened May 12, 2026 by
mdittmer
Collaborator
Loading…
anneal-setup-v2: Copy nix flake from #3336
#3358
opened May 12, 2026 by
mdittmer
Collaborator
Loading…
anneal-setup-v2: switch from shelling out to tar to managing archives with libraries
#3356
opened May 12, 2026 by
mdittmer
Collaborator
Loading…
anneal-setup-v2: simplify extractor into single-threaded implementation
#3357
opened May 12, 2026 by
mdittmer
Collaborator
Loading…
anneal-setup-v2: update vendored rust dependencies
#3355
opened May 12, 2026 by
mdittmer
Collaborator
Loading…
Modify anneal/Cargo to admit v2/setup workspace
#3354
opened May 12, 2026 by
mdittmer
Collaborator
Loading…
Add to anneal-setup-v2: non-UNIX support; doc-comments; tests
#3353
opened May 12, 2026 by
mdittmer
Collaborator
Loading…
WIP: Start building thin setup that presumes carefully prepared dependencies archive
#3352
opened May 12, 2026 by
mdittmer
Collaborator
Loading…
[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…
Fix type ambiguity in anneal spec generation for shadowed type names
#3345
opened May 6, 2026 by
nnunley
Loading…
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…
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…
[anneal] Remove redundant integration test harness code
#3339
opened May 6, 2026 by
joshlf
Member
Loading…
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…
[anneal] Download and install artifacts in parallel
#3327
opened Apr 28, 2026 by
mdittmer
Collaborator
Loading…
[anneal] Replace annotation syntax with verbatim Lean
#3321
opened Apr 22, 2026 by
joshlf
Member
Loading…
Previous Next
ProTip!
Updated in the last three days: updated:>2026-05-09.