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