Skip to content

Pull requests: scroll-tech/ceno

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
Assignee
Filter by who’s assigned
Sort

Pull requests list

secp256k1 and sha256_extend mocks + refactor
#826 by mcalancea was merged Feb 7, 2025 Loading…
Sumcheck macro
#823 by zemse was merged Jan 22, 2025 Loading…
Clean up 'hints' for guests
#821 by matthiasgoergens was merged Jan 9, 2025 Loading…
Rename bubble sort to quadratic sort
#820 by matthiasgoergens was merged Jan 9, 2025 Loading…
Log unused instructions, too
#817 by matthiasgoergens was merged Jan 9, 2025 Loading…
Only complain about threads once
#816 by matthiasgoergens was merged Jan 8, 2025 Loading…
Less spam when running e2e
#815 by matthiasgoergens was merged Jan 8, 2025 Loading…
Update toolchain
#810 by matthiasgoergens was merged Feb 5, 2025 Loading…
Heap and stack sizes in kiB and MiB
#808 by matthiasgoergens was merged Jan 7, 2025 Loading…
Support conversion of hints to Vec<u8>
#807 by matthiasgoergens was merged Jan 6, 2025 Loading…
Make examples part of the workspace
#804 by matthiasgoergens was merged Jan 6, 2025 Loading…
Remove obsolete ceno_rt/Cargo.lock
#803 by matthiasgoergens was merged Jan 3, 2025 Loading…
Deduplicate magic syscall number
#802 by matthiasgoergens was merged Jan 6, 2025 Loading…
cleanup arc on program and refactor hacky mock_proving
#798 by zemse was merged Dec 31, 2024 Loading…
Feat/skip fixed commit of range table
#797 by 10to4 was merged Jan 13, 2025 Loading…
Bump glob from 0.3.1 to 0.3.2 dependencies Pull requests that update a dependency file
#796 by dependabot bot was merged Jan 3, 2025 Loading…
Bump serde from 1.0.216 to 1.0.217 dependencies Pull requests that update a dependency file
#795 by dependabot bot was merged Jan 3, 2025 Loading…
Use From::from
#794 by matthiasgoergens was merged Dec 30, 2024 Loading…
Suggestions for 'refactor assert_satisfied_full'
#793 by matthiasgoergens was merged Dec 29, 2024 Loading…
feat: Merge blt+bltu circuits
#792 by varun-doshi was merged Dec 30, 2024 Loading…
refactor to replace v1 by v2 and cleanup suffix
#791 by hero78119 was merged Jan 2, 2025 Loading…
refactor: less cloning
#790 by matthiasgoergens was closed Dec 26, 2024 Loading…
ProTip! Filter pull requests by the default branch with base:master.