Hadrien Croubois
|
2ee1da12c4
|
Remove utils/Counters.sol (#4289)
Co-authored-by: Francisco Giordano <fg@frang.io>
|
2 years ago |
Francisco Giordano
|
4c713f8cea
|
Merge branch 'master' into next-v5.0
|
2 years ago |
Ernesto García
|
7bb5592ad5
|
Bump minimum pragma version to `0.8.19` (#4288)
|
2 years ago |
|
Hadrien Croubois
|
15c5c71795
|
Remove TokenTimelock, PaymentSplitter, ERC20Snapshot, ERC20VotesComp, GovernorVotesComp (#4276)
|
2 years ago |
|
Hadrien Croubois
|
4448c13c3c
|
Move the Checkpoints library to utils/structs (#4275)
|
2 years ago |
kfishnchips
|
5420879d9b
|
Ability to set starting token id for ERC721Consecutive (#4097)
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
Co-authored-by: ernestognw <ernestognw@gmail.com>
|
2 years ago |
|
Hadrien Croubois
|
25edd3cd62
|
Use SafeERC20.forceApprove in safeIncreaseAllowance and safeDecreaseAllowance (#4260)
Co-authored-by: Francisco <fg@frang.io>
|
2 years ago |
|
Francisco
|
238d17cab9
|
Merge master in next-v5.0 (#4280)
|
2 years ago |
|
Hadrien Croubois
|
5955d8e85b
|
Merge remote-tracking branch 'upstream/master' into next-v5.0
|
2 years ago |
github-actions[bot]
|
09329f8a18
|
Merge release-v4.9 branch (#4274)
Co-authored-by: github-actions <41898282+github-actions[bot]@users.noreply.github.com>
Co-authored-by: Francisco Giordano <fg@frang.io>
Co-authored-by: github-actions[bot] <github-actions[bot]@users.noreply.github.com>
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
|
2 years ago |
Balaji Shetty Pachai
|
cbc6145f5f
|
Removes zero address check from balanceOf in ERC1155 (#4263)
Co-authored-by: bpachai <bpachai@v2soft.com>
Co-authored-by: Francisco Giordano <fg@frang.io>
|
2 years ago |
|
Hadrien Croubois
|
13d5e0466a
|
Make Ownable's initial owner explicit (#4267)
Co-authored-by: Ernesto García <ernestognw@gmail.com>
|
2 years ago |
|
Francisco
|
7e814a3074
|
Fix release merge script (#4273)
Co-authored-by: Ernesto García <ernestognw@gmail.com>
|
2 years ago |
|
Hadrien Croubois
|
a1d57bac50
|
Improve FV specifications for AccessControlDefaultAdminRules (#4223)
Co-authored-by: ernestognw <ernestognw@gmail.com>
Co-authored-by: Francisco <fg@frang.io>
|
2 years ago |
|
Hadrien Croubois
|
11d65442b3
|
Merge branch 'master' into next-v5.0
|
2 years ago |
|
Hadrien Croubois
|
dfef6a68ee
|
Fix error when running hardhat test with parameters (#4265)
|
2 years ago |
|
Hadrien Croubois
|
0f10efe232
|
Remove code in preparation for v5.0 (#4258)
Co-authored-by: Ernesto García <ernestognw@gmail.com>
Co-authored-by: Francisco <fg@frang.io>
|
2 years ago |
Bhaskar Kashyap
|
96b95592c3
|
Fix grammar in docs (#4250)
|
2 years ago |
|
Francisco Giordano
|
8de6eba8a3
|
Merge branch 'master' into next-v5.0
|
2 years ago |
|
Francisco
|
1642b6639b
|
Reduce frequency of version comment updates (#4244)
|
2 years ago |
|
Hadrien Croubois
|
3ec4307c8a
|
Fix bug allowing anyone to cancel an admin renounce (#4238)
Co-authored-by: Francisco Giordano <fg@frang.io>
|
2 years ago |
|
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)
Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
|
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)
Co-authored-by: Ernesto García <ernestognw@gmail.com>
|
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)
Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
|
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)
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
|
2 years ago |
|
Hadrien Croubois
|
72ed4ca67a
|
Ensure AccessControlDefaultAdminRules's initialDefaultAdmin is non-zero (#4220)
Co-authored-by: Ernesto García <ernestognw@gmail.com>
|
2 years ago |
|
Ernesto García
|
dcba9f995f
|
Add AccessControlDefaultAdminRules FV (#4180)
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
Co-authored-by: Francisco <fg@frang.io>
|
2 years ago |
|
Hadrien Croubois
|
8b2ed0f570
|
Fix early reporting of FV prover's output (#4213)
Co-authored-by: Francisco <fg@frang.io>
|
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)
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
Co-authored-by: Francisco Giordano <fg@frang.io>
|
2 years ago |
|
Hadrien Croubois
|
0a2a33be30
|
Add formal verification specs for EnumerableSet & EnumerableMap (#4167)
Co-authored-by: Francisco <fg@frang.io>
|
2 years ago |
|
Ernesto García
|
ab2604ac5b
|
Add reentrancy test cases for TimelockController (#4200)
Co-authored-by: Francisco <fg@frang.io>
|
2 years ago |
|
Francisco
|
6ff415de6b
|
Downgrade Node for Slither (#4202)
|
2 years ago |
|
Ernesto García
|
d23f818a59
|
Fix AccessControlDefaultAdminRules admin consistency (#4177)
Co-authored-by: Francisco <fg@frang.io>
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
|
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)
Co-authored-by: Francisco <fg@frang.io>
|
2 years ago |
|
Ernesto García
|
1a079d258b
|
Improve Address tests (#4191)
|
2 years ago |
