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 - 0
[Bug] Group tuple
#28436 opened - 0
[Feature] Improve array construction.
#28430 opened - 0
- 0
[Proposal] Tutorial for updating program logic.
#28428 opened - 1
- 0
[Feature] CTFE on array sizes
#28416 opened - 1
The team does not answer any questions on Discord. How to claim my aleo tokens for the setup ceremony?
#28411 opened - 1
How to claim my aleo tekens for the setup ceremony?
#28410 opened - 0
- 0
- 1
SETUP CEREMONY ERROR
#28403 opened - 0
- 0
[Bug] Update Leo Docs links in repo.
#28399 opened - 0
[Bug] Leo compiler should strip out unused whitespace when loading a program into the VM.
#28395 opened - 1
[Feature] Test framework should output bytecode.
#28394 opened - 0
- 0
- 0
[Feature] Test framework in "run" mode.
#28390 opened - 0
[Feature] Array assignment.
#28389 opened - 0
[Feature] Array variable indexing.
#28388 opened - 0
[Bug] asserts don't consider early returns
#28387 opened - 0
- 0
[Bug] Struct can be parsed without separators.
#28379 opened - 0
[Bug] `parse_console_statement` is obsolete
#28378 opened - 0
[Bug] The parsing of struct expressions, still allows both semicolons and commas as separators of components.
#28377 opened - 0
- 0
- 0
[Bug] Fix basic Leo README.
#28372 opened - 0
[Docs] Remove examples to workshop repo
#28371 opened - 0
[Bug] compiler panic with assignment in else block
#28370 opened - 1
[Cleanup] Remove unused `json` feature
#28369 opened - 0
[Feature]
#28366 opened - 0
- 0
[Bug] Leo Deploy dry run does not show txn.
#28364 opened - 0
- 0
[Bug]
#28361 opened - 0
- 0
- 0
Leo contributor badge
#28354 opened - 0
[Feature]
#28353 opened - 0
[Bug]
#28351 opened - 0
[Feature] Handle GET and POST requests better.
#28344 opened - 1
[Feature] Leo init
#28343 opened - 0
[Docs] Add CooperNic to contributors.
#28338 opened - 0
[Feature] Leo CLI should notify users as soon as there is a new version available, for any invocation of the CLI
#28335 opened - 1
Leo Installation for Windows Bug (const-oid)
#28332 opened - 0
- 2
- 1
allow non leo files to be in src folder
#28321 opened