4ccfe380e0
Fix the CLI output of formal verification runs ( #5445 )
4 days ago
fd812ee954
Group typographical errors ( #5443 )
...
Co-authored-by: futreall <86553580+futreall@users.noreply.github.com>
Co-authored-by: Marco <wudmytrotest200@gmail.com>
Co-authored-by: Dmitry <98899785+mdqst@users.noreply.github.com>
Co-authored-by: Dmytrol <46675332+Dimitrolito@users.noreply.github.com>
Co-authored-by: Noisy <125606576+donatik27@users.noreply.github.com>
Co-authored-by: Danil <37103154+Danyylka@users.noreply.github.com>
Co-authored-by: CrazyFrog <anna.shuraeva13@gmail.com>
Co-authored-by: Bryer <0xbryer@gmail.com>
Co-authored-by: Viktor Pavlik <160131789+Vikt0rPavlik@users.noreply.github.com>
Co-authored-by: Skylar Ray <137945430+sky-coderay@users.noreply.github.com>
Co-authored-by: Brawn <nftdropped@gmail.com>
Co-authored-by: fuder.eth <139509124+vtjl10@users.noreply.github.com>
Co-authored-by: FT <140458077+zeevick10@users.noreply.github.com>
Co-authored-by: Ann Wagner <chant_77_swirly@icloud.com>
Co-authored-by: Hopium <135053852+Hopium21@users.noreply.github.com>
Co-authored-by: Arr00 <13561405+arr00@users.noreply.github.com>
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
7 days ago
3da7a869aa
Update dependency p-limit to v6 ( #5104 )
...
Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
Co-authored-by: cairo <cairoeth@protonmail.com>
3 months ago
52e0e3e783
Extend `onlyAuthorized` to support extra functions in AccessManager ( #5014 )
...
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
8 months ago
b27cd83eba
Remove `hardhat-foundry` and check harnesses compilation in CI ( #4832 )
...
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
1 year ago
7bd2b2aaf6
Use ERC-XXX syntax ( #4730 )
...
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
Co-authored-by: ernestognw <ernestognw@gmail.com>
1 year ago
3eb5cfb22a
Nonces FV ( #4528 )
...
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
1 year ago
e78628bfcf
Document AccessManager functions and events in IAccessManager ( #4660 )
...
Co-authored-by: Francisco <fg@frang.io>
Co-authored-by: Ernesto García <ernestognw@gmail.com>
1 year ago
aca4030e4a
Formal verification of AccessManager ( #4611 )
...
Co-authored-by: Ernesto García <ernestognw@gmail.com>
Co-authored-by: Francisco Giordano <fg@frang.io>
1 year ago
60e3ffe6a3
Remove non-standard increaseAllowance and decreaseAllowance from ERC20 ( #4585 )
...
Co-authored-by: Francisco <fg@frang.io>
1 year ago
36bf1e46fa
Migrate FV specs to CVL2 ( #4527 )
...
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
1 year ago
98b83dfbaa
Move security directory contents to utils ( #4551 )
1 year ago
00cbf5a236
Update pragma to 0.8.20 ( #4489 )
...
Co-authored-by: Francisco Giordano <fg@frang.io>
Co-authored-by: ernestognw <ernestognw@gmail.com>
2 years ago
7c02b5cab2
Refactor DoubleEndedQueue ( #4150 )
...
Co-authored-by: Francisco <fg@frang.io>
2 years ago
7bb5592ad5
Bump minimum pragma version to `0.8.19` ( #4288 )
2 years ago
a1d57bac50
Improve FV specifications for AccessControlDefaultAdminRules ( #4223 )
...
Co-authored-by: ernestognw <ernestognw@gmail.com>
Co-authored-by: Francisco <fg@frang.io>
2 years ago
dcba9f995f
Add AccessControlDefaultAdminRules FV ( #4180 )
...
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
Co-authored-by: Francisco <fg@frang.io>
2 years ago
8b2ed0f570
Fix early reporting of FV prover's output ( #4213 )
...
Co-authored-by: Francisco <fg@frang.io>
2 years ago
a7ee03565b
Move certora helpers to a dedicated folder ( #4211 )
2 years ago
0a2a33be30
Add formal verification specs for EnumerableSet & EnumerableMap ( #4167 )
...
Co-authored-by: Francisco <fg@frang.io>
2 years ago
44d6053b43
Only run FV on new or updated specs ( #4195 )
2 years ago
86f6eb2c9c
Add FV specification for ERC721 ( #4104 )
...
Co-authored-by: Ernesto García <ernestognw@gmail.com>
2 years ago
661343f74c
Add DoubleEndedQueue FV ( #4147 )
...
Co-authored-by: Francisco <fg@frang.io>
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
2 years ago
1a60b061d5
Add Pausable FV ( #4117 )
...
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
2 years ago
4f4b6ab403
Update certora/README.md ( #4114 )
...
Co-authored-by: Francisco <fg@frang.io>
2 years ago
75ef7b8b27
Add FV specs for TimelockController ( #4098 )
...
Co-authored-by: Francisco <fg@frang.io>
2 years ago
3214f6c256
Add FV specification for ERC20Wrapper ( #4100 )
...
Co-authored-by: Francisco <fg@frang.io>
2 years ago
5f7f660c6e
Add FV specs for Initializable ( #4095 )
...
Co-authored-by: Francisco <fg@frang.io>
2 years ago
b952a82d29
Throw error when requested specs are not found ( #4101 )
2 years ago
a55013e742
Add effect checks on the accesscontrol specs ( #4099 )
2 years ago
aaad1f4a4f
Add FV specs for Ownable and Ownable2Steps ( #4094 )
...
Co-authored-by: Santiago Palladino <spalladino@gmail.com>
Co-authored-by: Francisco <fg@frang.io>
2 years ago
4fb6833e32
Formal verification using Certora ( #4084 )
...
Co-authored-by: Francisco Giordano <fg@frang.io>
2 years ago
0c89a8b771
Automate release process via Changesets ( #3915 )
...
Co-authored-by: Francisco <fg@frang.io>
2 years ago
88a64a802e
Update guidelines and project documentation ( #3966 )
...
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
2 years ago
24fc709533
Set up codespell ( #3643 )
2 years ago
faf5820f03
Fix many spelling errors ( #3274 )
3 years ago
915ca181ba
Add Certora's Governance verification rules ( #2997 )
...
Co-authored-by: Shelly Grossman <shelly@certora.com>
Co-authored-by: Aleksander Kryukov <58052996+RedLikeRosesss@users.noreply.github.com>
Co-authored-by: Michael M <91594326+MichaelMorami@users.noreply.github.com>
Co-authored-by: Aleksander Kryukov <firealexkryukov@gmail.com>
3 years ago
Dmitry
Ernesto García
renovate[bot]
Renan Souza
Hadrien Croubois
Francisco
Pandapip1
Michael D. George