Skip to content

Pull requests: o1-labs/snarky

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

Pull Request: Fix Grammar and Spelling Issues
#849 opened Nov 29, 2024 by donatik27 Loading…
Remove unused free monad implementation
#848 opened Nov 24, 2024 by martyall Loading…
TYPO README.md
#846 opened Nov 19, 2024 by sky-coderay Loading…
removing references to broken links
#844 opened May 13, 2024 by svv232 Loading…
Simplified witness computation
#837 opened Feb 22, 2024 by gabrielbosio Draft
Fix typos
#835 opened Jan 21, 2024 by GoodDaisy Loading…
Cosmetics/Refactoring
#833 opened Jan 16, 2024 by volhovm Loading…
chore: typo fix
#832 opened Dec 10, 2023 by Gakunt Loading…
ProTip! Exclude everything labeled bug with -label:bug.