pyk: per-request haskell-backend RPC logging - #4928

Merged

ehildenb merged 15 commits into

kore-rpc-improvements

Jun 5, 2026

Commits on Jun 3, 2026

kore/rpc: factor haskell-log args into overridable _haskell_log_cli_args hook

ehildenb
and
claude
committed
2001124
kore/rpc, tests/unit/kore/test_server_cli_args: emit booster-form --log-file / -l in BoosterServer

ehildenb
and
claude
committed
10f07e6
kore/rpc, tests/unit/kore/test_rpc_client: add last_request_id thread-local accessor on KoreClient

ehildenb
and
claude
committed
0f02cf8
kore/rpc, cterm/symbolic, tests/unit/kore/test_client, tests/integration/{kore/test_kore_client,test_division_hooks}: per-request haskell-logging entry list + haskell-log-entries on result types

ehildenb
and
claude
committed
e1af771
cterm/symbolic, kcfg/explore, tests/unit/cterm/test_symbolic: thread haskell_logging through execute, simplify, kast_simplify, implies, extend_cterm

ehildenb
and
claude
committed
3daf89e

Commits on Jun 4, 2026

Commits on Jun 5, 2026