Emilio López

Results 64 issues of Emilio López

`geth` does no longer support the `--rpc` argument since `v1.10.9` (Sept 29, 2021 - relevant commit https://github.com/ethereum/go-ethereum/commit/9a0df80bbcfd849a9a56ecb0937bf8dbea8a8c79) and it should be replaced with `--http`. https://github.com/crytic/etheno/blob/46e162e5e96738ab73edd4ce91156dbc50e74eef/etheno/geth.py#L92 The current `geth` version is...

bug

The installation steps say `To install the python dependencies, run these commands:`, but the commands need to be run on a git clone of the rattle repository, and not on...

enhancement

It would be great to have basic search/highlight functionality on the conversation window; it can come in really handy when you need to find bits of information on chat logs.

This PR improves and unifies constant parsing through the following: * Using `Fraction` instead of `Decimal`, to eliminate precision loss and rounding on constants * Unified parsing of integers through...

```solidity pragma solidity ^0.8.0; contract C { uint256[1e6] f; function g() public {} } ``` ```text File "/opt/homebrew/Cellar/slither-analyzer/0.8.3/libexec/lib/python3.10/site-packages/slither/slither.py", line 123, in __init__ parser.analyze_contracts() File "/opt/homebrew/Cellar/slither-analyzer/0.8.3/libexec/lib/python3.10/site-packages/slither/solc_parsing/slither_compilation_unit_solc.py", line 499, in analyze_contracts self._compilation_unit.compute_storage_layout()...

This assists in running x86_64 dynamic binaries, such as certain solc 0.8.x releases, in ARM containers. This can be useful when working on machines with certain emulation configuration, such as...

I am currently trying to compute a value that is scattered around using an instance, similar to the following example: ```yaml something: seq: - id: a type: u1 - type:...

enhancement

This enables aarch64 builds for our Docker container image. These can then be used on e.g. M1 Macs to get good performance. It also makes the echidna binary static with...