3888 typed context and parser

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 3 months ago

jberthold commented 3 months ago

Introduces a JSON-enabled type for the log context
Uses the new type in all booster logging
Modifies count-aborts to parse the json data using the new type. Performance is on par after switching to TH-derived FromJSON instances.

Conversion of kore-rpc logging is left for future work. Part of #3888