More simplifications for SMod, Mod, Div and SDiv - Githubissues

ethereum / hevm

symbolic EVM evaluator

https://hevm.dev

GNU Affero General Public License v3.0

227 stars 46 forks source link

More simplifications for SMod, Mod, Div and SDiv #541

Closed msooseth closed 2 weeks ago

msooseth commented 3 weeks ago

Description

Just some more simplifications

Checklist

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