runtimeverification / runtimeverification/kontrol
Automate external computation/state-diff approach
Nobody has claimed this yet.
- Dominant language
- Python
- Stars
- 122
- Forks
- 16
- PR merge metrics
- No merged PRs in 30d
Description
Currently, the external computation/state-diff approach to summarize setUp function/deployment process is mostly manual, as documented here
This, however, prevents us from being able to use KaaS on such projects continuously, since the summary files have to regenerated on code changes. We should investigate the standardization of file names/env variables across project to automate and fit it into a single command.
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.
Research direction
Start by reading the linked Kontrol external-computation documentation and the EthCC Workshop material to understand the current manual state-diff workflow. Define standardized file names and environment variables, then determine what a single command must regenerate when project code changes and how continuous KaaS use would verify that it is complete.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- python
- Domain
- cli, tooling
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100