Commit Graph

3459 Commits (formal-verification)
 

Author SHA1 Message Date
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) 2 years ago
Clayton Rabenda 2c69f9f9f5
Fix comment on ERC777._beforeTokenTransfer (#3982) 2 years ago
Vittorio Minacori 3f3774c5df
Improve ERC1363 documentation (#3993) 2 years ago
Hadrien Croubois 8b47e96af1
Add SafeERC20.forceApprove() (#4067) 2 years ago
renovate[bot] 0fbd039554
Update lockfile (#4018) 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) 2 years ago
Hadrien Croubois 8a43ebac28
Document "duplicate" proposal storing in GovernorCompatibilityBravo (#4073) 2 years ago
Harshit sharma b4d765b130
Allow return data length >= 32 in SignatureChecker (#4038) 2 years ago
Hadrien Croubois d5581531de
Add a "fees" section to the ERC4626 guide (#4054) 2 years ago
Hadrien Croubois 62dbb1b06a
Document clock modes for token and governor (#4058) 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) 2 years ago
renovate[bot] df814dd374
Update crytic/slither-action action to v0.3.0 (#4064) 2 years ago
Yamen Merhi 1e245aa54b
Add `isValidERC1271SignatureNow` to SignatureChecker library (#3932) 2 years ago
Hadrien Croubois 815bfbf383
Deprecate the timers library (#4062) 2 years ago
Francisco Giordano 7ac4349710 Delete no longer needed .gitattributes file 2 years ago
Hadrien Croubois 08d085f2c9
Fix ERC4906 compliance of ERC721URIStorage (#4055) 2 years ago
Hadrien Croubois 96a2297e15
Add IERC4906 interface and use in ERC721 (#4012) 2 years ago
Hadrien Croubois d64d7aa5d1
ERC4626 inflation attack mitigation (#3979) 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) 2 years ago