runtimeverification / runtimeverification/kontrol
Kontrol Weekly Update
Open
@yale-vinson is already working on this.
Since Oct 5, 2023.
documentation
- Dominant language
- Python
- Stars
- 122
- Forks
- 16
- PR merge metrics
- No merged PRs in 30d
Description
Weekly report to update progress made by the Kontrol Team, comprised of a bullet list of where we are, what was completed, what's up next, etc., as well as a blog style recap for those that might want a little more detail.
As usual, the author reserves the right to modify the format as the project progresses in order to strive for continuous improvement and utility for the audience.
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.