leo

leo copied to clipboard

[Bug] sum of field variables produces no constraints

7

## 🐛 Bug Report When I build a simple Leo program to add two fields, the resulting R1CS has zero constraints. I would expect at least one constraint. ### To...

bendyarm

[Bug] "parser" errors on parser test files

3

## 🐛 Bug Report Leo parser test files should be parseable using the "parser" example executable, but they get parse errors. ## Steps to Reproduce On the `feature/staging-testnet2` branch of...

bendyarm

[Bug] Can't return from a if condition

1

## 🐛 Bug Report Can't return from inside an if condition ## Steps to Reproduce #### Code snippet to reproduce ``` function bubble_sort(arr: [u32; 10]) -> [u32; 10] { //...

aditya-manit

[Proposal] Specify the endianness of a bits/bytes array

4

## 💥 Proposal **This proposal depends on the implementation of #682** ### Feature Following the implementation of `.bits()` and `.bytes()` syntax. We should provide additional syntax or helper methods to...

collinc97

## 🐛 Bug Report running a program with incorrect/missing input values outputs a badly formatted error #### Code snippet to reproduce ``` function main ( a: u8, b: u8, c:...

0rphon

## 🐛 Bug Report I think it has some relation to #441. Main problem here is that we can't implement fail-safe logic in Leo programs. ## Steps to Reproduce Run...

damirka

## 🚀 Feature The issue #1532 adds a new perspective to the way we see things in compiler, and it seems logical to have a command that will do just...

damirka

[Bug] Unable to slice open ranges on unsized arrays

1

## 🐛 Bug Report While working on #1528 I have discovered additional bug/behavior which should be addressed. ### The code ``` function main() { let x: [u8; _] = [0,...

damirka

[ErrorMsg] input file errors still use old error format

1

## 🐛 Error Message errors thrown when parsing the input file seem to still use the old error format #### Code snippet to reproduce ``` [main] x = true; ```...

0rphon

## 🚀 Feature Create an index of all Leo errors that includes the error number, type, message, and recommended fix. ## Motivation There is currently no way to browse, add,...

collinc97