runtimeverification / runtimeverification/kontrol
Improve Kontrol pretty printing
Open
@JuanCoRo is already working on this.
Since Jun 27, 2024.
enhancement
- Dominant language
- Python
- Stars
- 122
- Forks
- 16
- PR merge metrics
- No merged PRs in 30d
Description
PR #642 adds pretty printing to some of Kontrol's outputs. There are still several things that we can improve to make Kontrol even prettier and to provide more info:
-
kontrol build: Add a progress bar/indicator for how long it takes/what is remaining -
kontrol prove: Add a progress bar/indicator for how many proofs are running, how many have passed, and how many failed -
kontrol prove: Include a verbose option which shows a livekontrol listof sorts - Add a live stopwatch indicating for how long a command has been running
-
kontrol list: pretty print everything -
kontrol list: Make the appearing proofs clickable to jump tokontrol view-kcfg - Make drop-down menus with clickable stuff
-
kontrol show: add syntax highlighting - FIX what appears to be a conflict between the base logger and the messages outputted by Rich. As an example, in this screenshot, the blue message should not be persistent:
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.
Assessment
This issue has not been assessed yet.