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.

Sign up for GitHub

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

662 Open 20,598 Closed
662 Open 20,598 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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

[Bug] Duplicated futures bug Something isn't working
#28471 opened Dec 4, 2024 by d0cd
@mikebenfield @d0cd
[Feature] Specify Leo version in Manifest. feature A new feature.
#28465 opened Nov 23, 2024 by d0cd
[Bug] TYC Bug for unknown functions. bug Something isn't working
#28445 opened Nov 15, 2024 by d0cd
[Redesign] Update mechanism proposal A proposal for something new.
#28444 opened Nov 15, 2024 by d0cd
[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] Leo compiler should strip out unused whitespace when loading a program into the VM. bug Something isn't working
#28395 opened Oct 10, 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
[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
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
ProTip! Mix and match filters to narrow down what you’re looking for.