 Hadrien Croubois
|
37991642dc
nightly
|
2 lat temu |
|
Hadrien Croubois
|
1038b7f2c7
wip GovernorPreventLateQuorum
|
2 lat temu |
|
Hadrien Croubois
|
7dc201fce9
fix some specs
|
2 lat temu |
|
Hadrien Croubois
|
bf73fb4013
fix GovernorPreventLateQuorum.spec
|
2 lat temu |
|
Hadrien Croubois
|
6c4ffe783f
cleanup accesscontrol specs
|
2 lat temu |
|
Hadrien Croubois
|
f21f86c3c1
fixing certora/specs/GovernorCountingSimple.spec
|
2 lat temu |
|
Hadrien Croubois
|
2e7bca424a
cleanup GovernorBase.spec
|
2 lat temu |
|
Hadrien Croubois
|
d4e9d8d54d
fix error in one of the governor rules
|
2 lat temu |
|
Hadrien Croubois
|
baf71582b9
improve helperFunctionsWithRevert
|
2 lat temu |
|
Hadrien Croubois
|
ecebc5688d
add --optimistic_hashing to governor scripts
|
2 lat temu |
|
Hadrien Croubois
|
3c58e4e3d3
isOperationReady NOT envfree
|
2 lat temu |
|
Hadrien Croubois
|
4242fdace4
isOperationReady envfree
|
2 lat temu |
|
Hadrien Croubois
|
14b40eddcb
add --optimistic_hashing
|
2 lat temu |
|
Hadrien Croubois
|
c8c8ca39d7
cleanup
|
2 lat temu |
|
Hadrien Croubois
|
150edce57b
fix timelockcontroller
|
2 lat temu |
|
Hadrien Croubois
|
9f2d511d20
fix2
|
2 lat temu |
|
Hadrien Croubois
|
b50d9980be
fix
|
2 lat temu |
|
Hadrien Croubois
|
423a808748
fix harness
|
2 lat temu |
|
Hadrien Croubois
|
5c859049e6
latest compiler
|
2 lat temu |
|
Hadrien Croubois
|
cad49af31e
minimize diff
|
2 lat temu |
|
Hadrien Croubois
|
e0fa84a6b7
Merge branch 'master' into formal-verification
|
2 lat temu |
 Ernesto García
|
dad73159df
Add AccessControlDefaultAdminRules (#4009)
|
2 lat temu |
 Clayton Rabenda
|
2c69f9f9f5
Fix comment on ERC777._beforeTokenTransfer (#3982)
|
2 lat temu |
 Vittorio Minacori
|
3f3774c5df
Improve ERC1363 documentation (#3993)
|
2 lat temu |
|
Hadrien Croubois
|
8b47e96af1
Add SafeERC20.forceApprove() (#4067)
|
2 lat temu |
 renovate[bot]
|
0fbd039554
Update lockfile (#4018)
|
2 lat temu |
|
Hadrien Croubois
|
2c6ef8c875
Fix ERC1363 interfaceId (#4074)
|
2 lat temu |
 Pascal Marco Caversaccio
|
eb38c059d8
Add comment on unchecked arithmetic (division by zero) in `Math.sol` (#4050)
|
2 lat temu |
|
Hadrien Croubois
|
8a43ebac28
Document "duplicate" proposal storing in GovernorCompatibilityBravo (#4073)
|
2 lat temu |
 Harshit sharma
|
b4d765b130
Allow return data length >= 32 in SignatureChecker (#4038)
|
2 lat temu |