ProvableHQ/leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
RustGPL-3.0
Issues
- 0
[Proposal] Consider relaxing shadowing to a warning.
#28439 opened by d0cd - 1
# [Codecov](https://codecov.io/gh/AleoHQ/leo/pull/2281?src=pr&el=h1&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AleoHQ) Report
#28425 opened by KarenR20241 - 0
- 0
[Bug] Group tuple
#28436 opened by d0cd - 0
- 0
[Feature] Improve array construction.
#28430 opened by d0cd - 0
[Proposal] Tutorial for updating program logic.
#28428 opened by d0cd - 0
[Bug] asserts don't consider early returns
#28387 opened by mikebenfield - 0
[Bug] Update Leo Docs links in repo.
#28399 opened by d0cd - 1
[Feature] Test framework should output bytecode.
#28394 opened by d0cd - 0
- 0
[Bug] Internal flattening pass does not respect SSA semantics.
#28405 opened by d0cd - 0
[Feature] CTFE on array sizes
#28416 opened by d0cd - 1
The team does not answer any questions on Discord. How to claim my aleo tokens for the setup ceremony?
#28411 opened by 13billyblack - 1
How to claim my aleo tekens for the setup ceremony?
#28410 opened by 13billyblack - 0
[Bug] Negative literals error when passed in via command line.
#28409 opened by d0cd - 1
SETUP CEREMONY ERROR
#28403 opened by 13billyblack - 0
[Bug] `if ... else if` chain yields code of size quadratic in the number of conditions
#28386 opened by mikebenfield - 0
[Bug] Parser allows struct expressions where the components have no semicolon or comma separation but are just juxtaposed
#28375 opened by d0cd - 0
[Bug] Struct can be parsed without separators.
#28379 opened by d0cd - 0
[Bug] Leo compiler should strip out unused whitespace when loading a program into the VM.
#28395 opened by d0cd - 0
[Bug] Asserts don't provide information on which one failed.
#28393 opened by d0cd - 0
[Bug] The parsing of struct expressions, still allows both semicolons and commas as separators of components.
#28377 opened by d0cd - 0
[Feature] Test framework in "run" mode.
#28390 opened by d0cd - 0
[Feature] Array variable indexing.
#28388 opened by d0cd - 0
[Feature] Array assignment.
#28389 opened by d0cd - 1
[Cleanup] Remove unused `json` feature
#28369 opened by d0cd - 0
[Bug] compiler panic with assignment in else block
#28370 opened by mikebenfield - 0
[Bug] `parse_console_statement` is obsolete
#28378 opened by d0cd - 0
[Bug] The parser allows imports after the program scope
#28376 opened by d0cd - 0
[Bug] Fix basic Leo README.
#28372 opened by d0cd - 0
[Docs] Remove examples to workshop repo
#28371 opened by d0cd - 0
[Bug] URL in leo examples needs to http for local execution.
#28365 opened by d0cd - 0
- 0
[Bug] Leo Deploy dry run does not show txn.
#28364 opened by d0cd - 0
[Bug] Investigate capital letters in Leo program names
#28363 opened by d0cd - 1
Leo Installation for Windows Bug (const-oid)
#28332 opened by Elexy101 - 0
- 0
- 0
I submitted my contribution in time but it was declined because deadline was Dec 19!
#28355 opened by eyjafjallajoskull - 0
Leo contributor badge
#28354 opened by must479 - 0
- 0
[Bug]
#28351 opened by Athena95-h - 1
[Feature] Leo init
#28343 opened by d0cd - 0
[Feature] Handle GET and POST requests better.
#28344 opened by d0cd - 0
[Docs] Add CooperNic to contributors.
#28338 opened by CooperNic - 0
[Feature] Leo CLI should notify users as soon as there is a new version available, for any invocation of the CLI
#28335 opened by d0cd - 2
- 0
[Proposal] Remove CONTRIBUTORS.md or move it to its own repo.
#28331 opened by ungaro - 1
allow non leo files to be in src folder
#28321 opened by ungaro