Francisco
|
6ff415de6b
|
Downgrade Node for Slither (#4202)
|
2 years ago |
Ernesto García
|
d23f818a59
|
Fix AccessControlDefaultAdminRules admin consistency (#4177)
Co-authored-by: Francisco <fg@frang.io>
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
|
2 years ago |
Hadrien Croubois
|
44d6053b43
|
Only run FV on new or updated specs (#4195)
|
2 years ago |
|
Hadrien Croubois
|
8339187625
|
fix
|
2 years ago |
Pascal Marco Caversaccio
|
f959d7e4e6
|
Fix release note in `IERC1967` (#4183)
|
2 years ago |
|
Ernesto García
|
8f14d52b73
|
Fix Checkpoints fuzz overflow (#4184)
Co-authored-by: Francisco <fg@frang.io>
|
2 years ago |
|
Hadrien Croubois
|
5af9167030
|
address PR comments
|
2 years ago |
|
Ernesto García
|
1a079d258b
|
Improve Address tests (#4191)
|
2 years ago |
|
Hadrien Croubois
|
e072521fcb
|
fix harness
|
2 years ago |
|
Hadrien Croubois
|
5e71c01bcc
|
rename valid → sanity
|
2 years ago |
|
Hadrien Croubois
|
42580f2891
|
Merge branch 'master' into fv/Governor
|
2 years ago |
|
Francisco
|
6aac66d065
|
Merge release-v4.8 (#4188)
Signed-off-by: Hadrien Croubois <hadrien.croubois@gmail.com>
Co-authored-by: Benjamin <benjaminxh+github@gmail.com>
Co-authored-by: Owen <omurovec@yahoo.com>
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
Co-authored-by: JulissaDantes <julissadcj@gmail.com>
Co-authored-by: Ernesto García <ernestognw@gmail.com>
Co-authored-by: Yamen Merhi <yamennmerhi@gmail.com>
Co-authored-by: Pascal Marco Caversaccio <pcaversaccio@users.noreply.github.com>
Co-authored-by: alpharush <0xalpharush@protonmail.com>
Co-authored-by: Paul Razvan Berg <paul.razvan.berg@gmail.com>
|
2 years ago |
|
Francisco
|
91df66c4a9
|
Implement suggestions from audit of 4.9 (#4176)
Co-authored-by: Ernesto García <ernestognw@gmail.com>
|
2 years ago |
|
Hadrien Croubois
|
8d633cb7d1
|
Merge pull request from GHSA-93hq-5wgc-jc82
Co-authored-by: Francisco <fg@frang.io>
|
2 years ago |
|
Francisco
|
3b117992e1
|
Improve docs for transparent proxy (#4181)
Co-authored-by: Ernesto García <ernestognw@gmail.com>
|
2 years ago |
|
Pascal Marco Caversaccio
|
dd1265cb1d
|
Improve `ERC4626` test coverage (#4134)
Signed-off-by: Pascal Marco Caversaccio <pascal.caversaccio@hotmail.ch>
|
2 years ago |
|
Francisco
|
788d6a129a
|
Add fuzz tests for ShortString (#4175)
|
2 years ago |
|
Hadrien Croubois
|
86f6eb2c9c
|
Add FV specification for ERC721 (#4104)
Co-authored-by: Ernesto García <ernestognw@gmail.com>
|
2 years ago |
|
Ernesto García
|
661343f74c
|
Add DoubleEndedQueue FV (#4147)
Co-authored-by: Francisco <fg@frang.io>
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
|
2 years ago |
|
Francisco Giordano
|
473d0b6884
|
Add Codecov token
|
2 years ago |
|
Hadrien Croubois
|
f2346b6749
|
Add fuzz tests for the Checkpoints library (#4146)
Co-authored-by: Francisco <fg@frang.io>
|
2 years ago |
|
Francisco
|
cf86fd9962
|
Merge changesets for transparency improvements (#4165)
|
2 years ago |
Renan Souza
|
31723ed608
|
Reenable skipped TransparentUpgradeableProxy test (#4161)
Co-authored-by: Francisco <fg@frang.io>
|
2 years ago |
|
Hadrien Croubois
|
5523c1482b
|
Fix TransparentUpgradeableProxy's transparency (#4154)
Co-authored-by: Francisco <fg@frang.io>
Co-authored-by: Ernesto García <ernestognw@gmail.com>
|
2 years ago |
|
Francisco
|
ead3bcaccb
|
Fix spurious CI check failures (#4160)
|
2 years ago |
Antonio Viggiano
|
7e7060e00e
|
Update IERC3156FlashBorrower.sol (#4145)
|
2 years ago |
|
Ernesto García
|
ca822213f2
|
Make AccessControlDefaultAdminRules delay configurable (#4079)
Co-authored-by: Francisco <fg@frang.io>
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
|
2 years ago |
mmqxyz
|
3f610ebc25
|
Fix typo in README (#4129)
|
2 years ago |
|
Hadrien Croubois
|
8d029476af
|
test function with both clocks
|
2 years ago |
|
Hadrien Croubois
|
7c62ed2e8a
|
disable problematic rules
|
2 years ago |
|
Hadrien Croubois
|
ecec8a7353
|
codespell
|
2 years ago |
|
Hadrien Croubois
|
67a00ccaea
|
disable specs we can't fix :/
|
2 years ago |
|
Hadrien Croubois
|
a64bb8801c
|
update
|
2 years ago |
|
Hadrien Croubois
|
1744132d37
|
Merge branch 'master' into fv/Governor
|
2 years ago |
|
Hadrien Croubois
|
5770dfbe36
|
wip
|
2 years ago |
|
Hadrien Croubois
|
ddaf4bccf2
|
up
|
2 years ago |
|
Ernesto García
|
1a60b061d5
|
Add Pausable FV (#4117)
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
|
2 years ago |
|
Hadrien Croubois
|
5ef4d207a6
|
more fixes ?
|
2 years ago |
|
Hadrien Croubois
|
3f79e2610c
|
update
|
2 years ago |
|
Hadrien Croubois
|
607268bd97
|
timeout
|
2 years ago |
|
Hadrien Croubois
|
dbb4a29dc9
|
split function rules
|
2 years ago |
|
Hadrien Croubois
|
a355bf0de2
|
fix
|
2 years ago |
|
Hadrien Croubois
|
06baea7fa8
|
up
|
2 years ago |
|
Hadrien Croubois
|
7512b8e171
|
missing diff
|
2 years ago |
|
Hadrien Croubois
|
dd6a9ee240
|
fix attempt
|
2 years ago |
|
Hadrien Croubois
|
74f613f5cc
|
fix specs
|
2 years ago |
|
Hadrien Croubois
|
d0b259546f
|
fix options
|
2 years ago |
|
Hadrien Croubois
|
82bbdb2c64
|
codespell
|
2 years ago |
|
Hadrien Croubois
|
89ceb34f0d
|
don't run GovernorFunctions in CI
|
2 years ago |
|
Hadrien Croubois
|
96553597fa
|
disable GovernorFunctions
|
2 years ago |
