ProvableHQ/leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
RustGPL-3.0
Issues
- 0
[Docs] Remove examples to workshop repo
#28371 opened by d0cd - 1
- 1
[Bug] Group tuple
#28436 opened by d0cd - 0
[Feature] Specify Leo version in Manifest.
#28465 opened by d0cd - 0
[Feature] Allow structs and arrays for Pedersen hashes
#28484 opened by mikebenfield - 0
- 0
[Bug] Confirm hashing of arbitrary data types.
#28482 opened by d0cd - 0
- 0
[Feature] `leo verify`
#28479 opened by d0cd - 0
[Feature] `CheatCode::set_signer`
#28478 opened by d0cd - 0
[Feature] `#set_program` in the Leo debugger should give users feedback on whether or not the program was loaded in.
#28477 opened by d0cd - 0
- 0
[Bug] Duplicated futures
#28471 opened by d0cd - 0
- 0
[Bug] TYC Bug for unknown functions.
#28445 opened by d0cd - 0
[Redesign] Update mechanism
#28444 opened by d0cd - 0
[Redesign] Dissambler, retriever, and stub system
#28442 opened by d0cd - 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
- 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
[Bug] URL in leo examples needs to http for local execution.
#28365 opened by d0cd - 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