Fixes to simplification diff, request statistics, process-logs

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 jberthold closed 2 months ago

jberthold commented 2 months ago

Add some context lines to simplification diff
compute request statistics in seconds (and output in seconds in the json format)
Make process-logs fail immediately on parse errors, and process lines incrementally (less heap)