Josselin Feist

- We can remove `not-so-smart-contracts/solidity/LICENSE` - I think some of these issues need to be refreshed. For example - The integer overflow does not contain any mention of solidity 0.8...

@smonicas can you take a look at it?

This is great, thanks @rappie. @ggrieco-tob : can you take a look at this?

Mhh I see. I think the issue is that `pip install solc-select` is still installing 0.2.1, because 1.0 is still beta. 0.2.1 is from 2021, we should probably just do...

Yes this can happen. For example, the crypto kitties game had a contract `geneScience`, for which we only knew a part of the ABI (we knew only the functions used...

> With the configuration we very frequently use, this won't give a very large improvement because solve_one discard any concrete values, and most of these values are concrete (therefore the...

Hi @SunBeomSo, thank you for reporting this issue. Can you confirm that `solc-0.4.25` is a binary in the PATH? What happens if you run ``` solc-0.4.25 /tmp/test.sol ```

Thanks for the details @SunBeomSo. Most likely it's an issue with [`crytic-compile`](https://github.com/crytic/crytic-compile), the library that handles solc compilation. I can't reproduce the issue locally, could you share how the container...

What would be the difference with `--evm.oog ignore`?

The slither printer gives: ``` "constants_used_in_binary": { "C": { "echidna_test()": { "-": [ [ { "value": "2", "type": "uint256" } ], [ { "value": "0", "type": "uint256" } ] ]...