Emilio López

### Describe the issue: With the example code, the Echidna printer fails. Removing the "-1" fixes it but the type inference also seems off (it says the constant is an...

Sometimes installed binaries are a symlink to some other path (e.g., in Homebrew packages) and we should not warn users if that is the case. Follow symlinks to find the...

The current operator precedence values were incorrect for some operations, leading to an incorrect parsing of code. This aligns them with the documented order on Solidity's website: https://docs.soliditylang.org/en/v0.8.27/cheatsheet.html#order-of-precedence-of-operators It also...

The image name is incorrect, as we are hosting it on GHCR, not Docker Hub

Fixes: #1347