Skip to content

Pull requests: ProvableHQ/leo

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
Assigned to nobody Loading
Sort

Pull requests list

Cache snarkOS binary in CI to avoid 5+ minute rebuild 🤖 CI Anything related to CI bugs or enhancements
#29031 opened Dec 5, 2025 by JoshuaBatty Draft
Enforce usage of latest program edition 🖥️ CLI Anything related to the Leo CLI. fix Fixes a bug or issue.
#29027 opened Dec 4, 2025 by JoshuaBatty Draft
Add definition aware late const folding step
#29013 opened Nov 26, 2025 by IGI-111 Loading…
[Feature] Leo Devnode CLI command feature A new feature.
#29012 opened Nov 26, 2025 by Roee-87 Loading…
Rework program imports
#28986 opened Nov 8, 2025 by mohammadfawaz Loading…
[Feat] Support snark.verify
#28984 opened Nov 7, 2025 by d0cd Loading…
leo formatter
#28978 opened Nov 4, 2025 by usagi32 Loading…
linting framework for leo
#28977 opened Nov 4, 2025 by usagi32 Loading…
Support optionals in the interpreter
#28960 opened Oct 29, 2025 by usagi32 Loading…
Allow constants to contain optional types.
#28956 opened Oct 29, 2025 by usagi32 Loading…
External structs
#28914 opened Oct 11, 2025 by mohammadfawaz Draft
add the ability to slice arrays
#28872 opened Oct 1, 2025 by usagi32 Loading…
ProTip! Mix and match filters to narrow down what you’re looking for.