LICENSE
MANIFEST.in
README.md
pyproject.toml
requirements.txt
contracts/MyToken.sol
contracts/Vault.sol
contracts/lib/openzeppelin-contracts/certora/harnesses/AccessControlDefaultAdminRulesHarness.sol
contracts/lib/openzeppelin-contracts/certora/harnesses/AccessControlHarness.sol
contracts/lib/openzeppelin-contracts/certora/harnesses/AccessManagedHarness.sol
contracts/lib/openzeppelin-contracts/certora/harnesses/AccessManagerHarness.sol
contracts/lib/openzeppelin-contracts/certora/harnesses/AccountHarness.sol
contracts/lib/openzeppelin-contracts/certora/harnesses/DoubleEndedQueueHarness.sol
contracts/lib/openzeppelin-contracts/certora/harnesses/ERC20FlashMintHarness.sol
contracts/lib/openzeppelin-contracts/certora/harnesses/ERC20PermitHarness.sol
contracts/lib/openzeppelin-contracts/certora/harnesses/ERC20WrapperHarness.sol
contracts/lib/openzeppelin-contracts/certora/harnesses/ERC3156FlashBorrowerHarness.sol
contracts/lib/openzeppelin-contracts/certora/harnesses/ERC721Harness.sol
contracts/lib/openzeppelin-contracts/certora/harnesses/ERC721ReceiverHarness.sol
contracts/lib/openzeppelin-contracts/certora/harnesses/EnumerableMapHarness.sol
contracts/lib/openzeppelin-contracts/certora/harnesses/EnumerableSetHarness.sol
contracts/lib/openzeppelin-contracts/certora/harnesses/InitializableHarness.sol
contracts/lib/openzeppelin-contracts/certora/harnesses/NoncesHarness.sol
contracts/lib/openzeppelin-contracts/certora/harnesses/Ownable2StepHarness.sol
contracts/lib/openzeppelin-contracts/certora/harnesses/OwnableHarness.sol
contracts/lib/openzeppelin-contracts/certora/harnesses/PausableHarness.sol
contracts/lib/openzeppelin-contracts/certora/harnesses/TimelockControllerHarness.sol
contracts/lib/openzeppelin-contracts/contracts/access/AccessControl.sol
contracts/lib/openzeppelin-contracts/contracts/access/IAccessControl.sol
contracts/lib/openzeppelin-contracts/contracts/access/Ownable.sol
contracts/lib/openzeppelin-contracts/contracts/access/Ownable2Step.sol
contracts/lib/openzeppelin-contracts/contracts/access/extensions/AccessControlDefaultAdminRules.sol
contracts/lib/openzeppelin-contracts/contracts/access/extensions/AccessControlEnumerable.sol
contracts/lib/openzeppelin-contracts/contracts/access/extensions/IAccessControlDefaultAdminRules.sol
contracts/lib/openzeppelin-contracts/contracts/access/extensions/IAccessControlEnumerable.sol
contracts/lib/openzeppelin-contracts/contracts/access/manager/AccessManaged.sol
contracts/lib/openzeppelin-contracts/contracts/access/manager/AccessManager.sol
contracts/lib/openzeppelin-contracts/contracts/access/manager/AuthorityUtils.sol
contracts/lib/openzeppelin-contracts/contracts/access/manager/IAccessManaged.sol
contracts/lib/openzeppelin-contracts/contracts/access/manager/IAccessManager.sol
contracts/lib/openzeppelin-contracts/contracts/access/manager/IAuthority.sol
contracts/lib/openzeppelin-contracts/contracts/account/Account.sol
contracts/lib/openzeppelin-contracts/contracts/account/extensions/draft-AccountERC7579.sol
contracts/lib/openzeppelin-contracts/contracts/account/extensions/draft-AccountERC7579Hooked.sol
contracts/lib/openzeppelin-contracts/contracts/account/extensions/draft-ERC7821.sol
contracts/lib/openzeppelin-contracts/contracts/account/utils/EIP7702Utils.sol
contracts/lib/openzeppelin-contracts/contracts/account/utils/draft-ERC4337Utils.sol
contracts/lib/openzeppelin-contracts/contracts/account/utils/draft-ERC7579Utils.sol
contracts/lib/openzeppelin-contracts/contracts/crosschain/ERC7786Recipient.sol
contracts/lib/openzeppelin-contracts/contracts/finance/VestingWallet.sol
contracts/lib/openzeppelin-contracts/contracts/finance/VestingWalletCliff.sol
contracts/lib/openzeppelin-contracts/contracts/governance/Governor.sol
contracts/lib/openzeppelin-contracts/contracts/governance/IGovernor.sol
contracts/lib/openzeppelin-contracts/contracts/governance/TimelockController.sol
contracts/lib/openzeppelin-contracts/contracts/governance/extensions/GovernorCountingFractional.sol
contracts/lib/openzeppelin-contracts/contracts/governance/extensions/GovernorCountingOverridable.sol
contracts/lib/openzeppelin-contracts/contracts/governance/extensions/GovernorCountingSimple.sol
contracts/lib/openzeppelin-contracts/contracts/governance/extensions/GovernorNoncesKeyed.sol
contracts/lib/openzeppelin-contracts/contracts/governance/extensions/GovernorPreventLateQuorum.sol
contracts/lib/openzeppelin-contracts/contracts/governance/extensions/GovernorProposalGuardian.sol
contracts/lib/openzeppelin-contracts/contracts/governance/extensions/GovernorSequentialProposalId.sol
contracts/lib/openzeppelin-contracts/contracts/governance/extensions/GovernorSettings.sol
contracts/lib/openzeppelin-contracts/contracts/governance/extensions/GovernorStorage.sol
contracts/lib/openzeppelin-contracts/contracts/governance/extensions/GovernorSuperQuorum.sol
contracts/lib/openzeppelin-contracts/contracts/governance/extensions/GovernorTimelockAccess.sol
contracts/lib/openzeppelin-contracts/contracts/governance/extensions/GovernorTimelockCompound.sol
contracts/lib/openzeppelin-contracts/contracts/governance/extensions/GovernorTimelockControl.sol
contracts/lib/openzeppelin-contracts/contracts/governance/extensions/GovernorVotes.sol
contracts/lib/openzeppelin-contracts/contracts/governance/extensions/GovernorVotesQuorumFraction.sol
contracts/lib/openzeppelin-contracts/contracts/governance/extensions/GovernorVotesSuperQuorumFraction.sol
contracts/lib/openzeppelin-contracts/contracts/governance/utils/IVotes.sol
contracts/lib/openzeppelin-contracts/contracts/governance/utils/Votes.sol
contracts/lib/openzeppelin-contracts/contracts/governance/utils/VotesExtended.sol
contracts/lib/openzeppelin-contracts/contracts/interfaces/IERC1155.sol
contracts/lib/openzeppelin-contracts/contracts/interfaces/IERC1155MetadataURI.sol
contracts/lib/openzeppelin-contracts/contracts/interfaces/IERC1155Receiver.sol
contracts/lib/openzeppelin-contracts/contracts/interfaces/IERC1271.sol
contracts/lib/openzeppelin-contracts/contracts/interfaces/IERC1363.sol
contracts/lib/openzeppelin-contracts/contracts/interfaces/IERC1363Receiver.sol
contracts/lib/openzeppelin-contracts/contracts/interfaces/IERC1363Spender.sol
contracts/lib/openzeppelin-contracts/contracts/interfaces/IERC165.sol
contracts/lib/openzeppelin-contracts/contracts/interfaces/IERC1820Implementer.sol
contracts/lib/openzeppelin-contracts/contracts/interfaces/IERC1820Registry.sol
contracts/lib/openzeppelin-contracts/contracts/interfaces/IERC1967.sol
contracts/lib/openzeppelin-contracts/contracts/interfaces/IERC20.sol
contracts/lib/openzeppelin-contracts/contracts/interfaces/IERC20Metadata.sol
contracts/lib/openzeppelin-contracts/contracts/interfaces/IERC2309.sol
contracts/lib/openzeppelin-contracts/contracts/interfaces/IERC2612.sol
contracts/lib/openzeppelin-contracts/contracts/interfaces/IERC2981.sol
contracts/lib/openzeppelin-contracts/contracts/interfaces/IERC3156.sol
contracts/lib/openzeppelin-contracts/contracts/interfaces/IERC3156FlashBorrower.sol
contracts/lib/openzeppelin-contracts/contracts/interfaces/IERC3156FlashLender.sol
contracts/lib/openzeppelin-contracts/contracts/interfaces/IERC4626.sol
contracts/lib/openzeppelin-contracts/contracts/interfaces/IERC4906.sol
contracts/lib/openzeppelin-contracts/contracts/interfaces/IERC5267.sol
contracts/lib/openzeppelin-contracts/contracts/interfaces/IERC5313.sol
contracts/lib/openzeppelin-contracts/contracts/interfaces/IERC5805.sol
contracts/lib/openzeppelin-contracts/contracts/interfaces/IERC6372.sol
contracts/lib/openzeppelin-contracts/contracts/interfaces/IERC6909.sol
contracts/lib/openzeppelin-contracts/contracts/interfaces/IERC721.sol
contracts/lib/openzeppelin-contracts/contracts/interfaces/IERC721Enumerable.sol
contracts/lib/openzeppelin-contracts/contracts/interfaces/IERC721Metadata.sol
contracts/lib/openzeppelin-contracts/contracts/interfaces/IERC721Receiver.sol
contracts/lib/openzeppelin-contracts/contracts/interfaces/IERC7751.sol
contracts/lib/openzeppelin-contracts/contracts/interfaces/IERC777.sol
contracts/lib/openzeppelin-contracts/contracts/interfaces/IERC777Recipient.sol
contracts/lib/openzeppelin-contracts/contracts/interfaces/IERC777Sender.sol
contracts/lib/openzeppelin-contracts/contracts/interfaces/IERC7913.sol
contracts/lib/openzeppelin-contracts/contracts/interfaces/draft-IERC1822.sol
contracts/lib/openzeppelin-contracts/contracts/interfaces/draft-IERC4337.sol
contracts/lib/openzeppelin-contracts/contracts/interfaces/draft-IERC6093.sol
contracts/lib/openzeppelin-contracts/contracts/interfaces/draft-IERC7579.sol
contracts/lib/openzeppelin-contracts/contracts/interfaces/draft-IERC7674.sol
contracts/lib/openzeppelin-contracts/contracts/interfaces/draft-IERC7786.sol
contracts/lib/openzeppelin-contracts/contracts/interfaces/draft-IERC7802.sol
contracts/lib/openzeppelin-contracts/contracts/interfaces/draft-IERC7821.sol
contracts/lib/openzeppelin-contracts/contracts/metatx/ERC2771Context.sol
contracts/lib/openzeppelin-contracts/contracts/metatx/ERC2771Forwarder.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/AccessManagedTarget.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/AccessManagerMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/ArraysMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/AuthorityMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/Base64Dirty.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/BatchCaller.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/CallReceiverMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/ConstructorMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/ContextMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/DummyImplementation.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/EIP712Verifier.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/ERC1271WalletMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/ERC165Mock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/ERC2771ContextMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/ERC3156FlashBorrowerMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/EtherReceiverMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/InitializableMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/MerkleProofCustomHashMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/MerkleTreeMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/MulticallHelper.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/MultipleInheritanceInitializableMocks.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/PausableMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/ReentrancyAttack.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/ReentrancyMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/ReentrancyTransientMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/RegressionImplementation.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/SingleInheritanceInitializableMocks.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/Stateless.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/StorageSlotMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/TimelockReentrant.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/TransientSlotMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/UpgradeableBeaconMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/VotesExtendedMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/VotesMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/account/AccountMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/account/modules/ERC7579Mock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/account/utils/ERC7579UtilsMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/compound/CompTimelock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/crosschain/ERC7786GatewayMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/crosschain/ERC7786RecipientMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/docs/ERC20WithAutoMinerReward.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/docs/ERC4626Fees.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/docs/MyNFT.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/docs/access-control/AccessControlERC20MintBase.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/docs/access-control/AccessControlERC20MintMissing.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/docs/access-control/AccessControlERC20MintOnlyRole.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/docs/access-control/AccessControlModified.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/docs/access-control/AccessManagedERC20MintBase.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/docs/access-control/MyContractOwnable.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/docs/account/MyAccountERC7702.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/docs/account/MyFactoryAccount.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/docs/governance/MyGovernor.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/docs/governance/MyToken.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/docs/governance/MyTokenTimestampBased.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/docs/governance/MyTokenWrapped.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/docs/token/ERC1155/GameItems.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/docs/token/ERC1155/MyERC115HolderContract.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/docs/token/ERC20/GLDToken.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/docs/token/ERC6909/ERC6909GameItems.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/docs/token/ERC721/GameItem.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/docs/utilities/Base64NFT.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/docs/utilities/Multicall.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/governance/GovernorCountingOverridableMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/governance/GovernorFractionalMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/governance/GovernorMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/governance/GovernorNoncesKeyedMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/governance/GovernorPreventLateQuorumMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/governance/GovernorProposalGuardianMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/governance/GovernorSequentialProposalIdMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/governance/GovernorStorageMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/governance/GovernorSuperQuorumMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/governance/GovernorTimelockAccessMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/governance/GovernorTimelockCompoundMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/governance/GovernorTimelockControlMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/governance/GovernorVoteMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/governance/GovernorVotesSuperQuorumFractionMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/governance/GovernorWithParamsMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/proxy/BadBeacon.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/proxy/ClashingImplementation.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/proxy/UUPSUpgradeableMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/token/ERC1155ReceiverMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/token/ERC1363ForceApproveMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/token/ERC1363NoReturnMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/token/ERC1363ReceiverMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/token/ERC1363ReturnFalseMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/token/ERC1363SpenderMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/token/ERC20ApprovalMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/token/ERC20BridgeableMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/token/ERC20DecimalsMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/token/ERC20ExcessDecimalsMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/token/ERC20FlashMintMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/token/ERC20ForceApproveMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/token/ERC20GetterHelper.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/token/ERC20Mock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/token/ERC20MulticallMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/token/ERC20NoReturnMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/token/ERC20Reentrant.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/token/ERC20ReturnFalseMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/token/ERC20VotesAdditionalCheckpointsMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/token/ERC20VotesLegacyMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/token/ERC20VotesTimestampMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/token/ERC4626LimitsMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/token/ERC4626Mock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/token/ERC4626OffsetMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/token/ERC4646FeesMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/token/ERC721ConsecutiveEnumerableMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/token/ERC721ConsecutiveMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/token/ERC721ReceiverMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/token/ERC721URIStorageMock.sol
contracts/lib/openzeppelin-contracts/contracts/mocks/utils/cryptography/ERC7739Mock.sol
contracts/lib/openzeppelin-contracts/contracts/proxy/Clones.sol
contracts/lib/openzeppelin-contracts/contracts/proxy/Proxy.sol
contracts/lib/openzeppelin-contracts/contracts/proxy/ERC1967/ERC1967Proxy.sol
contracts/lib/openzeppelin-contracts/contracts/proxy/ERC1967/ERC1967Utils.sol
contracts/lib/openzeppelin-contracts/contracts/proxy/beacon/BeaconProxy.sol
contracts/lib/openzeppelin-contracts/contracts/proxy/beacon/IBeacon.sol
contracts/lib/openzeppelin-contracts/contracts/proxy/beacon/UpgradeableBeacon.sol
contracts/lib/openzeppelin-contracts/contracts/proxy/transparent/ProxyAdmin.sol
contracts/lib/openzeppelin-contracts/contracts/proxy/transparent/TransparentUpgradeableProxy.sol
contracts/lib/openzeppelin-contracts/contracts/proxy/utils/Initializable.sol
contracts/lib/openzeppelin-contracts/contracts/proxy/utils/UUPSUpgradeable.sol
contracts/lib/openzeppelin-contracts/contracts/token/ERC1155/ERC1155.sol
contracts/lib/openzeppelin-contracts/contracts/token/ERC1155/IERC1155.sol
contracts/lib/openzeppelin-contracts/contracts/token/ERC1155/IERC1155Receiver.sol
contracts/lib/openzeppelin-contracts/contracts/token/ERC1155/extensions/ERC1155Burnable.sol
contracts/lib/openzeppelin-contracts/contracts/token/ERC1155/extensions/ERC1155Pausable.sol
contracts/lib/openzeppelin-contracts/contracts/token/ERC1155/extensions/ERC1155Supply.sol
contracts/lib/openzeppelin-contracts/contracts/token/ERC1155/extensions/ERC1155URIStorage.sol
contracts/lib/openzeppelin-contracts/contracts/token/ERC1155/extensions/IERC1155MetadataURI.sol
contracts/lib/openzeppelin-contracts/contracts/token/ERC1155/utils/ERC1155Holder.sol
contracts/lib/openzeppelin-contracts/contracts/token/ERC1155/utils/ERC1155Utils.sol
contracts/lib/openzeppelin-contracts/contracts/token/ERC20/ERC20.sol
contracts/lib/openzeppelin-contracts/contracts/token/ERC20/IERC20.sol
contracts/lib/openzeppelin-contracts/contracts/token/ERC20/extensions/ERC1363.sol
contracts/lib/openzeppelin-contracts/contracts/token/ERC20/extensions/ERC20Burnable.sol
contracts/lib/openzeppelin-contracts/contracts/token/ERC20/extensions/ERC20Capped.sol
contracts/lib/openzeppelin-contracts/contracts/token/ERC20/extensions/ERC20FlashMint.sol
contracts/lib/openzeppelin-contracts/contracts/token/ERC20/extensions/ERC20Pausable.sol
contracts/lib/openzeppelin-contracts/contracts/token/ERC20/extensions/ERC20Permit.sol
contracts/lib/openzeppelin-contracts/contracts/token/ERC20/extensions/ERC20Votes.sol
contracts/lib/openzeppelin-contracts/contracts/token/ERC20/extensions/ERC20Wrapper.sol
contracts/lib/openzeppelin-contracts/contracts/token/ERC20/extensions/ERC4626.sol
contracts/lib/openzeppelin-contracts/contracts/token/ERC20/extensions/IERC20Metadata.sol
contracts/lib/openzeppelin-contracts/contracts/token/ERC20/extensions/IERC20Permit.sol
contracts/lib/openzeppelin-contracts/contracts/token/ERC20/extensions/draft-ERC20Bridgeable.sol
contracts/lib/openzeppelin-contracts/contracts/token/ERC20/extensions/draft-ERC20TemporaryApproval.sol
contracts/lib/openzeppelin-contracts/contracts/token/ERC20/utils/ERC1363Utils.sol
contracts/lib/openzeppelin-contracts/contracts/token/ERC20/utils/SafeERC20.sol
contracts/lib/openzeppelin-contracts/contracts/token/ERC6909/ERC6909.sol
contracts/lib/openzeppelin-contracts/contracts/token/ERC6909/extensions/ERC6909ContentURI.sol
contracts/lib/openzeppelin-contracts/contracts/token/ERC6909/extensions/ERC6909Metadata.sol
contracts/lib/openzeppelin-contracts/contracts/token/ERC6909/extensions/ERC6909TokenSupply.sol
contracts/lib/openzeppelin-contracts/contracts/token/ERC721/ERC721.sol
contracts/lib/openzeppelin-contracts/contracts/token/ERC721/IERC721.sol
contracts/lib/openzeppelin-contracts/contracts/token/ERC721/IERC721Receiver.sol
contracts/lib/openzeppelin-contracts/contracts/token/ERC721/extensions/ERC721Burnable.sol
contracts/lib/openzeppelin-contracts/contracts/token/ERC721/extensions/ERC721Consecutive.sol
contracts/lib/openzeppelin-contracts/contracts/token/ERC721/extensions/ERC721Enumerable.sol
contracts/lib/openzeppelin-contracts/contracts/token/ERC721/extensions/ERC721Pausable.sol
contracts/lib/openzeppelin-contracts/contracts/token/ERC721/extensions/ERC721Royalty.sol
contracts/lib/openzeppelin-contracts/contracts/token/ERC721/extensions/ERC721URIStorage.sol
contracts/lib/openzeppelin-contracts/contracts/token/ERC721/extensions/ERC721Votes.sol
contracts/lib/openzeppelin-contracts/contracts/token/ERC721/extensions/ERC721Wrapper.sol
contracts/lib/openzeppelin-contracts/contracts/token/ERC721/extensions/IERC721Enumerable.sol
contracts/lib/openzeppelin-contracts/contracts/token/ERC721/extensions/IERC721Metadata.sol
contracts/lib/openzeppelin-contracts/contracts/token/ERC721/utils/ERC721Holder.sol
contracts/lib/openzeppelin-contracts/contracts/token/ERC721/utils/ERC721Utils.sol
contracts/lib/openzeppelin-contracts/contracts/token/common/ERC2981.sol
contracts/lib/openzeppelin-contracts/contracts/utils/Address.sol
contracts/lib/openzeppelin-contracts/contracts/utils/Arrays.sol
contracts/lib/openzeppelin-contracts/contracts/utils/Base58.sol
contracts/lib/openzeppelin-contracts/contracts/utils/Base64.sol
contracts/lib/openzeppelin-contracts/contracts/utils/Blockhash.sol
contracts/lib/openzeppelin-contracts/contracts/utils/Bytes.sol
contracts/lib/openzeppelin-contracts/contracts/utils/CAIP10.sol
contracts/lib/openzeppelin-contracts/contracts/utils/CAIP2.sol
contracts/lib/openzeppelin-contracts/contracts/utils/Calldata.sol
contracts/lib/openzeppelin-contracts/contracts/utils/Comparators.sol
contracts/lib/openzeppelin-contracts/contracts/utils/Context.sol
contracts/lib/openzeppelin-contracts/contracts/utils/Create2.sol
contracts/lib/openzeppelin-contracts/contracts/utils/Errors.sol
contracts/lib/openzeppelin-contracts/contracts/utils/LowLevelCall.sol
contracts/lib/openzeppelin-contracts/contracts/utils/Memory.sol
contracts/lib/openzeppelin-contracts/contracts/utils/Multicall.sol
contracts/lib/openzeppelin-contracts/contracts/utils/Nonces.sol
contracts/lib/openzeppelin-contracts/contracts/utils/NoncesKeyed.sol
contracts/lib/openzeppelin-contracts/contracts/utils/Packing.sol
contracts/lib/openzeppelin-contracts/contracts/utils/Panic.sol
contracts/lib/openzeppelin-contracts/contracts/utils/Pausable.sol
contracts/lib/openzeppelin-contracts/contracts/utils/RLP.sol
contracts/lib/openzeppelin-contracts/contracts/utils/ReentrancyGuard.sol
contracts/lib/openzeppelin-contracts/contracts/utils/ReentrancyGuardTransient.sol
contracts/lib/openzeppelin-contracts/contracts/utils/RelayedCall.sol
contracts/lib/openzeppelin-contracts/contracts/utils/ShortStrings.sol
contracts/lib/openzeppelin-contracts/contracts/utils/SlotDerivation.sol
contracts/lib/openzeppelin-contracts/contracts/utils/StorageSlot.sol
contracts/lib/openzeppelin-contracts/contracts/utils/Strings.sol
contracts/lib/openzeppelin-contracts/contracts/utils/TransientSlot.sol
contracts/lib/openzeppelin-contracts/contracts/utils/draft-InteroperableAddress.sol
contracts/lib/openzeppelin-contracts/contracts/utils/cryptography/ECDSA.sol
contracts/lib/openzeppelin-contracts/contracts/utils/cryptography/EIP712.sol
contracts/lib/openzeppelin-contracts/contracts/utils/cryptography/Hashes.sol
contracts/lib/openzeppelin-contracts/contracts/utils/cryptography/MerkleProof.sol
contracts/lib/openzeppelin-contracts/contracts/utils/cryptography/MessageHashUtils.sol
contracts/lib/openzeppelin-contracts/contracts/utils/cryptography/P256.sol
contracts/lib/openzeppelin-contracts/contracts/utils/cryptography/RSA.sol
contracts/lib/openzeppelin-contracts/contracts/utils/cryptography/SignatureChecker.sol
contracts/lib/openzeppelin-contracts/contracts/utils/cryptography/WebAuthn.sol
contracts/lib/openzeppelin-contracts/contracts/utils/cryptography/draft-ERC7739Utils.sol
contracts/lib/openzeppelin-contracts/contracts/utils/cryptography/signers/AbstractSigner.sol
contracts/lib/openzeppelin-contracts/contracts/utils/cryptography/signers/MultiSignerERC7913.sol
contracts/lib/openzeppelin-contracts/contracts/utils/cryptography/signers/MultiSignerERC7913Weighted.sol
contracts/lib/openzeppelin-contracts/contracts/utils/cryptography/signers/SignerECDSA.sol
contracts/lib/openzeppelin-contracts/contracts/utils/cryptography/signers/SignerEIP7702.sol
contracts/lib/openzeppelin-contracts/contracts/utils/cryptography/signers/SignerERC7913.sol
contracts/lib/openzeppelin-contracts/contracts/utils/cryptography/signers/SignerP256.sol
contracts/lib/openzeppelin-contracts/contracts/utils/cryptography/signers/SignerRSA.sol
contracts/lib/openzeppelin-contracts/contracts/utils/cryptography/signers/SignerWebAuthn.sol
contracts/lib/openzeppelin-contracts/contracts/utils/cryptography/signers/draft-ERC7739.sol
contracts/lib/openzeppelin-contracts/contracts/utils/cryptography/verifiers/ERC7913P256Verifier.sol
contracts/lib/openzeppelin-contracts/contracts/utils/cryptography/verifiers/ERC7913RSAVerifier.sol
contracts/lib/openzeppelin-contracts/contracts/utils/cryptography/verifiers/ERC7913WebAuthnVerifier.sol
contracts/lib/openzeppelin-contracts/contracts/utils/introspection/ERC165.sol
contracts/lib/openzeppelin-contracts/contracts/utils/introspection/ERC165Checker.sol
contracts/lib/openzeppelin-contracts/contracts/utils/introspection/IERC165.sol
contracts/lib/openzeppelin-contracts/contracts/utils/math/Math.sol
contracts/lib/openzeppelin-contracts/contracts/utils/math/SafeCast.sol
contracts/lib/openzeppelin-contracts/contracts/utils/math/SignedMath.sol
contracts/lib/openzeppelin-contracts/contracts/utils/structs/Accumulators.sol
contracts/lib/openzeppelin-contracts/contracts/utils/structs/BitMaps.sol
contracts/lib/openzeppelin-contracts/contracts/utils/structs/Checkpoints.sol
contracts/lib/openzeppelin-contracts/contracts/utils/structs/CircularBuffer.sol
contracts/lib/openzeppelin-contracts/contracts/utils/structs/DoubleEndedQueue.sol
contracts/lib/openzeppelin-contracts/contracts/utils/structs/EnumerableMap.sol
contracts/lib/openzeppelin-contracts/contracts/utils/structs/EnumerableSet.sol
contracts/lib/openzeppelin-contracts/contracts/utils/structs/Heap.sol
contracts/lib/openzeppelin-contracts/contracts/utils/structs/MerkleTree.sol
contracts/lib/openzeppelin-contracts/contracts/utils/types/Time.sol
contracts/lib/openzeppelin-contracts/contracts/vendor/compound/ICompoundTimelock.sol
contracts/lib/openzeppelin-contracts/lib/erc4626-tests/ERC4626.prop.sol
contracts/lib/openzeppelin-contracts/lib/erc4626-tests/ERC4626.test.sol
contracts/lib/openzeppelin-contracts/lib/forge-std/src/Base.sol
contracts/lib/openzeppelin-contracts/lib/forge-std/src/Script.sol
contracts/lib/openzeppelin-contracts/lib/forge-std/src/StdAssertions.sol
contracts/lib/openzeppelin-contracts/lib/forge-std/src/StdChains.sol
contracts/lib/openzeppelin-contracts/lib/forge-std/src/StdCheats.sol
contracts/lib/openzeppelin-contracts/lib/forge-std/src/StdError.sol
contracts/lib/openzeppelin-contracts/lib/forge-std/src/StdInvariant.sol
contracts/lib/openzeppelin-contracts/lib/forge-std/src/StdJson.sol
contracts/lib/openzeppelin-contracts/lib/forge-std/src/StdMath.sol
contracts/lib/openzeppelin-contracts/lib/forge-std/src/StdStorage.sol
contracts/lib/openzeppelin-contracts/lib/forge-std/src/StdStyle.sol
contracts/lib/openzeppelin-contracts/lib/forge-std/src/StdToml.sol
contracts/lib/openzeppelin-contracts/lib/forge-std/src/StdUtils.sol
contracts/lib/openzeppelin-contracts/lib/forge-std/src/Test.sol
contracts/lib/openzeppelin-contracts/lib/forge-std/src/Vm.sol
contracts/lib/openzeppelin-contracts/lib/forge-std/src/console.sol
contracts/lib/openzeppelin-contracts/lib/forge-std/src/console2.sol
contracts/lib/openzeppelin-contracts/lib/forge-std/src/safeconsole.sol
contracts/lib/openzeppelin-contracts/lib/forge-std/src/interfaces/IERC1155.sol
contracts/lib/openzeppelin-contracts/lib/forge-std/src/interfaces/IERC165.sol
contracts/lib/openzeppelin-contracts/lib/forge-std/src/interfaces/IERC20.sol
contracts/lib/openzeppelin-contracts/lib/forge-std/src/interfaces/IERC4626.sol
contracts/lib/openzeppelin-contracts/lib/forge-std/src/interfaces/IERC721.sol
contracts/lib/openzeppelin-contracts/lib/forge-std/src/interfaces/IMulticall3.sol
contracts/lib/openzeppelin-contracts/lib/forge-std/test/StdAssertions.t.sol
contracts/lib/openzeppelin-contracts/lib/forge-std/test/StdChains.t.sol
contracts/lib/openzeppelin-contracts/lib/forge-std/test/StdCheats.t.sol
contracts/lib/openzeppelin-contracts/lib/forge-std/test/StdError.t.sol
contracts/lib/openzeppelin-contracts/lib/forge-std/test/StdJson.t.sol
contracts/lib/openzeppelin-contracts/lib/forge-std/test/StdMath.t.sol
contracts/lib/openzeppelin-contracts/lib/forge-std/test/StdStorage.t.sol
contracts/lib/openzeppelin-contracts/lib/forge-std/test/StdStyle.t.sol
contracts/lib/openzeppelin-contracts/lib/forge-std/test/StdToml.t.sol
contracts/lib/openzeppelin-contracts/lib/forge-std/test/StdUtils.t.sol
contracts/lib/openzeppelin-contracts/lib/forge-std/test/Vm.t.sol
contracts/lib/openzeppelin-contracts/lib/forge-std/test/compilation/CompilationScript.sol
contracts/lib/openzeppelin-contracts/lib/forge-std/test/compilation/CompilationScriptBase.sol
contracts/lib/openzeppelin-contracts/lib/forge-std/test/compilation/CompilationTest.sol
contracts/lib/openzeppelin-contracts/lib/forge-std/test/compilation/CompilationTestBase.sol
contracts/lib/openzeppelin-contracts/lib/halmos-cheatcodes/src/SVM.sol
contracts/lib/openzeppelin-contracts/lib/halmos-cheatcodes/src/SymTest.sol
contracts/lib/openzeppelin-contracts/scripts/upgradeable/alias/Initializable.sol
contracts/lib/openzeppelin-contracts/scripts/upgradeable/alias/UUPSUpgradeable.sol
contracts/lib/openzeppelin-contracts/test/account/AccountERC7702.t.sol
contracts/lib/openzeppelin-contracts/test/account/utils/draft-ERC7579Utils.t.sol
contracts/lib/openzeppelin-contracts/test/governance/Governor.t.sol
contracts/lib/openzeppelin-contracts/test/governance/extensions/GovernorSuperQuorumGreaterThanQuorum.t.sol
contracts/lib/openzeppelin-contracts/test/metatx/ERC2771Forwarder.t.sol
contracts/lib/openzeppelin-contracts/test/proxy/Clones.t.sol
contracts/lib/openzeppelin-contracts/test/token/ERC20/extensions/ERC4626.t.sol
contracts/lib/openzeppelin-contracts/test/token/ERC721/extensions/ERC721Consecutive.t.sol
contracts/lib/openzeppelin-contracts/test/utils/Arrays.t.sol
contracts/lib/openzeppelin-contracts/test/utils/Base58.t.sol
contracts/lib/openzeppelin-contracts/test/utils/Base64.t.sol
contracts/lib/openzeppelin-contracts/test/utils/Blockhash.t.sol
contracts/lib/openzeppelin-contracts/test/utils/Bytes.t.sol
contracts/lib/openzeppelin-contracts/test/utils/Create2.t.sol
contracts/lib/openzeppelin-contracts/test/utils/Memory.t.sol
contracts/lib/openzeppelin-contracts/test/utils/NoncesKeyed.t.sol
contracts/lib/openzeppelin-contracts/test/utils/Packing.t.sol
contracts/lib/openzeppelin-contracts/test/utils/RLP.t.sol
contracts/lib/openzeppelin-contracts/test/utils/ShortStrings.t.sol
contracts/lib/openzeppelin-contracts/test/utils/SlotDerivation.t.sol
contracts/lib/openzeppelin-contracts/test/utils/Strings.t.sol
contracts/lib/openzeppelin-contracts/test/utils/draft-InteroperableAddress.t.sol
contracts/lib/openzeppelin-contracts/test/utils/cryptography/MessageHashUtils.t.sol
contracts/lib/openzeppelin-contracts/test/utils/cryptography/P256.t.sol
contracts/lib/openzeppelin-contracts/test/utils/cryptography/WebAuthn.t.sol
contracts/lib/openzeppelin-contracts/test/utils/math/Math.t.sol
contracts/lib/openzeppelin-contracts/test/utils/math/SignedMath.t.sol
contracts/lib/openzeppelin-contracts/test/utils/structs/Accumulators.t.sol
contracts/lib/openzeppelin-contracts/test/utils/structs/Checkpoints.t.sol
contracts/lib/openzeppelin-contracts/test/utils/structs/Heap.t.sol
evmdeploy/__init__.py
evmdeploy/contract.py
evmdeploy/deploy.py
evmdeploy/exceptions.py
evmdeploy.egg-info/PKG-INFO
evmdeploy.egg-info/SOURCES.txt
evmdeploy.egg-info/dependency_links.txt
evmdeploy.egg-info/entry_points.txt
evmdeploy.egg-info/requires.txt
evmdeploy.egg-info/top_level.txt
evmdeploy/artifacts/__init__.py
evmdeploy/artifacts/model.py
evmdeploy/artifacts/storage.py
evmdeploy/cli/__init__.py
evmdeploy/cli/main.py
evmdeploy/compiler/__init__.py
evmdeploy/compiler/linker.py
evmdeploy/compiler/solidity.py
evmdeploy/crypto/__init__.py
evmdeploy/crypto/signer.py
evmdeploy/deployer/__init__.py
evmdeploy/deployer/deployer.py
evmdeploy/deployer/gas.py
evmdeploy/encoding/__init__.py
evmdeploy/encoding/constructor.py
evmdeploy/network/__init__.py
evmdeploy/network/evm.py
evmdeploy/utils/__init__.py
evmdeploy/utils/hashing.py
evmdeploy/utils/paths.py
examples/deploy.py
examples/oz_erc20_deploy.py
examples/test_integration.py
tests/test_compile.py
tests/test_constructor.py
tests/test_deploy.py
tests/test_linking.py