 Francisco
|
f355bd3a2a
Prevent attempt to publish to npm (#4239)
|
2 years ago |
|
Francisco
|
3e1b25a5cf
Clean up pending admin schedule on renounce in DefaultAdminRules (#4230)
|
2 years ago |
|
Francisco
|
f7b236dca8
Configure Codespell to check hidden files (#4236)
|
2 years ago |
 Ernesto García
|
e5dbc7435e
Add final PDF report for v4.9 audit (#4235)
|
2 years ago |
 renovate[bot]
|
9a2e4cb3a7
Update codespell-project/actions-codespell action to v2 (#4229)
|
2 years ago |
|
Francisco Giordano
|
d095542fa4
Disable code size warnings on exposed contracts
|
2 years ago |
|
Francisco Giordano
|
dff520afae
Specify changeset PRs manually
|
2 years ago |
|
Francisco Giordano
|
df3f1fc4db
Specify changeset commit manually
|
2 years ago |
|
Francisco
|
0ee84342b7
Add PDF report for v4.9 audit (#4227)
|
2 years ago |
|
Francisco
|
51294b7480
Make transpilation setup local to this repo (#4041)
|
2 years ago |
|
Ernesto García
|
34d926dd7e
Implement extra suggestions from audit review of 4.9 (#4224)
|
2 years ago |
|
renovate[bot]
|
832c352c7d
Update lockfile (#4203)
|
2 years ago |
|
Ernesto García
|
908f78d07b
Enable more Slither detectors (#4219)
|
2 years ago |
 ToonVanHove
|
692d8c85a4
Fix lookup documentation in ERC20Votes and Checkpoints (#4218)
|
2 years ago |
 Hadrien Croubois
|
72ed4ca67a
Ensure AccessControlDefaultAdminRules's initialDefaultAdmin is non-zero (#4220)
|
2 years ago |
|
Ernesto García
|
dcba9f995f
Add AccessControlDefaultAdminRules FV (#4180)
|
2 years ago |
|
Hadrien Croubois
|
8b2ed0f570
Fix early reporting of FV prover's output (#4213)
|
2 years ago |
|
Francisco
|
9e8b74a0e2
Add more test cases for EIP712 (#4212)
|
2 years ago |
|
Hadrien Croubois
|
a7ee03565b
Move certora helpers to a dedicated folder (#4211)
|
2 years ago |
|
Hadrien Croubois
|
10022da83d
Disable automatic formal verification workflow on push (#4208)
|
2 years ago |
|
Ernesto García
|
538655c3c0
Add reentrancy test cases for ERC4626 (#4197)
|
2 years ago |
|
Hadrien Croubois
|
0a2a33be30
Add formal verification specs for EnumerableSet & EnumerableMap (#4167)
|
2 years ago |
|
Ernesto García
|
ab2604ac5b
Add reentrancy test cases for TimelockController (#4200)
|
2 years ago |
|
Francisco
|
6ff415de6b
Downgrade Node for Slither (#4202)
|
2 years ago |
|
Ernesto García
|
d23f818a59
Fix AccessControlDefaultAdminRules admin consistency (#4177)
|
2 years ago |
|
Hadrien Croubois
|
44d6053b43
Only run FV on new or updated specs (#4195)
|
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)
|
2 years ago |
|
Ernesto García
|
1a079d258b
Improve Address tests (#4191)
|
2 years ago |
|
Francisco
|
6aac66d065
Merge release-v4.8 (#4188)
|
2 years ago |