Incremental kompilation
Nobody has claimed this yet.
Assessment
- Difficulty
- 5/5
- Estimated time
- Over a week
- Newbie friendliness
- 20/100
Research direction
Start by reading pyk and the existing kompile flow, including how it produces definition.kore and interacts with the K Frontend. Define the incremental boundaries for unchanged syntax, modules, and syntax sentences before considering an inner parser JSON-RPC interface. Done means a validated design and implementation that avoids unnecessary parsing and compilation while supporting efficient compiled-artifact updates.
Written by the indexing model from the issue text.
Description
With access to a K outer parser pyk can potentially implement its own, incremental kompilation pipeline that relies on kompile to do inner parsing but ultimately does everything else.
Examples for cases where incrementality can be taken advantage of:
- if some syntax is not changed do not regenerate the inner parser for it
- if a module and its syntax is not changed do not kompile it
- if a syntax sentence and its syntax is not changed do not inner-parse and kompile it
- ...
An output representation more granular than definition.kore that allows efficiently checking and modifying part of the kompiled artifact is probably needed for performance.
An inner parser JSON RPC interface would make interacting with the K Frontend more convenient and simple.
- 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