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 555 leo issues
Sort by recently updated
recently updated
newest added

## 🚀 Feature Add Wasm compile + tests to our CI. - [x] Parser - [ ] Compiler ## Motivation We want to make sure Leo is Wasm compatible. With...

feature
priority-low

## 🚀 Feature Continue wasmification process in compiler. ## Implementation Add support for `leo-compiler` crate and `leo-asg`.

feature
priority-low

- [x] Write RFC. - [ ] ABNF changes. - [ ] Parser changes. - [ ] AST changes. - [ ] ASG changes. - [ ] Compiler changes. -...

Epic
priority-low

There is currently very little documentation on imports: https://developer.aleo.org/developer/language/imports We should have a user-level, implementation-agnostic/independent to describe the semantics of imports. I'm making this a 'feature' and not just a...

feature
priority-low

## 🚀 Feature We should have better Rust Docs for Leo and its sub-crates. ## Motivation For clearer developer documentation. We should also set up a GitHub Pages to host...

feature
priority-low

- [ ] Write RFC, starting from #600.

feature
priority-low

## 🚀 Feature Each Leo sub-package should have a README of what the package is and how it works. ## Motivation Better documentation makes it easier for open-source people to...

feature
priority-low

## 🐛 Bug Report #### Code snippet to reproduce ``` function main () { const x = [1u8; 2]; const y = x[1 - 1u16]; } ``` #### Stack trace...

bug
fuzz-bug
priority-low
module-asg

- [x] Write RFC. - [x] Implement transformation. - [x] Provide user-level controls for the limit parameter. - [x] Test both valid and invalid recursions.

feature
priority-low

## 🐛 Bug Report using a ternary expression in math allows the computation to wrap overflows instead of panicking #### Code snippet to reproduce ``` function main () { let...

bug
priority-high
snarkvm-bug
should-fail