-
Notifications
You must be signed in to change notification settings - Fork 1
Pull requests: kim-em/hex-dev
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
perf(bz): balanced product-tree multifactor Hensel lift
#8657
opened Jul 8, 2026 by
kim-em
Owner
Loading…
bench: Swinnerton-Dyer tier-crossover ladders with scaling figures
#8539
opened Jul 2, 2026 by
kim-em
Owner
Loading…
docs(AGENTS): require standard BZ/LLL terminology in proofs and docs
#8416
opened Jun 28, 2026 by
kim-em
Owner
Loading…
chore: record CoarseCheck probe + HexManual render driver; gitignore sessions/
#8335
opened Jun 24, 2026 by
kim-em
Owner
Loading…
doc: fix /once claim step for replan/plan worker types
#8301
opened Jun 23, 2026 by
kim-em
Owner
Loading…
ProTip!
Filter pull requests by the default branch with base:main.