Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / RustanLeino issue stats
Total issues: 84
Total pull requests: 85
Merged pull request: 73
Average time to close issues: 2 months
Average time to close pull requests: 10 days
Average comments per issue: 0.9
Average comments per pull request: 0.54
Issues created
Pull requests created
Maintainer
- dafny-lang/dafny: 164
Active Maintainer
- dafny-lang/dafny: 105
Issue Author Associations
- Collaborator (80, 95.24%)
- None (4, 4.76%)
Pull Request Author Associations
- Collaborator (84, 98.82%)
- Contributor (1, 1.18%)
Top Issue Labels
- kind: bug (65)
- part: verifier (18)
- part: resolver (18)
- part: code-generation (12)
- priority: not yet (10)
- during 3: execution of incorrect program (9)
- lang: java (8)
- kind: enhancement (8)
- priority: next (8)
- severity: crash (7)
- during 2: compilation of correct program (6)
- crash (5)
- area: error-reporting (4)
- severity: soundness (logic) (4)
- lang: js (3)