🔁 Update Submodules

Signed-off-by: Pascal Marco Caversaccio <[email protected]>
pcaversaccio · Dec 31, 2024 · a242052 · a242052
1 parent 1270f21
commit a242052
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/lib/create-util b/lib/create-util
diff --git a/lib/openzeppelin-contracts b/lib/openzeppelin-contracts
diff --git a/lib/properties b/lib/properties
diff --git a/lib/solady b/lib/solady
+43 −43		test/account/utils/draft-ERC4337Utils.test.js
+31 −28		test/account/utils/draft-ERC7579Utils.test.js
+12 −12		test/governance/extensions/GovernorSequentialProposalId.test.js
+25 −25		test/utils/Nonces.behavior.js
+1 −0		contracts/ERC20/external/ERC20ExternalPropertyTests.sol
+1 −0		contracts/ERC20/external/ExampleToken.sol
+1 −0		contracts/ERC20/external/TokenMock.sol
+1 −0		contracts/ERC20/external/properties/ERC20ExternalBasicProperties.sol
+1 −0		contracts/ERC20/external/properties/ERC20ExternalBurnableProperties.sol
+1 −0		contracts/ERC20/external/properties/ERC20ExternalIncreaseAllowanceProperties.sol
+1 −0		contracts/ERC20/external/properties/ERC20ExternalMintableProperties.sol
+1 −0		contracts/ERC20/external/properties/ERC20ExternalPausableProperties.sol
+1 −0		contracts/ERC20/external/util/ERC20ExternalTestBase.sol
+1 −0		contracts/ERC20/external/util/ITokenMock.sol
+1 −0		contracts/ERC20/internal/properties/ERC20BasicProperties.sol
+1 −0		contracts/ERC20/internal/properties/ERC20BurnableProperties.sol
+1 −0		contracts/ERC20/internal/properties/ERC20IncreaseAllowanceProperties.sol
+1 −0		contracts/ERC20/internal/properties/ERC20MintableProperties.sol
+1 −0		contracts/ERC20/internal/properties/ERC20PausableProperties.sol
+1 −0		contracts/ERC20/internal/util/ERC20TestBase.sol
+1 −0		contracts/ERC4626/ERC4626PropertyTests.sol
+1 −0		contracts/ERC4626/properties/FunctionalAccountingProps.sol
+1 −0		contracts/ERC4626/properties/MustNotRevertProps.sol
+1 −0		contracts/ERC4626/properties/RedeemUsingApprovalProps.sol
+1 −0		contracts/ERC4626/properties/RoundingProps.sol
+1 −0		contracts/ERC4626/properties/SecurityProps.sol
+1 −0		contracts/ERC4626/properties/SenderIndependentProps.sol
+1 −0		contracts/ERC4626/properties/VaultProxy.sol
+1 −0		contracts/ERC4626/test/Solmate4626.sol
+1 −0		contracts/ERC4626/test/rounding/BadConvertToAssetsRounding.sol
+1 −0		contracts/ERC4626/test/rounding/BadConvertToSharesRounding.sol
+1 −0		contracts/ERC4626/test/rounding/BadPreviewMintRounding.sol
+1 −0		contracts/ERC4626/test/rounding/BadPreviewWithdrawRounding.sol
+1 −0		contracts/ERC4626/test/security/BadShareInflation.sol
+1 −0		contracts/ERC4626/test/usingApproval/BadAllowanceUpdate.sol
+1 −0		contracts/ERC4626/util/Actor.sol
+1 −0		contracts/ERC4626/util/ERC4626PropertyTestBase.sol
+1 −0		contracts/ERC4626/util/IERC4626Internal.sol
+1 −0		contracts/ERC4626/util/RedemptionProxy.sol
+1 −0		contracts/ERC4626/util/TestERC20Token.sol
+1 −0		contracts/ERC721/external/ERC721ExternalPropertyTests.sol
+1 −0		contracts/ERC721/external/properties/ERC721ExternalBasicProperties.sol
+1 −0		contracts/ERC721/external/properties/ERC721ExternalBurnableProperties.sol
+1 −0		contracts/ERC721/external/properties/ERC721ExternalMintableProperties.sol
+1 −0		contracts/ERC721/external/test/ERC721Compliant.sol
+1 −0		contracts/ERC721/external/test/standard/ERC721BasicTests.sol
+1 −0		contracts/ERC721/external/test/standard/ERC721BurnableTests.sol
+1 −0		contracts/ERC721/external/test/standard/ERC721CompliantTests.sol
+1 −0		contracts/ERC721/external/test/standard/ERC721MintableTests.sol
+1 −0		contracts/ERC721/external/util/ERC721ExternalTestBase.sol
+1 −0		contracts/ERC721/external/util/MockReceiver.sol
+1 −0		contracts/ERC721/internal/ERC721InternalPropertyTests.sol
+1 −0		contracts/ERC721/internal/properties/ERC721BasicProperties.sol
+1 −0		contracts/ERC721/internal/properties/ERC721BurnableProperties.sol
+1 −0		contracts/ERC721/internal/properties/ERC721MintableProperties.sol
+1 −0		contracts/ERC721/internal/test/standard/ERC721BasicTests.sol
+1 −0		contracts/ERC721/internal/test/standard/ERC721BurnableTests.sol
+1 −0		contracts/ERC721/internal/test/standard/ERC721Compliant.sol
+1 −0		contracts/ERC721/internal/test/standard/ERC721MintableTests.sol
+1 −0		contracts/ERC721/internal/util/ERC721TestBase.sol
+1 −0		contracts/ERC721/internal/util/MockReceiver.sol
+1 −0		contracts/ERC721/util/IERC721Internal.sol
+1 −0		contracts/Math/ABDKMath64x64/ABDKMath64x64PropertyTests.sol
+1 −0		contracts/util/PropertiesConstants.sol
+1 −0		contracts/util/PropertiesHelper.sol
+20 −0		contracts/util/User.sol
+1 −0		tests/ERC20/foundry/src/ExampleToken.sol
+1 −0		tests/ERC20/foundry/test/CryticTest.sol
+1 −0		tests/ERC20/foundry/test/CryticTestExt.sol
+1 −0		tests/ERC20/hardhat/contracts/CryticTest.sol
+1 −0		tests/ERC20/hardhat/contracts/CryticTestExt.sol
+1 −0		tests/ERC20/hardhat/contracts/ExampleToken.sol
+1 −0		tests/ERC4626/foundry/src/Basic4626Impl.sol
+1 −0		tests/ERC4626/foundry/test/CryticTest.sol
+1 −0		tests/ERC4626/hardhat/contracts/Basic4626Impl.sol
+1 −0		tests/ERC4626/hardhat/contracts/Echidna4626Harness.sol
+1 −0		tests/ERC721/foundry/src/ExampleToken.sol
+1 −0		tests/ERC721/foundry/test/CryticTest.sol
+1 −0		tests/ERC721/foundry/test/CryticTestExt.sol
+1 −0		tests/ERC721/hardhat/contracts/CryticTest.sol
+1 −0		tests/ERC721/hardhat/contracts/CryticTestExt.sol
+1 −0		tests/ERC721/hardhat/contracts/ExampleToken.sol
+10 −0		docs/index.html
+1 −1		package.json
+7 −6		src/utils/Initializable.sol
+8 −8		src/utils/LibBytes.sol
+8 −8		src/utils/g/LibBytes.sol