Adding POr and PAnd rules - Githubissues

ethereum / hevm

symbolic EVM evaluator

https://hevm.dev

GNU Affero General Public License v3.0

223 stars 45 forks source link

Adding POr and PAnd rules #464

Closed msooseth closed 5 months ago

msooseth commented 5 months ago

Description

Adding some POr and PAnd rules

Checklist

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