-
Notifications
You must be signed in to change notification settings - Fork 42
Closed
Labels
runtimeverification/hs-backend-boosterIssues transferred from runtimeverification/hs-backend-boosterIssues transferred from runtimeverification/hs-backend-booster
Description
Given we are now heading in the direction of emitting structured JSON logs for various events, there doesn't seem to be much use in also maintaining the eventlog tracing infrastructure. The main reason we used it in the past was to debug the LLVM bindings, but those ave been stable for a while. Otherwise there has been no use for these and we simply maintain dead code in the library as well as the parsing utility.
Metadata
Metadata
Assignees
Labels
runtimeverification/hs-backend-boosterIssues transferred from runtimeverification/hs-backend-boosterIssues transferred from runtimeverification/hs-backend-booster