Skip to content

Issues: ProvableHQ/leo

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

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
Assignee
Filter by who’s assigned
Sort

Issues list

[Redesign] Dissambler, retriever, and stub system bug Something isn't working
#28442 opened Nov 14, 2024 by d0cd
[Proposal] Consider relaxing shadowing to a warning. proposal A proposal for something new.
#28439 opened Nov 7, 2024 by d0cd
[Bug] Group tuple bug Something isn't working
#28436 opened Nov 5, 2024 by d0cd
[Feature] Improve array construction. feature A new feature.
#28430 opened Oct 31, 2024 by d0cd
[Bug] Leo should check that input records are not returned directly. bug Something isn't working
#28429 opened Oct 29, 2024 by d0cd
[Proposal] Tutorial for updating program logic. proposal A proposal for something new.
#28428 opened Oct 29, 2024 by d0cd
[Feature] CTFE on array sizes feature A new feature.
#28416 opened Oct 22, 2024 by d0cd
[Bug] Negative literals error when passed in via command line. bug Something isn't working
#28409 opened Oct 21, 2024 by d0cd
[Bug] Asserts don't provide information on which one failed. bug Something isn't working
#28393 opened Oct 10, 2024 by d0cd
[Feature] Test framework in "run" mode. feature A new feature.
#28390 opened Oct 9, 2024 by d0cd
[Feature] Array assignment. feature A new feature.
#28389 opened Oct 9, 2024 by d0cd
[Feature] Array variable indexing. feature A new feature.
#28388 opened Oct 9, 2024 by d0cd
[Bug] parse_console_statement is obsolete bug Something isn't working
#28378 opened Oct 3, 2024 by d0cd
[Bug] The parser allows imports after the program scope bug Something isn't working
#28376 opened Oct 3, 2024 by d0cd
[Bug] Fix basic Leo README. bug Something isn't working
#28372 opened Oct 3, 2024 by d0cd
[Docs] Remove examples to workshop repo documentation Improvements or additions to documentation
#28371 opened Oct 3, 2024 by d0cd
[Feature] feature A new feature.
#28366 opened Oct 2, 2024 by kire81
[Bug] Leo Deploy dry run does not show txn. bug Something isn't working
#28364 opened Oct 1, 2024 by d0cd
[Bug] Investigate capital letters in Leo program names bug Something isn't working
#28363 opened Oct 1, 2024 by d0cd
[Bug] bug Something isn't working
#28361 opened Sep 30, 2024 by Wythmadam
I submitted my contribution in time but it was declined proposal A proposal for something new.
#28356 opened Sep 20, 2024 by eyjafjallajoskull
Leo contributor badge feature A new feature.
#28354 opened Sep 18, 2024 by must479
[Feature] feature A new feature.
#28353 opened Sep 18, 2024 by must479
[Feature] Handle GET and POST requests better. feature A new feature.
#28344 opened Sep 10, 2024 by d0cd
ProTip! What’s not been updated in a month: updated:<2024-10-14.