Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / markrtuttle issue stats

Total issues: 14
Total pull requests: 74
Merged pull request: 69
Average time to close issues: 9 months
Average time to close pull requests: 13 days
Average comments per issue: 1.64
Average comments per pull request: 0.3

Issues created

model-checking/cbmc-viewer: 6
model-checking/cbmc-starter-kit: 4
dafny-lang/dafny: 3
model-checking/kani: 1

Pull requests created

model-checking/cbmc-viewer: 57
model-checking/cbmc-starter-kit: 17

Maintainer

Active Maintainer

Issue Author Associations

Contributor (11, 78.57%)
None (3, 21.43%)

Pull Request Author Associations

Contributor (74, 100.00%)

Top Issue Labels

enhancement (5)
kind: bug (3)
bug (2)
part: resolver (2)
testing (1)
severity: has-workaround (1)
[C] Bug (1)

Top Pull Request Labels

enhancement (2)
testing (2)