Ernesto García e8745a6a68 Add Halmos FV for Packing and NoncesKeyed (#5847) 1 month ago
..
cryptography 1412f9275e ECDSA: add parse and tryParse (#5814) 2 months ago
introspection 43b3319e5b Add ERC6909 Implementation along with extensions (#5394) 8 months ago
math 3790c59623 Enable some math tests to be run by halmos (#5824) 2 months ago
structs b84db20fb2 Add checkpoint variant with uint256 keys and values (#5748) 3 months ago
types a72c9561b9 Finalize test migration: remove legacy dependencies and test helpers (#4797) 1 year ago
Address.test.js 205f59e9b6 Update dependency eslint to v9 (#4996) 11 months ago
Arrays.t.sol f96237308f Update forge and change visibility in fuzz tests (#5103) 11 months ago
Arrays.test.js 8a4eadea51 Add support for more types in Arrays.sol (#5568) 6 months ago
Base64.t.sol f96237308f Update forge and change visibility in fuzz tests (#5103) 11 months ago
Base64.test.js 92224533b1 Merge pull request from GHSA-9vx6-7xxf-x967 1 year ago
Blockhash.t.sol f9f7db03f3 Fix flaky test `testFuzzFutureBlocks` (#5783) 3 months ago
Blockhash.test.js c3961a4538 Use hardhat-predeploy (#5804) 2 months ago
Bytes.t.sol 3790c59623 Enable some math tests to be run by halmos (#5824) 2 months ago
Bytes.test.js d66a0ce63f Add new `clz(bytes)` and `clz(uint256)` functions (#5725) 2 months ago
CAIP.test.js 2909098755 ERC-7930 (#5736) 3 months ago
Calldata.test.js 352ab13687 Add a Calldata library with `emptyBytes` and `emptyString` functions (#5422) 9 months ago
Context.behavior.js a72c9561b9 Finalize test migration: remove legacy dependencies and test helpers (#4797) 1 year ago
Context.test.js e473bcf859 Migrate metatx tests to ethers.js (#4737) 1 year ago
Create2.t.sol f96237308f Update forge and change visibility in fuzz tests (#5103) 11 months ago
Create2.test.js 205f59e9b6 Update dependency eslint to v9 (#4996) 11 months ago
Memory.t.sol 21cd7e8aa3 Add `Memory` utility library (#5189) 3 months ago
Memory.test.js 21cd7e8aa3 Add `Memory` utility library (#5189) 3 months ago
Multicall.test.js a72c9561b9 Finalize test migration: remove legacy dependencies and test helpers (#4797) 1 year ago
Nonces.behavior.js 4c3ef87cf5 Await `.eventually` test matchers (#5408) 9 months ago
Nonces.test.js 2fa4d103fe Add NoncesKeyed variant (#5272) 11 months ago
NoncesKeyed.t.sol e8745a6a68 Add Halmos FV for Packing and NoncesKeyed (#5847) 1 month ago
NoncesKeyed.test.js 2fa4d103fe Add NoncesKeyed variant (#5272) 11 months ago
Packing.t.sol e8745a6a68 Add Halmos FV for Packing and NoncesKeyed (#5847) 1 month ago
Packing.test.js dc62599257 Extended packing and extracting library for value types (#5056) 1 year ago
Panic.test.js 141c947921 Update chai matchers (#4899) 1 year ago
Pausable.test.js a72c9561b9 Finalize test migration: remove legacy dependencies and test helpers (#4797) 1 year ago
ReentrancyGuard.test.js b6e07917eb Transient version of ReentrancyGuard (#4988) 1 year ago
ShortStrings.t.sol f96237308f Update forge and change visibility in fuzz tests (#5103) 11 months ago
ShortStrings.test.js 78d5708340 Migrate utils to ethersjs v6 (#4736) 1 year ago
SlotDerivation.t.sol e8745a6a68 Add Halmos FV for Packing and NoncesKeyed (#5847) 1 month ago
SlotDerivation.test.js cb2aaaa04a Add slot derivation library (#4975) 1 year ago
StorageSlot.test.js 6325009675 Split StorageSlot into TransientSlot (#5239) 1 year ago
Strings.t.sol b3ce884628 Refactor `parseUint`, `parseInt` and `parseHexUint` to check bounds (#5304) 10 months ago
Strings.test.js a5350ecdd3 Add Strings.toHexString(bytes) (#5761) 3 months ago
TransientSlot.test.js 6325009675 Split StorageSlot into TransientSlot (#5239) 1 year ago
draft-InteroperableAddress.t.sol 2909098755 ERC-7930 (#5736) 3 months ago
draft-InteroperableAddress.test.js 2909098755 ERC-7930 (#5736) 3 months ago