Hadrien Croubois
|
37991642dc
|
nightly
|
2 years ago |
Hadrien Croubois
|
1038b7f2c7
|
wip GovernorPreventLateQuorum
|
2 years ago |
Hadrien Croubois
|
7dc201fce9
|
fix some specs
|
2 years ago |
Hadrien Croubois
|
bf73fb4013
|
fix GovernorPreventLateQuorum.spec
|
2 years ago |
Hadrien Croubois
|
6c4ffe783f
|
cleanup accesscontrol specs
|
2 years ago |
Hadrien Croubois
|
f21f86c3c1
|
fixing certora/specs/GovernorCountingSimple.spec
|
2 years ago |
Hadrien Croubois
|
2e7bca424a
|
cleanup GovernorBase.spec
|
2 years ago |
Hadrien Croubois
|
d4e9d8d54d
|
fix error in one of the governor rules
|
2 years ago |
Hadrien Croubois
|
baf71582b9
|
improve helperFunctionsWithRevert
|
2 years ago |
Hadrien Croubois
|
ecebc5688d
|
add --optimistic_hashing to governor scripts
|
2 years ago |
Hadrien Croubois
|
3c58e4e3d3
|
isOperationReady NOT envfree
|
2 years ago |
Hadrien Croubois
|
4242fdace4
|
isOperationReady envfree
|
2 years ago |
Hadrien Croubois
|
14b40eddcb
|
add --optimistic_hashing
|
2 years ago |
Hadrien Croubois
|
c8c8ca39d7
|
cleanup
|
2 years ago |
Hadrien Croubois
|
150edce57b
|
fix timelockcontroller
|
2 years ago |
Hadrien Croubois
|
9f2d511d20
|
fix2
|
2 years ago |
Hadrien Croubois
|
b50d9980be
|
fix
|
2 years ago |
Hadrien Croubois
|
423a808748
|
fix harness
|
2 years ago |
Hadrien Croubois
|
5c859049e6
|
latest compiler
|
2 years ago |
Hadrien Croubois
|
cad49af31e
|
minimize diff
|
2 years ago |
Hadrien Croubois
|
e0fa84a6b7
|
Merge branch 'master' into formal-verification
|
2 years ago |
Ernesto García
|
dad73159df
|
Add AccessControlDefaultAdminRules (#4009)
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
Co-authored-by: Francisco <fg@frang.io>
|
2 years ago |
Clayton Rabenda
|
2c69f9f9f5
|
Fix comment on ERC777._beforeTokenTransfer (#3982)
|
2 years ago |
Vittorio Minacori
|
3f3774c5df
|
Improve ERC1363 documentation (#3993)
Co-authored-by: Francisco <fg@frang.io>
|
2 years ago |
Hadrien Croubois
|
8b47e96af1
|
Add SafeERC20.forceApprove() (#4067)
|
2 years ago |
renovate[bot]
|
0fbd039554
|
Update lockfile (#4018)
Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
|
2 years ago |
Hadrien Croubois
|
2c6ef8c875
|
Fix ERC1363 interfaceId (#4074)
|
2 years ago |
Pascal Marco Caversaccio
|
eb38c059d8
|
Add comment on unchecked arithmetic (division by zero) in `Math.sol` (#4050)
Co-authored-by: Francisco <fg@frang.io>
|
2 years ago |
Hadrien Croubois
|
8a43ebac28
|
Document "duplicate" proposal storing in GovernorCompatibilityBravo (#4073)
Co-authored-by: Francisco <fg@frang.io>
|
2 years ago |
Harshit sharma
|
b4d765b130
|
Allow return data length >= 32 in SignatureChecker (#4038)
Co-authored-by: Francisco Giordano <fg@frang.io>
|
2 years ago |
Hadrien Croubois
|
d5581531de
|
Add a "fees" section to the ERC4626 guide (#4054)
Co-authored-by: Francisco Giordano <fg@frang.io>
|
2 years ago |
Hadrien Croubois
|
62dbb1b06a
|
Document clock modes for token and governor (#4058)
Co-authored-by: Francisco <fg@frang.io>
|
2 years ago |
Hadrien Croubois
|
6e88df28cb
|
Mark ERC777 and ERC1820 as deprecated (#4066)
|
2 years ago |
Hadrien Croubois
|
a6b8366980
|
Improve ERC4626 event coverage (#4072)
|
2 years ago |
Francisco
|
9d06a1b64b
|
Remove unused Solhint overrides (#4069)
|
2 years ago |
Hadrien Croubois
|
7b3e7b7055
|
Re-enable ERC4626 property test on empty vaults (#4068)
|
2 years ago |
Yamen Merhi
|
53235263a3
|
Implement `0x00` version of EIP-191 in ECDSA Library (#4063)
|
2 years ago |
Francisco
|
adb861fb3b
|
Change Governor.cancel to receive all parameters (#4056)
|
2 years ago |
Pascal Marco Caversaccio
|
227473e88c
|
Fix comment in `ERC4626` on decimals default (#4060)
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
|
2 years ago |
renovate[bot]
|
df814dd374
|
Update crytic/slither-action action to v0.3.0 (#4064)
Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
|
2 years ago |
Yamen Merhi
|
1e245aa54b
|
Add `isValidERC1271SignatureNow` to SignatureChecker library (#3932)
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
Co-authored-by: Francisco <fg@frang.io>
|
2 years ago |
Hadrien Croubois
|
815bfbf383
|
Deprecate the timers library (#4062)
Co-authored-by: Francisco <fg@frang.io>
|
2 years ago |
Francisco Giordano
|
7ac4349710
|
Delete no longer needed .gitattributes file
|
2 years ago |
Hadrien Croubois
|
08d085f2c9
|
Fix ERC4906 compliance of ERC721URIStorage (#4055)
Co-authored-by: Francisco <fg@frang.io>
|
2 years ago |
Hadrien Croubois
|
96a2297e15
|
Add IERC4906 interface and use in ERC721 (#4012)
Co-authored-by: Francisco Giordano <fg@frang.io>
|
2 years ago |
Hadrien Croubois
|
d64d7aa5d1
|
ERC4626 inflation attack mitigation (#3979)
Co-authored-by: Francisco <fg@frang.io>
|
2 years ago |
Hadrien Croubois
|
d5d9d4bd3d
|
Simplify ERC721Wrapper.depositFor to save gas (#4048)
|
2 years ago |
Francisco Giordano
|
5e76b26225
|
Add Subgraphs to docs sidebar
|
2 years ago |
Francisco
|
4ff538af58
|
Fix flaky timestamp tests (#4046)
|
2 years ago |
Ernesto García
|
4e8aa43a90
|
Add publishing integrity check after releasing (#4045)
Co-authored-by: Francisco <fg@frang.io>
|
2 years ago |