Commit Graph

18 Commits (formal-verification)

Author SHA1 Message Date
Francisco Giordano 3b591a48ac Add storageLayout to outputSelection 2 years ago
Francisco a28aafdc85
Use Prettier for JS files (#3913) 2 years ago
Hadrien Croubois c1d9da4052
Use hardhat-exposed to reduce the need for mocks (#3666) 2 years ago
Francisco 50501a751e Update docs pipeline to solidity-docgen@0.6 (#3707) 2 years ago
Francisco c52625018b
Update docs pipeline to solidity-docgen@0.6 (#3707) 2 years ago
Francisco 089f9b95af Ignore specific warnings and make the rest into errors (#3695) 2 years ago
Francisco 046121e080
Ignore specific warnings and make the rest into errors (#3695) 2 years ago
Hadrien Croubois cfc9f840a0
Generate comparative gas repports on PR (#3532) 3 years ago
Hadrien Croubois 5a0bff465d
Enable the YUL IR pipeline when building with optimisations (#3279) 3 years ago
Hadrien Croubois fe38eae6cd
Re-enable immutable forwarder in ERC2771Context (#2917) 3 years ago
Hadrien Croubois fb36326a58
Support london with coverage using initialBaseFee = 0 (#2838) 3 years ago
renovate[bot] 73425c22d8
Update lockfile (#2787) 4 years ago
Hadrien Croubois 48375aa908
Read optional compiler version from args/envvars (#2810) 4 years ago
Hadrien Croubois 6c1a634053
Add Governor contracts (#2672) 4 years ago
Hadrien Croubois b0cf6fbb7a
Add Prettier for linting and fix Solhint config (#2697) 4 years ago
Hadrien Croubois 585db1f667
Improve Hardhat config (#2612) 4 years ago
Hadrien Croubois cb88e15b33 Enable optimizations when publishing package (#2557) 4 years ago
Hadrien Croubois 618a735816
Enable optimizations when publishing package (#2557) 4 years ago
Hadrien Croubois 1ba03b164a
Add support for eth-gas-reporter (#2501) 4 years ago
Francisco Giordano fdf57a9788 Lint 4 years ago
Hadrien Croubois a0323d446c Transition from buidler to hardhat 4 years ago