Repo Trends
runtimeverification/k
View on GitHub
K Framework Tools 7.0
Open issues and pull requests
Average time to close issues
All Time:
5 months
Past Year:
3 months
Past Month:
about 1 month
Average time to close pull requests
All Time:
9 days
Past Year:
9 days
Past Month:
7 days
New issues and pull requests
Average new issues per month
All Time:
12
Past Year:
23
Average new pull requests per month
All Time:
34
Past Year:
59