leo
leo copied to clipboard
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Check that deploying/executing a program on-chain will fail if the local dependencies don't match the live network ones.
Bumps [zip](https://github.com/zip-rs/zip2) from 1.3.0 to 1.3.1. Release notes Sourced from zip's releases. v1.3.1 🚜 Refactor Make deflate enable both default implementations Merge the hidden deflate-flate2 flag into the public one...
This PR updates the type checker to return an informative error if a struct is declared without any members. Closes https://github.com/AleoNet/snarkVM/issues/2058.
## 🐛 Bug Report With the following import scheme: `child -> inter -> parent` When `child` defines a record, an error will be thrown if `inter` defines a transitions that...
## 📚 Documentation https://github.com/AleoHQ/leo/issues/10519. Hi, I've been asking for a long time to remove the "bot" tag that you promised. Please remove the promised label.
## 🐛 Bug Report (Write your description here) ## Steps to Reproduce #### Code snippet to reproduce ``` # Add code here ``` #### Stack trace & error message ```...
## 🐛 Bug Report leo execute --program alex_b_leo_new.aleo --broadcast main 1u32 2u32 ``` Failed to parse string. Found invalid character in: ".aleo" thread `main` panicked at errors/src/errors/mod.rs:131:26: not implemented stack...
## 📚 Documentation There is a bug in the badge request processing script: it truncates the part of the name after the hyphen, so some users were not actually added...
## 📚 Documentation There is a bug in the badge request processing script: it truncates the part of the name after the hyphen, so some users were not actually added...