Skip to content

Pull requests: o1-labs/proof-systems

New pull request New
Clear current search query, filters, and sorts
74 Open 2,548 Closed
74 Open 2,548 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

Wasm-friendly Field
#2638 opened Oct 1, 2024 by mitschabaude • Draft
@volhovm
23 🚀 1
range32 checking for added to mips
#2733 opened Oct 26, 2024 by svv232 Loading…
4
Marc/multiplicities constraint
#3197 opened Apr 30, 2025 by marcbeunardeau88 Loading…
1
[Experiment] Flat memory
#2043 opened Mar 27, 2024 by dannywillems Loading…
1
o1vm/riscv32im: programs performing arithmetic on 2^31 - 1
#2917 opened Dec 30, 2024 by dannywillems • Draft
1
CI: add udeps
#3124 opened Mar 31, 2025 by dannywillems • Draft
Marc/lookup constraint
#3119 opened Mar 31, 2025 by marcbeunardeau88 Loading…
3
CI: add ubuntu 24.04 arm support for the WebAssembly components
#3139 opened Apr 4, 2025 by dannywillems • Draft
Marc/lookup prover matthew comment
#3156 opened Apr 8, 2025 by marcbeunardeau88 Loading…
1
Marc/lookup constraint follow up
#3150 opened Apr 7, 2025 by marcbeunardeau88 Loading…
1
Permutation argument in expression framework no-pr-activity
#1181 opened Aug 9, 2023 by mrmr1993 Loading…
2
Marc/multiplicities
#3193 opened Apr 28, 2025 by marcbeunardeau88 Loading…
1
Marc/lookup reduce domain
#3206 opened May 5, 2025 by marcbeunardeau88 Loading…
o1vm/lookup: prover takes cm wires as arg
#3054 opened Feb 20, 2025 by marcbeunardeau88 Loading…
4
Marc/o1vm prover less memory
#3092 opened Mar 20, 2025 by marcbeunardeau88 Loading…
2
fix ipa explanation
#3337 opened Sep 19, 2025 by mimoo Loading…
fix: correct spelling errors in comments
#3336 opened Sep 9, 2025 by sashaodessa Loading…
CI: adding check that we do not infringe copyright licenses
#3271 opened Jun 26, 2025 by dannywillems Loading…
1
stubs: move binding generator in kimchi-stubs
#3249 opened Jun 4, 2025 by dannywillems • Draft
CI: add an action to prever merge commits in a branch of an opened PR
#3300 opened Jul 24, 2025 by dannywillems • Draft
4
CI: simplify OPAM environment loading
#3310 opened Aug 14, 2025 by dannywillems • Draft
Fix lagrange basis functions for web environments no changelog
#3325 opened Sep 2, 2025 by ymekuria Loading…
4
Use an array instead of a Vec
#3126 opened Mar 31, 2025 by richardpringle Loading…
@richardpringle
6
Marc/remove get column domain
#3207 opened May 5, 2025 by marcbeunardeau88 • Draft
plonk-wasm: update warnings reg. base64 deprecated methods
#3163 opened Apr 8, 2025 by dannywillems • Draft
2
ProTip! Exclude everything labeled bug with -label:bug.