Commit History

Author SHA1 Message Date
  Hadrien Croubois 01cae33130 Clarify hardhat and foundry configs and enable optimization by default (#5099) 1 year ago
  Hadrien Croubois d6ad9db0a0 Add transient storage slot support in StorageSlot.sol (#4980) 1 year ago
  Ernesto García 72c642e13e Lower fuzz runs to 5000 (#4835) 1 year ago
  Francisco abba0d047a Update remappings.txt for upgradeable contracts and set up submodule (#4639) 2 years ago
  Francisco ead3bcaccb Fix spurious CI check failures (#4160) 2 years ago
  Daejun Park c7315e8779 Add ERC4626 standard property tests (#3792) 2 years ago
  Francisco c08c6e1b84 Add fuzz testing of mulDiv (#3717) 3 years ago