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

Restrict the scope of bool pred internalisation to syntactic transformation only #3945

Closed goodlyrottenapple closed 3 months ago

goodlyrottenapple commented 3 months ago

Fixes #3938

PetarMax commented 3 months ago

I see that this has been merged, which is great, but were there any changes in performance observed across KEVM/Kontrol/elsewhere?

goodlyrottenapple commented 3 months ago

No, as far as i could tell from running the KEVM performance tests, there was no change