Profiteur timing visualisation

runtimeverification / haskell-backend

The symbolic execution engine powering the K Framework

BSD 3-Clause "New" or "Revised" License

208 stars 41 forks source link

Closed goodlyrottenapple closed 3 months ago

goodlyrottenapple commented 3 months ago

This PR adds a small utility for turning JSON logs into timing profiles visualised via the https://github.com/jaspervdj/profiteur library