Skip to content

Pull requests: Beneficial-AI-Foundation/NumpySpec

New pull request New
8 Open 45 Closed
8 Open 45 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

create function_trucker.lean
#120 opened Jul 28, 2025 by bizid777 Loading…
1
Feature/claude pipeline integration
#118 opened Jul 13, 2025 by bizid777 Loading…
feat: Port 20 more numeric-only Dafny synthesis tasks (batch 8)
#117 opened Jul 11, 2025 by alok Loading…
3 tasks done
2
feat: Port 20 more numeric-only Dafny synthesis tasks (batch 7)
#116 opened Jul 10, 2025 by alok Loading…
3 tasks done
3
feat: Port 20 more numeric-only Dafny synthesis tasks (batch 6)
#115 opened Jul 10, 2025 by alok Loading…
3 tasks done
7
feat: Complete NumPy specification implementation across 4 major modules
#114 opened Jul 10, 2025 by htlou Loading…
5 tasks done
21
feat: Port 20 numeric-only Dafny synthesis tasks (batch 5)
#113 opened Jul 10, 2025 by alok Loading…
3 tasks done
3
feat: Port 70 Dafny benchmark specifications (batch 4 of 4)
#112 opened Jul 10, 2025 by alok Loading…
3 tasks done
4
ProTip! Filter pull requests by the default branch with base:main.