Ernesto García e8745a6a68 Add Halmos FV for Packing and NoncesKeyed (#5847) 1 month ago
..
Arrays.js 8a4eadea51 Add support for more types in Arrays.sol (#5568) 6 months ago
Arrays.opts.js 8a4eadea51 Add support for more types in Arrays.sol (#5568) 6 months ago
Checkpoints.js b84db20fb2 Add checkpoint variant with uint256 keys and values (#5748) 3 months ago
Checkpoints.opts.js b84db20fb2 Add checkpoint variant with uint256 keys and values (#5748) 3 months ago
Checkpoints.t.js b84db20fb2 Add checkpoint variant with uint256 keys and values (#5748) 3 months ago
Enumerable.opts.js 784d4f71b1 Add non-value types in EnumerableSet and EnumerableMap (#5658) 4 months ago
EnumerableMap.js a95d01c30d Address 5.4 audit documentation improvements (#5779) 3 months ago
EnumerableSet.js a95d01c30d Address 5.4 audit documentation improvements (#5779) 3 months ago
MerkleProof.js 205f59e9b6 Update dependency eslint to v9 (#4996) 11 months ago
MerkleProof.opts.js b73bcb231f Process and verify merkle proofs (and multiproof) with custom hash function (#4887) 1 year ago
Packing.js cceac54953 Add introduction tag for v5.1 contracts (#5228) 1 year ago
Packing.opts.js 28aed34dc5 Merge account abstraction work into master (#5274) 11 months ago
Packing.t.js e8745a6a68 Add Halmos FV for Packing and NoncesKeyed (#5847) 1 month ago
SafeCast.js 205f59e9b6 Update dependency eslint to v9 (#4996) 11 months ago
Slot.opts.js 3f901696f7 Clean dirty addresses and booleans (#5195) 1 year ago
SlotDerivation.js ca7a4e39de Group typo fixes (#5466) 7 months ago
SlotDerivation.t.js e8745a6a68 Add Halmos FV for Packing and NoncesKeyed (#5847) 1 month ago
StorageSlot.js 6325009675 Split StorageSlot into TransientSlot (#5239) 1 year ago
StorageSlotMock.js 6325009675 Split StorageSlot into TransientSlot (#5239) 1 year ago
TransientSlot.js 450b833278 Group typo fixes #2 (#5561) 6 months ago
TransientSlotMock.js 6325009675 Split StorageSlot into TransientSlot (#5239) 1 year ago
conversion.js a28aafdc85 Use Prettier for JS files (#3913) 2 years ago