Eric McCarthy
Eric McCarthy
In :doc data-structures, it says ``` Also see std. The books/data-structures library is much older, much smaller, and less maintained than the std library. ``` It would be good if...
Not `std::deflist` or `fty::deflist`, but `acl2::deflist`. This: ``` (in-package "ACL2") (defun is3p (x) (equal x 3)) (include-book "data-structures/deflist" :dir :system) (deflist is3-list-p (l) "recognizes lists of 3s" is3p) ``` works,...
Leo implementations in 32 bits of all 8 of the illustrated number of trailing zeros (ntz) algorithms from Hacker's Delight 2nd ed., section 5-4.
## 🐛 Bug Report In `tests/compiler/scalar/div.leo` there is a division with two scalar operands, with `expectation: Pass`, but the AVM does not support division of scalars. This test should be...
## 🐛 Bug Report In the files `leo/tests/**/*.in` I see instances of `[constants]`, which is inconsistent with the abnf grammar, which allows either `[const]` or `[constant]`. We should change one...
## 🐛 Bug Report When I try the same small program as in https://github.com/AleoHQ/leo/issues/1422 in the staging branch (commit 660fbcef8) the output value is incorrectly printed in the `.out` file:...
## 🐛 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...
## 🐛 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...
Change instances of `mut self` to `&self`.