leo
leo copied to clipboard
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
## 🚀 Feature Add Wasm compile + tests to our CI. - [x] Parser - [ ] Compiler ## Motivation We want to make sure Leo is Wasm compatible. With...
## 🚀 Feature Continue wasmification process in compiler. ## Implementation Add support for `leo-compiler` crate and `leo-asg`.
- [x] Write RFC. - [ ] ABNF changes. - [ ] Parser changes. - [ ] AST changes. - [ ] ASG changes. - [ ] Compiler changes. -...
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 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...
- [ ] Write RFC, starting from #600.
## 🚀 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...
## 🐛 Bug Report #### Code snippet to reproduce ``` function main () { const x = [1u8; 2]; const y = x[1 - 1u16]; } ``` #### Stack trace...
- [x] Write RFC. - [x] Implement transformation. - [x] Provide user-level controls for the limit parameter. - [x] Test both valid and invalid recursions.
## 🐛 Bug Report using a ternary expression in math allows the computation to wrap overflows instead of panicking #### Code snippet to reproduce ``` function main () { let...