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