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:
about 2 months
Past Month:
about 2 months

Average time to close pull requests

All Time:
9 days
Past Year:
5 days
Past Month:
11 days

New issues and pull requests

Average new issues per month

All Time:
12
Past Year:
13

Average new pull requests per month

All Time:
34
Past Year:
38