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