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

Rework paths 🧹 Code Quality Anything related to code refactoring, repo enhancements, etc. 🧱 Core Compiler Anything related to the core compiler including parsing, analysis, transforms, codegen, etc.
#29060 opened Jan 9, 2026 by mohammadfawaz Draft
[Fix] Skip programs specified in leo upgrade --skip. bug Something isn't working 🖥️ CLI Anything related to the Leo CLI.
#29059 opened Jan 8, 2026 by d0cd Loading…
[Feature] Leo Devnode CLI command feature A new feature.
#29012 opened Nov 26, 2025 by Roee-87 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…
add the ability to slice arrays
#28872 opened Oct 1, 2025 by usagi32 Loading…
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.