Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / RustanLeino issue stats
Total issues: 110
Total pull requests: 132
Merged pull request: 115
Average time to close issues: 10 months
Average time to close pull requests: 23 days
Average comments per issue: 1.38
Average comments per pull request: 1.07
Issues created
Pull requests created
Maintainer
- dafny-lang/dafny: 198
- dafny-lang/libraries: 3
- dafny-lang/rfcs: 2
Active Maintainer
- dafny-lang/dafny: 89
Issue Author Associations
- Collaborator (96, 87.27%)
- Contributor (9, 8.18%)
- None (5, 4.55%)
Pull Request Author Associations
- Collaborator (107, 81.06%)
- Contributor (25, 18.94%)
Top Issue Labels
- kind: bug (78)
- part: verifier (22)
- part: resolver (19)
- priority: not yet (18)
- part: code-generation (12)
- crash (11)
- status: fixed (11)
- during 3: execution of incorrect program (10)
- kind: enhancement (9)
- priority: next (8)
- during 2: compilation of correct program (8)
- lang: java (8)
- area: error-reporting (4)
- severity: soundness (logic) (4)
- invalid translated code (3)
Top Pull Request Labels
- run-integration-tests (1)
- breaking-change (1)