Ernesto García f1a69f164e Add Halmos support for formal verification (#5034) 1 an în urmă
..
cryptography e83142944f Add ability to create clones with initial `value` in Clones.sol (#4936) 1 an în urmă
introspection e5f02bc608 Add ERC1363 implementation (#4631) 1 an în urmă
math f1a69f164e Add Halmos support for formal verification (#5034) 1 an în urmă
structs c80b675b8d Add CircularBuffer data structure (#4913) 1 an în urmă
types a72c9561b9 Finalize test migration: remove legacy dependencies and test helpers (#4797) 1 an în urmă
Address.test.js e83142944f Add ability to create clones with initial `value` in Clones.sol (#4936) 1 an în urmă
Arrays.t.sol f1a69f164e Add Halmos support for formal verification (#5034) 1 an în urmă
Arrays.test.js 5e3ba29b08 Procedurally generate Arrays.sol (#4859) 1 an în urmă
Base64.t.sol 0a757ec463 Add `sort` in memory to Arrays library (#4846) 1 an în urmă
Base64.test.js 92224533b1 Merge pull request from GHSA-9vx6-7xxf-x967 1 an în urmă
Context.behavior.js a72c9561b9 Finalize test migration: remove legacy dependencies and test helpers (#4797) 1 an în urmă
Context.test.js e473bcf859 Migrate metatx tests to ethers.js (#4737) 1 an în urmă
Create2.t.sol f1a69f164e Add Halmos support for formal verification (#5034) 1 an în urmă
Create2.test.js e83142944f Add ability to create clones with initial `value` in Clones.sol (#4936) 1 an în urmă
Multicall.test.js a72c9561b9 Finalize test migration: remove legacy dependencies and test helpers (#4797) 1 an în urmă
Nonces.test.js a72c9561b9 Finalize test migration: remove legacy dependencies and test helpers (#4797) 1 an în urmă
Packing.t.sol f1a69f164e Add Halmos support for formal verification (#5034) 1 an în urmă
Packing.test.js f8c2e1035e Add Packing library (#4992) 1 an în urmă
Panic.test.js 141c947921 Update chai matchers (#4899) 1 an în urmă
Pausable.test.js a72c9561b9 Finalize test migration: remove legacy dependencies and test helpers (#4797) 1 an în urmă
ReentrancyGuard.test.js b6e07917eb Transient version of ReentrancyGuard (#4988) 1 an în urmă
ShortStrings.t.sol f1a69f164e Add Halmos support for formal verification (#5034) 1 an în urmă
ShortStrings.test.js 78d5708340 Migrate utils to ethersjs v6 (#4736) 1 an în urmă
SlotDerivation.t.sol f1a69f164e Add Halmos support for formal verification (#5034) 1 an în urmă
SlotDerivation.test.js cb2aaaa04a Add slot derivation library (#4975) 1 an în urmă
StorageSlot.test.js d6ad9db0a0 Add transient storage slot support in StorageSlot.sol (#4980) 1 an în urmă
Strings.test.js 78d5708340 Migrate utils to ethersjs v6 (#4736) 1 an în urmă