search

costa-group / gasol-optimizer

GNU General Public License v3.0
107 stars 9 forks source link

New optimization rule #39

Closed tutugordillo closed 1 year ago

tutugordillo commented 1 year ago

Add the follwing rule: and(shl(X, Y), shl(X, Z)) => shl(X, and(Y, Z))

it is included in solc 0.8.18 (https://github.com/ethereum/solidity/releases)

tutugordillo commented 1 year ago

closed by commit af72b5e