More flexible logging options in RPC requests
Nobody has claimed this yet.
Assessment
- Difficulty
- 5/5
- Estimated time
- Over a week
- Newbie friendliness
- 35/100
Research direction
Start with the RPC request logging params described in this issue and review the sister issue in haskell-backend (#3655) for related decisions. Done means the logging schema is extensible through log-tags and the affected backends can choose whether to implement individual options.
Written by the indexing model from the issue text.
Description
In the Haskell team, we're working on providing fine-grained information on when kore-rpc-booster aborts in Booster and reverts to Kore. We will output this information on a per-request basis, as part of the "logs" field.
While for this use-case the current RPC log options are enough, we anticipate the need for additional RPC log options. To reduce friction with other backends (i.e. Maude) in future, we propose a schema change that would make the RPC log options extensible. Since RPC logs are not a part of the core backend functionality, every backend may choose whether or not to implement a particular log option.
Proposed change to request logging params:
Currently:
"log-successful-rewrites": bool,
"log-failing-rewrites": bool,
"log-successfule-simplifications": bool,
"log-failing-simplifications": bool,
...
After change:
"log-tags": [ "log-xxx-rewrites", "log-yyy-simplifications", ...]
The sister issue in haskell-backend: https://github.com/runtimeverification/haskell-backend/issues/3655
- Dominant language
- Python
- Stars
- 591
- Forks
- 163
- PR merge metrics
- No merged PRs in 30d
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
More from runtimeverification/k
-
runtimeverification/k#4939 · 1 assignee ·
-
Concolic Explorer Open
Difficulty 5/5 Over a week Newbie friendliness 32/100
runtimeverification/k#4937 ·
-
Difficulty 5/5 Over a week Newbie friendliness 30/100
runtimeverification/k#4936 ·
-
type:epic
runtimeverification/k#4934 · 4 comments · 1 assignee ·
-
runtimeverification/k#4924 · 1 assignee ·
All issues in runtimeverification/k
Similar issues
-
Difficulty 2/5 1-3 hours Newbie friendliness 74/100
bancolombia/sentinel#23 ·
-
test md OpenCI
Difficulty 2/5 1-3 hours Newbie friendliness 74/100
-
integration:quickjs org:external priority:backlog topic:code-interpreter topic:middleware type:feature
Difficulty 2/5 1-3 hours Newbie friendliness 74/100
langchain-ai/deepagents#6450 ·
-
bug client
Difficulty 2/5 1-3 hours Newbie friendliness 88/100
-
Difficulty 2/5 1-3 hours Newbie friendliness 74/100