search

dapphub / dapptools

Dapp, Seth, Hevm, and more
https://dapp.tools
2.1k stars 325 forks source link

New simplifier rules #956

Closed msooseth closed 2 years ago

msooseth commented 2 years ago

Description

More rewrite rules, especially read->write.