| .. |
|
Arrays.js
|
c80b675b8d
Add CircularBuffer data structure (#4913)
|
1 year ago |
|
Arrays.opts.js
|
5e3ba29b08
Procedurally generate Arrays.sol (#4859)
|
1 year ago |
|
Checkpoints.js
|
d2ba1f6251
Remove redundant memory usage in Checkpoints (#4540)
|
1 year ago |
|
Checkpoints.opts.js
|
cd67894914
Use Trace208 in Votes to support ERC6372 clocks (#4539)
|
2 years ago |
|
Checkpoints.t.js
|
0a757ec463
Add `sort` in memory to Arrays library (#4846)
|
1 year ago |
|
EnumerableMap.js
|
a5c4cd8182
Add new EnumerableMap types (#4843)
|
1 year ago |
|
EnumerableMap.opts.js
|
a5c4cd8182
Add new EnumerableMap types (#4843)
|
1 year ago |
|
EnumerableSet.js
|
c411700572
Refactor EnumerableSet generation and tests (#4762)
|
1 year ago |
|
EnumerableSet.opts.js
|
be0572a8dc
Migrate ERC1155 tests to ethers v6 (#4771)
|
1 year ago |
|
SafeCast.js
|
17a8955cd8
Optimize Math operations using branchless bool to uint translation. (#4878)
|
1 year ago |
|
Slot.opts.js
|
cb2aaaa04a
Add slot derivation library (#4975)
|
1 year ago |
|
SlotDerivation.js
|
cb2aaaa04a
Add slot derivation library (#4975)
|
1 year ago |
|
SlotDerivation.t.js
|
f1a69f164e
Add Halmos support for formal verification (#5034)
|
1 year ago |
|
StorageSlot.js
|
d6ad9db0a0
Add transient storage slot support in StorageSlot.sol (#4980)
|
1 year ago |
|
StorageSlotMock.js
|
d6ad9db0a0
Add transient storage slot support in StorageSlot.sol (#4980)
|
1 year ago |
|
conversion.js
|
a28aafdc85
Use Prettier for JS files (#3913)
|
2 years ago |
Ernesto García
f1a69f164e
Add Halmos support for formal verification (#5034)