cairo
cairo
@Lohann feel free to merge my [PR](https://github.com/Lohann/openzeppelin-contracts/pull/1) into your branch, which should update this PR. thanks!
@XZSt4nce can you provide concrete benchmarks on this change? I'm not too sure the gas difference will be even slightly significant.
@Amxx those two functions are a bit different as they test for two different cases: - `testExecuteBatchTamperedValuesZeroReceiver`: if the receiver is the zero address, then the call will revert if...
looks great, thanks!
Pushed commits to use imports in the certora run script so that it can use p-limit v6 -- imo we can merge this for now until it's clear we remove...
Closing in favor of https://github.com/OpenZeppelin/openzeppelin-contracts/pull/5218
Following up on ^, the initial problem is that `maxRedeem` and `maxWithdraw` do not consider fees in the `ERC4626Fees` implementation -- I was thinking that a solution is just overriding...
@majinbot im not able to replicate the error with the sample hardhat project and the configs you shared. `slang` released support for [v0.8.27](https://github.com/NomicFoundation/slang/releases/tag/v0.18.0) (and also 0.8.28) so i think it...
GovernanceToken ready for review. Alligator WIP.
closing as it's out of scope. reference: https://github.com/matter-labs/zksync-cli/issues/173