Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / erniecohen issue stats
Total issues: 27
Total pull requests: 0
Merged pull request: 0
Average time to close issues: about 1 month
Average time to close pull requests: N/A
Average comments per issue: 1.56
Average comments per pull request: 0
Issues created
- dafny-lang/dafny: 21
- microsoft/ivy: 6
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- None (27, 100.00%)
Pull Request Author Associations
Top Issue Labels
- kind: bug (19)
- during 2: compilation of correct program (10)
- priority: next (8)
- part: resolver (7)
- part: verifier (3)
- severity: crash (2)
- crash (2)
- kind: enhancement (1)
- incompleteness (1)
- has-workaround: yes (1)
- area: refinement (1)