Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / ssomayyajula issue stats
Total issues: 10
Total pull requests: 13
Merged pull request: 11
Average time to close issues: 12 days
Average time to close pull requests: 10 days
Average comments per issue: 0.9
Average comments per pull request: 0.54
Issues created
- dafny-lang/dafny: 10
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (10, 100.00%)
Pull Request Author Associations
- Contributor (13, 100.00%)
Top Issue Labels
- kind: bug (10)
- part: resolver (4)
- incompleteness (3)
- invalid translated code (3)
- severity: crash (2)
- part: verifier (2)
- severity: has-workaround (1)
- crash (1)
- part: boogie (1)
- priority: next (1)
- during 2: compilation of correct program (1)
- area: refinement (1)