Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / txiang61 issue stats
Total issues: 13
Total pull requests: 1
Merged pull request: 1
Average time to close issues: 24 days
Average time to close pull requests: 13 days
Average comments per issue: 1.92
Average comments per pull request: 0.0
Issues created
- dafny-lang/dafny: 13
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- None (13, 100.00%)
Pull Request Author Associations
- None (1, 100.00%)
Top Issue Labels
- kind: bug (11)
- part: resolver (6)
- priority: next (4)
- during 2: compilation of correct program (3)
- kind: enhancement (2)
- crash (2)
- during 1: program development (2)
- area: error-reporting (1)
- difficulty: easy (1)
- makes-mikael-grateful (1)
- incompleteness (1)
- difficulty: hard (1)
- priority: now (1)
- priority: not yet (1)