sudo rm -rf --no-preserve-root /
sudo rm -rf --no-preserve-root /
In the [`IERC721Internal`](https://github.com/crytic/properties/blob/main/contracts/ERC721/util/IERC721Internal.sol) interface you define the following function `usedId`: ```solidity function usedId(uint256 tokenId) external view returns (bool); ``` I'm having a hard time to understand what is the reason...
### Describe the desired feature or improvement I would consider it as a big value-add, if you could add the common property assertions for any [EIP-1155](https://eips.ethereum.org/EIPS/eip-1155)-based contracts.
`halmos` does currently not support the new EVM version `cancun` (example `MCOPY`): ```console ↩ 0x5e 0x (error: HalmosException('Unsupported opcode 0x5e')) ``` In order to formally verify properties given this new...
**Describe the bug** If you currently use in some form contracts that use [free functions](https://soliditylang.org/blog/2020/09/02/solidity-0.7.1-release-announcement/) (a.k.a file-level functions) via imports, `halmos` will issue the following warning: ```sh Skipped FreeFunctionsFile.json due...
I think on the (off-chain) tooling side it would be useful to have the possibility to enable bubbling up the revert reasons for the `create` built-ins such as `create_minimal_proxy_to`, `create_copy_of`,...
### Version of Hardhat `2.22.5` ### What happened? When I pushed the upgrade to Vyper version `0.4.0` here https://github.com/pcaversaccio/zksync-vyper-sandbox/commit/83b79c86f62e14038995dd18cd17f7102ddcf03c, the compilation started to fail with: ```console Solidity 0.8.26 is not...
Related to https://github.com/NomicFoundation/hardhat/issues/5477 and https://github.com/NomicFoundation/hardhat/issues/5479. Once https://github.com/NomicFoundation/hardhat/issues/5479 is implemented it should be possible to verify Vyper contracts with module imports (either from the working directory or `sys.path`) on the ZKsync...
## Simple Summary Add a new kwarg `is_contract` to `raw_call` that performs an `EXTCODESIZE` check for the `to` address. By default, this is `False`. Also, we need to highlight that...
## Abstract I would like to propose removing `uint` as an alias for `uint256` for the upcoming breaking `>=0.9.0` versions. The reason is that global aliases in the area of...
With Vyper [`0.4.0`](https://github.com/vyperlang/vyper/releases/tag/v0.4.0), stateless and stateful modules have been shipped. This will power the future of Vyper contracts, thus I would love to see Slither supporting the latest Vyper version....