Skip to content

Pull requests: ProvableHQ/leo

New pull request New
13 Open 2,539 Closed
13 Open 2,539 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

Allow empty loops
#28975 opened Nov 3, 2025 by IGI-111 • Draft
2
leo test tests
#28969 opened Oct 30, 2025 by mohammadfawaz • Draft
@mohammadfawaz
Circle CI improvement attempts
#28966 opened Oct 30, 2025 by mohammadfawaz • Draft
Support optionals in the interpreter
#28960 opened Oct 29, 2025 by usagi32 Loading…
1
Allow constants to contain optional types.
#28956 opened Oct 29, 2025 by usagi32 Loading…
1
Expression::SpecialAccess variant
#28955 opened Oct 29, 2025 by usagi32 Loading…
1
1
Rework program imports
#28948 opened Oct 25, 2025 by mohammadfawaz • Draft
@mohammadfawaz
[Feature] Support estimating function costs.
#28928 opened Oct 20, 2025 by d0cd • Draft
@d0cd
1
External structs
#28914 opened Oct 11, 2025 by mohammadfawaz • Draft
@mohammadfawaz
2
Allow unlimited variable captures in async blocks
#28910 opened Oct 9, 2025 by tetektoza Loading…
1
@mohammadfawaz
2
add the ability to slice arrays
#28872 opened Oct 1, 2025 by usagi32 Loading…
1
@d0cd
5
[Feature] Array slicing and concatenation.
#28869 opened Sep 30, 2025 by d0cd • Draft
@d0cd
[Feature] Execution alternatives.
#28856 opened Sep 13, 2025 by d0cd Loading…
@d0cd
3
ProTip! Exclude everything labeled bug with -label:bug.