Skip to content

Pull requests: starkware-libs/proving-utils

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

Noamp/only opt and lto for all
#259 opened Dec 8, 2025 by noam-starkware Loading…
9 tasks
Noamp/only codegen for all
#258 opened Dec 8, 2025 by noam-starkware Loading…
9 tasks
compile arch specific stwos with cargo, no optimization
#257 opened Dec 8, 2025 by noam-starkware Loading…
9 tasks
Noamp/compile arch with cargo
#256 opened Dec 8, 2025 by noam-starkware Loading…
9 tasks
Noamp/generic optimization on prod ver
#255 opened Dec 8, 2025 by noam-starkware Loading…
9 tasks
use child process for retries
#254 opened Dec 8, 2025 by nitsan-starkware Loading…
9 tasks
1
compile generic binaries with optimizations
#242 opened Nov 18, 2025 by noam-starkware Loading…
9 tasks
added lto flag to zen 5 compilation
#238 opened Nov 16, 2025 by noam-starkware Loading…
9 tasks
update stwo-cairo ref to align adapter and sharp er format
#232 opened Nov 6, 2025 by noam-starkware Loading…
9 tasks
align adapter and sharp output format
#231 opened Nov 5, 2025 by noam-starkware Loading…
9 tasks
implementing applicative bl tests
#217 opened Sep 3, 2025 by Idanh-starkware • Draft
9 tasks
1
fixing and adding simple bl hints tests
#208 opened Aug 21, 2025 by Idanh-starkware Loading…
2 of 9 tasks
4
compiling cario code
#189 opened Aug 7, 2025 by efrat-starkware Loading…
9 tasks
1
Update deps for app testing
#186 opened Aug 6, 2025 by MeidarSharkansky-starkware Loading…
9 tasks
Sha2 finalization related changes
#174 opened Jul 22, 2025 by maciejka • Draft
update stwo-cairo to b732e08 for the mini mirror
#172 opened Jul 21, 2025 by MeidarSharkansky-starkware Loading…
9 tasks
DO NOT MERGE: update cairo and vm version
#164 opened Jul 7, 2025 by noam-starkware Loading…
9 tasks
Update cairo(a7bd5c9) and stwo-cairo(a7bd5c9)
#157 opened Jun 23, 2025 by MeidarSharkansky-starkware Loading…
9 tasks
Update stwo cairo to alonf fix
#155 opened Jun 14, 2025 by MeidarSharkansky-starkware Loading…
9 tasks
Update stwo-cairo to b24bcc0
#154 opened Jun 11, 2025 by MeidarSharkansky-starkware Loading…
9 tasks
Cairo Program Runner benchmarker script
#151 opened May 27, 2025 by Idanh-starkware Loading…
2 of 9 tasks
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.