search

ethereum / solidity

Solidity, the Smart Contract Programming Language
https://soliditylang.org
GNU General Public License v3.0
22.7k stars 5.64k forks source link

SMTChecker support for `blobbasefee` #14780

Open nikola-matic opened 5 months ago

nikola-matic commented 5 months ago

Given the recent introduction of blobbasefee in https://github.com/ethereum/solidity/pull/14755 for the Cancun fork, blobbasefee support should be implemented for the SMT checker as well. See implementation of basefee (London) for reference: https://github.com/ethereum/solidity/pull/11785

nikola-matic commented 5 months ago

@pgebal may be of interest to you. If I have some spare time, I may also look into this.