Skip to content

Pull requests: ProvableHQ/leo

New pull request New
10 Open 2,422 Closed
10 Open 2,422 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

Disallow user identifiers that contain double underscores
#28747 opened Jul 29, 2025 by tetsuo-cpp Loading…
1
Integration tests for the Leo CLI.
#28696 opened Jun 17, 2025 by mikebenfield Loading…
16
Interpreter uses snarkvm
#28661 opened Jun 2, 2025 by mikebenfield • Draft
2
[Feature] Support program upgrades.
#28593 opened May 1, 2025 by d0cd Loading…
2
70
[Feature] Print Statements
#28424 opened Oct 25, 2024 by d0cd • Draft
[Feature] leo fmt
#28333 opened Sep 4, 2024 by d0cd • Draft
Donotion contract
#27767 opened Mar 2, 2024 by jerydam Loading…
2
chore: updated username due to malicious username spoofing
#27729 opened Feb 29, 2024 by Gakunt Loading…
1
[Feature] Inline Assembly feature A new feature.
#2322 opened Mar 27, 2023 by d0cd • Draft
[Refactor] Use the Consumer pattern for code generation.
#2282 opened Feb 26, 2023 by d0cd Loading…
1
ProTip! Updated in the last three days: updated:>2025-07-27.