-
Notifications
You must be signed in to change notification settings - Fork 4
Pull requests: starkware-libs/proving-utils
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
stwo ver bump: align execution resources names
#276
opened Dec 28, 2025 by
noam-starkware
Loading…
9 tasks
compile zen4 over sapphire in test branch
#275
opened Dec 24, 2025 by
noam-starkware
Loading…
9 tasks
Eliminate pie deep copies in cairo program runner
#271
opened Dec 22, 2025 by
ormarx-starkware
Loading…
allow_missing_builtins conflicts with proof_mode in cairo_run_program
#270
opened Dec 22, 2025 by
nitsan-starkware
Loading…
9 tasks
Add a function for proving a cairo pie from objects (not files)
#266
opened Dec 15, 2025 by
avi-starkware
Loading…
9 tasks
stwo: remove codegen units optimization for builds
#260
opened Dec 9, 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
compile generic binaries with optimizations
#242
opened Nov 18, 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
fixing and adding simple bl hints tests
#208
opened Aug 21, 2025 by
Idanh-starkware
Loading…
2 of 9 tasks
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
Previous Next
ProTip!
Updated in the last three days: updated:>2026-01-07.