Skip to content

Pull requests: ProvableHQ/leo

New pull request New
11 Open 2,630 Closed
11 Open 2,630 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

[Feature] Better cost estimation.
#29131 opened Feb 14, 2026 by d0cd Loading…
[Fix] --skip option for leo upgrade and improve spacing for CLI output
#29130 opened Feb 13, 2026 by d0cd Loading…
1
[Feature] Parity with ConsensusVersion::V14
#29129 opened Feb 13, 2026 by d0cd Loading…
Change errors to use new vocabulary
#29123 opened Feb 12, 2026 by IGI-111 Loading…
2
feat: Rowan parser AST conversion & integration [WIP] 🧱 Core Compiler Anything related to the core compiler including parsing, analysis, transforms, codegen, etc. refactor Refactor or cleanup.
#29122 opened Feb 12, 2026 by mitchmindtree • Draft
5 tasks
1
@mitchmindtree
[Tools] Add Claude skills.
#29109 opened Feb 6, 2026 by d0cd Loading…
@d0cd
3
fix: advance instruction index after CastLossy
#29097 opened Feb 4, 2026 by radik878 Loading…
@radik878
1
TODO: Merge tmp-develop back into master
#29096 opened Feb 4, 2026 by IGI-111 • Draft
@IGI-111
[Fix] leo devnet --storage flag 🖥️ CLI Anything related to the Leo CLI.
#29067 opened Jan 16, 2026 by d0cd • Draft
@d0cd
[Feature] Implement array slicing and concatenation.
#29061 opened Jan 12, 2026 by d0cd • Draft
@d0cd
1
fix: leo test now returns non-zero exit status when one or more tests fail
#29025 opened Dec 3, 2025 by mitchmindtree • Draft
4 tasks done
1
@mitchmindtree
3
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.