Skip to content

Pull requests: ProvableHQ/leo

New pull request New
24 Open 2,495 Closed
24 Open 2,495 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

External structs
#28914 opened Oct 11, 2025 by mohammadfawaz • Draft
Run cargo update
#28913 opened Oct 10, 2025 by mohammadfawaz Loading…
Leo CLI testing framework
#28912 opened Oct 10, 2025 by mohammadfawaz • Draft
@mohammadfawaz
Properly unwrap optional types during operations
#28911 opened Oct 9, 2025 by mohammadfawaz Loading…
1
@mohammadfawaz
Allow unlimited variable captures in async blocks
#28910 opened Oct 9, 2025 by tetektoza Loading…
1
2
Improve error message for identifiers with leading underscore
#28909 opened Oct 9, 2025 by mohammadfawaz Loading…
1
@mohammadfawaz
Fix duplicate futures in interpreter
#28908 opened Oct 9, 2025 by mohammadfawaz Loading…
1
@mohammadfawaz
Omit edition from the URL to fetch latest program with leo query program
#28907 opened Oct 9, 2025 by mohammadfawaz Loading…
1
@mohammadfawaz
Improve shadowing error messages with multi-span support
#28906 opened Oct 7, 2025 by tetektoza Loading…
1
fix the max number of inputs test.
#28904 opened Oct 7, 2025 by usagi32 Loading…
@mohammadfawaz
1
fix duplication of children in the symbol during loop unrolling.
#28903 opened Oct 7, 2025 by usagi32 Loading…
1
@mohammadfawaz
1
Prevent shadowed variables during function inlining
#28901 opened Oct 7, 2025 by tetektoza Loading…
1
@mohammadfawaz
4
Ensure Path is absolute in all transform passes
#28900 opened Oct 6, 2025 by mohammadfawaz Loading…
1
@mohammadfawaz
1
Implement multi-span error reporting for structs/records
#28893 opened Oct 3, 2025 by tetektoza Loading…
14
CLI integration tests.
#28878 opened Oct 2, 2025 by mikebenfield Loading…
add the ability to slice arrays
#28872 opened Oct 1, 2025 by usagi32 Loading…
1
4
[Feature] Array slicing and concatenation.
#28869 opened Sep 30, 2025 by d0cd • Draft
@d0cd
Add Storage Support and Storage Lowering Pass
#28861 opened Sep 19, 2025 by mohammadfawaz Loading…
2
@mohammadfawaz
1
[Feature] Execution alternatives.
#28856 opened Sep 13, 2025 by d0cd Loading…
@d0cd
3
[Feature] Test isolation.
#28853 opened Sep 12, 2025 by d0cd Loading…
2
@d0cd
2
Add check_transaction=true parameter to broadcast URLs for synchronous transaction checking
#28833 opened Sep 5, 2025 by Copilot AI • Draft
1
@vicsn @Copilot
4
[WIP] Add support for new raw hash/sign and ECDSA verification operations.
#28825 opened Aug 28, 2025 by d0cd • Draft
[Feature] Introduce leo synthesize.
#28803 opened Aug 21, 2025 by d0cd Loading…
1
@d0cd
6
[WIP] Cache queries for consistent state paths.
#28784 opened Aug 14, 2025 by d0cd • Draft
1
ProTip! Add no:assignee to see everything that’s not assigned.