-
Notifications
You must be signed in to change notification settings - Fork 11
Pull requests: lean-dojo/TorchLean
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
feat(cuda): bundle + auto-link the glibc≥2.38 isoc23 link shim
#18
opened Jul 16, 2026 by
NicolasRouquette
Contributor
Loading…
feat(floats): executable ULP and absorption for IEEE32Exec
#17
opened Jul 16, 2026 by
NicolasRouquette
Contributor
Loading…
feat(floats): Sterbenz exact subtraction for the FLT / FP32 formats
#16
opened Jul 16, 2026 by
NicolasRouquette
Contributor
Loading…
test(cuda): add a leak-bound allocator stress regression for long eager CUDA loops
#15
opened Jul 14, 2026 by
NicolasRouquette
Contributor
Loading…
feat(cuda): bound the device block reuse cache with an env byte cap
#10
opened Jun 23, 2026 by
NicolasRouquette
Contributor
Loading…
ProTip!
Filter pull requests by the default branch with base:main.