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

[Bug] Confirm hashing of arbitrary data types. bug Something isn't working
#28482 opened Dec 19, 2024 by d0cd
[Proposal] Overhaul build system for better caching and customizability. proposal A proposal for something new.
#28480 opened Dec 17, 2024 by d0cd
[Feature] leo verify feature A new feature.
#28479 opened Dec 17, 2024 by d0cd
[Feature] CheatCode::set_signer feature A new feature.
#28478 opened Dec 17, 2024 by 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] 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
ProTip! Add no:assignee to see everything that’s not assigned.