2 files changed
+2
-2
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
32 | 32 | | |
33 | 33 | | |
34 | 34 | | |
35 | | - | |
| 35 | + | |
36 | 36 | | |
37 | 37 | | |
38 | 38 | | |
| |||
Submodule openzeppelin-contracts updated 99 files
- .gitattributes+3-3
- .github/workflows/checks.yml+1-1
- .github/workflows/formal-verification.yml+4-4
- certora/specs/AccessControl.conf-8
- certora/specs/AccessControlDefaultAdminRules.conf-8
- certora/specs/DoubleEndedQueue.conf-8
- certora/specs/ERC20.conf-9
- certora/specs/ERC20FlashMint.conf-10
- certora/specs/ERC721.conf-10
- certora/specs/EnumerableMap.conf-8
- certora/specs/EnumerableSet.conf-8
- certora/specs/Initializable.conf-8
- certora/specs/Nonces.conf-8
- certora/specs/Ownable.conf-8
- certora/specs/Ownable2Step.conf-8
- certora/specs/Pausable.conf-8
- fv-requirements.txt+1-1
- fv/.gitignore
- fv/Makefile
- fv/README.md+10-10
- fv/diff/access_manager_AccessManager.sol.patch
- fv/diff/account_extensions_draft-AccountERC7579.sol.patch
- fv/diff/token_ERC721_ERC721.sol.patch
- fv/harnesses/AccessControlDefaultAdminRulesHarness.sol
- fv/harnesses/AccessControlHarness.sol
- fv/harnesses/AccessManagedHarness.sol
- fv/harnesses/AccessManagerHarness.sol
- fv/harnesses/AccountHarness.sol
- fv/harnesses/DoubleEndedQueueHarness.sol
- fv/harnesses/ERC20FlashMintHarness.sol
- fv/harnesses/ERC20PermitHarness.sol
- fv/harnesses/ERC20WrapperHarness.sol
- fv/harnesses/ERC3156FlashBorrowerHarness.sol
- fv/harnesses/ERC721Harness.sol
- fv/harnesses/ERC721ReceiverHarness.sol
- fv/harnesses/EnumerableMapHarness.sol
- fv/harnesses/EnumerableSetHarness.sol
- fv/harnesses/InitializableHarness.sol
- fv/harnesses/NoncesHarness.sol
- fv/harnesses/Ownable2StepHarness.sol
- fv/harnesses/OwnableHarness.sol
- fv/harnesses/PausableHarness.sol
- fv/harnesses/TimelockControllerHarness.sol
- fv/reports/2021-10.pdf
- fv/reports/2022-03.pdf
- fv/reports/2022-05.pdf
- fv/run.js+5-5
- fv/specs/AccessControl.conf+8
- fv/specs/AccessControl.spec
- fv/specs/AccessControlDefaultAdminRules.conf+8
- fv/specs/AccessControlDefaultAdminRules.spec
- fv/specs/AccessManaged.conf+3-3
- fv/specs/AccessManaged.spec
- fv/specs/AccessManager.conf+2-2
- fv/specs/AccessManager.spec
- fv/specs/Account.conf+2-2
- fv/specs/Account.spec
- fv/specs/DoubleEndedQueue.conf+8
- fv/specs/DoubleEndedQueue.spec
- fv/specs/ERC20.conf+9
- fv/specs/ERC20.spec
- fv/specs/ERC20FlashMint.conf+10
- fv/specs/ERC20FlashMint.spec
- fv/specs/ERC20Wrapper.conf+3-3
- fv/specs/ERC20Wrapper.spec
- fv/specs/ERC721.conf+10
- fv/specs/ERC721.spec
- fv/specs/EnumerableMap.conf+8
- fv/specs/EnumerableMap.spec
- fv/specs/EnumerableSet.conf+8
- fv/specs/EnumerableSet.spec
- fv/specs/Initializable.conf+8
- fv/specs/Initializable.spec
- fv/specs/Nonces.conf+8
- fv/specs/Nonces.spec
- fv/specs/Ownable.conf+8
- fv/specs/Ownable.spec
- fv/specs/Ownable2Step.conf+8
- fv/specs/Ownable2Step.spec
- fv/specs/Pausable.conf+8
- fv/specs/Pausable.spec
- fv/specs/TimelockController.conf+2-2
- fv/specs/TimelockController.spec
- fv/specs/helpers/helpers.spec
- fv/specs/methods/IAccessControl.spec
- fv/specs/methods/IAccessControlDefaultAdminRules.spec
- fv/specs/methods/IAccessManaged.spec
- fv/specs/methods/IAccessManager.spec
- fv/specs/methods/IAccount.spec
- fv/specs/methods/IERC20.spec
- fv/specs/methods/IERC2612.spec
- fv/specs/methods/IERC3156FlashBorrower.spec
- fv/specs/methods/IERC3156FlashLender.spec
- fv/specs/methods/IERC5313.spec
- fv/specs/methods/IERC721.spec
- fv/specs/methods/IERC721Receiver.spec
- fv/specs/methods/IOwnable.spec
- fv/specs/methods/IOwnable2Step.spec
- package.json+1-1
0 commit comments