Adding new solc-specific simplification rules - Githubissues

ethereum / hevm

symbolic EVM evaluator

https://hevm.dev

GNU Affero General Public License v3.0

235 stars 48 forks source link

Adding new solc-specific simplification rules #421

Closed msooseth closed 12 months ago

msooseth commented 12 months ago

Description

This adds a few new solc-specific simplification rules

Checklist

[ ] tested locally
[ ] added automated tests
[ ] updated the docs
[x] updated the changelog