Skip to content

Pull requests: starkware-libs/stone-prover

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

Remove duplication words
#39 opened Dec 18, 2024 by jasmyhigh Loading…
docs: Update link to CRYPTOGAMS license
#37 opened Sep 22, 2024 by Oemerbeck Loading…
Enable building on ARM and MacOS
#36 opened Aug 16, 2024 by Groxan Loading…
Pin sympy to 1.12.1
#35 opened Aug 16, 2024 by steebchen Loading…
Fix spelling issues
#32 opened Jul 31, 2024 by nnsW3 Loading…
2
Specify the SymPy version in the Dockerfile
#31 opened Jul 18, 2024 by jaehunkim Loading…
Add script to automate the configuration of the fri steps
#29 opened Jun 20, 2024 by FilipLaurentiu Loading…
ProTip! What’s not been updated in a month: updated:<2025-10-01.