Commit 26d9d56
committed
🔁 Update Dependencies
Signed-off-by: Pascal Marco Caversaccio <pascal.caversaccio@hotmail.ch>1 parent c72dd8d commit 26d9d56
4 files changed
Lines changed: 173 additions & 185 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
32 | 32 | | |
33 | 33 | | |
34 | 34 | | |
35 | | - | |
| 35 | + | |
36 | 36 | | |
37 | 37 | | |
38 | 38 | | |
39 | 39 | | |
40 | 40 | | |
41 | 41 | | |
42 | 42 | | |
43 | | - | |
44 | | - | |
| 43 | + | |
| 44 | + | |
45 | 45 | | |
46 | 46 | | |
47 | 47 | | |
48 | | - | |
| 48 | + | |
49 | 49 | | |
50 | 50 | | |
51 | | - | |
52 | | - | |
| 51 | + | |
| 52 | + | |
53 | 53 | | |
54 | 54 | | |
55 | 55 | | |
| |||
Submodule openzeppelin-contracts updated 66 files
- .changeset/funny-donuts-follow.md+5
- .changeset/quick-pianos-press.md+5
- .gitattributes+3
- .github/workflows/formal-verification.yml+3-3
- certora/diff/access_manager_AccessManager.sol.patch+24-24
- certora/diff/account_extensions_draft-AccountERC7579.sol.patch+25
- certora/diff/token_ERC721_ERC721.sol.patch+11
- certora/harnesses/AccountHarness.sol+60
- certora/harnesses/ERC20WrapperHarness.sol-12
- certora/harnesses/ERC721Harness.sol+4
- certora/run.js+38-138
- certora/specs.json-110
- certora/specs/AccessControl.conf+8
- certora/specs/AccessControlDefaultAdminRules.conf+8
- certora/specs/AccessControlDefaultAdminRules.spec+6-3
- certora/specs/AccessManaged.conf+14
- certora/specs/AccessManaged.spec+15
- certora/specs/AccessManager.conf+10
- certora/specs/AccessManager.spec+39-28
- certora/specs/Account.conf+9
- certora/specs/Account.spec+490
- certora/specs/DoubleEndedQueue.conf+8
- certora/specs/DoubleEndedQueue.spec+10-10
- certora/specs/ERC20.conf+9
- certora/specs/ERC20.spec+4-4
- certora/specs/ERC20FlashMint.conf+10
- certora/specs/ERC20Wrapper.conf+13
- certora/specs/ERC20Wrapper.spec+73-45
- certora/specs/ERC721.conf+10
- certora/specs/ERC721.spec+72-56
- certora/specs/EnumerableMap.conf+8
- certora/specs/EnumerableMap.spec+55-24
- certora/specs/EnumerableSet.conf+8
- certora/specs/EnumerableSet.spec+43-17
- certora/specs/Initializable.conf+8
- certora/specs/Initializable.spec+14-3
- certora/specs/Nonces.conf+8
- certora/specs/Ownable.conf+8
- certora/specs/Ownable2Step.conf+8
- certora/specs/Pausable.conf+8
- certora/specs/TimelockController.conf+10
- certora/specs/TimelockController.spec+59-34
- certora/specs/helpers/helpers.spec+2-1
- certora/specs/methods/IAccount.spec+34
- contracts/access/manager/AccessManager.sol+2-1
- contracts/account/extensions/draft-AccountERC7579.sol-1
- contracts/interfaces/IERC7751.sol+11
- contracts/interfaces/README.adoc+3
- contracts/mocks/ReentrancyAttack.sol+5
- contracts/mocks/ReentrancyMock.sol+9
- contracts/mocks/ReentrancyTransientMock.sol+9
- contracts/mocks/account/AccountMock.sol-1
- contracts/mocks/governance/GovernorNoncesKeyedMock.sol-1
- contracts/mocks/token/ERC20BridgeableMock.sol+1-1
- contracts/mocks/token/ERC20NoReturnMock.sol+2
- contracts/mocks/utils/cryptography/ERC7739Mock.sol-1
- contracts/token/ERC721/extensions/ERC721Wrapper.sol+1-1
- contracts/utils/ReentrancyGuard.sol+19-2
- contracts/utils/ReentrancyGuardTransient.sol+19-2
- contracts/utils/cryptography/draft-ERC7739Utils.sol+2-1
- contracts/utils/cryptography/signers/draft-ERC7739.sol-1
- foundry.toml+5
- fv-requirements.txt+2-2
- package-lock.json+12-5
- test/token/ERC721/extensions/ERC721Consecutive.t.sol+8-2
- test/utils/ReentrancyGuard.test.js+12-4
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
21 | 21 | | |
22 | 22 | | |
23 | 23 | | |
24 | | - | |
| 24 | + | |
25 | 25 | | |
26 | 26 | | |
27 | 27 | | |
| |||
234 | 234 | | |
235 | 235 | | |
236 | 236 | | |
237 | | - | |
| 237 | + | |
238 | 238 | | |
239 | 239 | | |
240 | 240 | | |
241 | 241 | | |
242 | | - | |
| 242 | + | |
243 | 243 | | |
244 | 244 | | |
245 | 245 | | |
| |||
248 | 248 | | |
249 | 249 | | |
250 | 250 | | |
251 | | - | |
| 251 | + | |
252 | 252 | | |
253 | 253 | | |
254 | 254 | | |
| |||
0 commit comments