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

## TLDR `leo query` is a CLI tool that enables users to access all available on-chain state, and easily retrieve relevant context to the programs they are developing. ## Features:...

Current usages are for `leo execute --broadcast` and `leo deploy`. These can easily be replaced with our own implementations using simple post requests. This will speed up compile times for...

feature

## 🚀 Feature It would be great if we would also print the number of internally generated variables: ` • 'helloworld.aleo/main' - 33 constraints and X internal variables (called 1...

feature

## 🐛 Bug Report When attempting to compile two Leo programs, I encountered an issue. Here are the details: 1. The `parent.leo` program defines a `TestStruct` structure and includes one...

bug

Bumps [itertools](https://github.com/rust-itertools/itertools) from 0.12.1 to 0.13.0. Changelog Sourced from itertools's changelog. 0.13.0 Breaking Removed implementation of DoubleEndedIterator for ConsTuples (#853) Made MultiProduct fused and fixed on an empty iterator (#835,...

dependencies

Bumps [serde_yaml](https://github.com/dtolnay/serde-yaml) from 0.8.26 to 0.9.34+deprecated. Release notes Sourced from serde_yaml's releases. 0.9.34 As of this release, I am not planning to publish further versions of serde_yaml as none of...

dependencies

This PR fixes flattening in `finalize` blocks.

This PR removes the dependency on `snarkos-cli` and supports deployments/executions directly.

This branch contains the Testnet Beta version of Leo.