runtimeverification / runtimeverification/kontrol
Standalone web visualizer working as widget on people's machines
Open
Nobody has claimed this yet.
- Dominant language
- Python
- Stars
- 122
- Forks
- 16
- PR merge metrics
- No merged PRs in 30d
Description
Pull out visualization component into kontrol repo for AGProof. This should allow launching a small web server locally, which can read the KCFGs from disk and visualize them.
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 locating the existing visualization component and the code that reads KCFGs, then determine how the component can be moved into the kontrol repository. Check the local server entry point and verify that it launches, reads KCFGs from disk, and renders them as a standalone web visualizer.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- python
- Domain
- data-visualization, web-dev
- Issue type
- Feature
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100