leo icon indicating copy to clipboard operation
leo copied to clipboard

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

Results 459 leo issues
Sort by recently updated
recently updated
newest added

## 🚀 Feature Currently the ABNF grammar specifies ``` whitespace = space / horizontal-tab / newline newline = line-feed / carriage-return / carriage-return line-feed horizontal-tab = %x9 ; line-feed =...

feature
priority-low

## 🚀 Feature Title. ## Motivation Fewer characters to write means happier developers :)

feature
priority-low

## 💥 Proposal Since the notion of member function is being extended from circuit types to non-circuit types (e.g. for bit/byte conversions), it makes more sense to declare member functions...

feature
priority-medium

## 🐛 Bug Report **`Outputs` folder weights too much.** This bug leads to the fact that the program's execution time slows down significantly because it takes more time to load...

bug
duplicate

## 🐛 Bug Report line 110: https://github.com/AleoHQ/leo/blob/82caba755540c373c1c908a2012f4fd9fcfc39b4/compiler/ast-passes/src/canonicalization/canonicalizer.rs#L107-L111 #### Code snippet to reproduce ``` circuit C { function f () { // works const a = Self {}; // fails const...

bug
module-ast
fuzz-bug
panic

## 🐛 Bug Report `leo` panicked when the function is recursive. A newcomer may not be aware that the unbounded recursion is NOT supported. A panic doesn't help users. ##...

error-msg
panic

## 🐛 Bug Report When I try the same small program as in https://github.com/AleoHQ/leo/issues/1422 in the staging branch (commit 660fbcef8) the output value is incorrectly printed in the `.out` file:...

bug
priority-low
snarkvm-bug

## 🚀 Feature Improve `address` rule and follow [BIP_0173](https://en.bitcoin.it/wiki/BIP_0173) (for bech32 address format). ```abnf address = %s"aleo1" 58( lowercase-letter / digit ) ``` Quote from BIP: > *The data part,...

feature
module-abnf
priority-low
blocked

## 🐛 Bug Report on leo master you can use any size number to create a field, but on staging you can only use up to 76 characters. the following...

bug
fuzz-bug
priority-critical
snarkvm-bug

## 🐛 Bug Report The code ``` function main(x: u8) -> bool { if x < 10 { return false; } return true; } ``` gives the error ``` Error...

bug
priority-high