sebw42

wrong array value after assignment in loop

1

Hello, I've noticed weird behaviour when using loops in combination with array accesses. Here is an example program: ```cpp void fun(){ int a[] = {0}; int b[] = {0, 6};...

Hi, I've noticed that constructing secret negative integers does not work as expected when the bit length is below 32. Here is an example: ```cpp void fun(){ Integer y =...

Inconsistent results with small unrolling budgets

3

**Describe the bug** Hi, I've noticed an issue with setting loop unrolling budgets. When setting the budget to a low number of iterations, e.g. `-b 10`, the following program behaves...