runtimeverification / runtimeverification/kontrol
Add loading icon to UI
Nobody has claimed this yet.
- Dominant language
- Python
- Stars
- 122
- Forks
- 16
- PR merge metrics
- No merged PRs in 30d
Description
Currently it is hard to know if tasks are being run or if something stalled, adding a loading icon would be great. This way a user knows that kontrol is actively doing something without needing to add a --verbose flag and get all the output. UI makes people feel it's working. Here are two instances where this could be beneficial.
-
kevm foundry-kompileshould also have loading icon like foundry, maybe with kompiling -
foundry-prove, foundry people will be used to seeing the moving icon
Suggestion from: @dkcumming
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 tracing the kevm foundry-kompile and foundry-prove command entry points and how foundry currently displays its moving loading indicator. Add equivalent activity feedback for both commands, including suitable wording for kompilation, and verify that users can distinguish active work from a stalled process.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- python
- Domain
- cli
- Issue type
- Feature
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 45/100