search

runtimeverification / haskell-backend

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

Kore context log fixes #3921

Closed goodlyrottenapple closed 3 weeks ago

goodlyrottenapple commented 3 weeks ago

Further tweaks to context logs, introducing more detailed contexts in kore