leo

leo copied to clipboard

[Bug] using input in exponent calculations causes OOM

13

## 🐛 Bug Report same bug as #418 and #450 except now it only happens when using input as the variable. like before, its more severe with higher bit numbers...

0rphon

[Bug] setup-phase post-key-save signed int input division OOM

7

## 🐛 Bug Report related to #608. multiple i128 division operations using input causes an OOM during the setup stage. while isolating this bug from leo-fuzzer programs i found several...

0rphon

[Bug] overflow when subtracting int::MIN as mutable var

4

## 🐛 Bug Report subtracting int::MIN from a signed int fails if the int is mutable. this is probably related to the old bug #429 which was closed as "correct...

0rphon

[Bug] partially implicit ternary in index leads to `Unsatisfiable`

9

## 🐛 Bug Report this only throws an error when using a mutable/input variable, if you use a const variable then it runs fine #### Code snippet to reproduce ```...

0rphon

[Bug] calling mutable method after directly indexing value causes mutability error

1

## 🐛 Bug Report #### Code snippet to reproduce ``` circuit Circ { function func (&self) -> u8 { return 1; } } function main () { let x =...

0rphon

[Bug] using const input during slice causes `unexpected type`

11

## 🐛 Bug Report #### Input ``` [constants] x: u32 = 2; ``` #### Code ``` function main (const x: u32) { let y = [0u8; 4]; y[0..x] = [1;...

0rphon

## 🐛 Bug Report related to #1146 and closed bug #1082 using const input in a ternary in a slice that gets indexed on the left hand side of a...

0rphon

## 🐛 Bug Report directly related to the closed bug #1161. attempting to mutate an address in a non-const branch causes `AssignmentMissing` #### Code snippet to reproduce ``` function main...

0rphon

## 🐛 Bug Report an error should be thrown for the following but instead it compiles and runs successfully #### Code snippet to reproduce ``` function main () { let...

0rphon

## 🐛 Bug Report #### Code snippet to reproduce ``` function main () { let x = [1u8, 2u8, 3u8, 4u8, 5u8]; let y: [u8; _] = x[0..2]; } ```...

0rphon