search

runtimeverification / haskell-backend

The symbolic execution engine powering the K Framework
BSD 3-Clause "New" or "Revised" License
208 stars 41 forks source link

Filter the requires of rewrites again, after simplifications #3981

Closed geo2a closed 2 months ago

geo2a commented 2 months ago

Fixes #3886

geo2a commented 2 months ago

No difference in KEVM performance