Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / jtristan issue stats
Total issues: 22
Total pull requests: 122
Merged pull request: 97
Average time to close issues: 2 months
Average time to close pull requests: 13 days
Average comments per issue: 3.14
Average comments per pull request: 0.11
Issues created
Pull requests created
Maintainer
- dafny-lang/dafny-vmc: 38
- leanprover/sampcert: 34
- leanprover/sherloc: 17
- leanprover/nkl: 2
Active Maintainer
- leanprover/sampcert: 34
- leanprover/sherloc: 17
- leanprover/nkl: 2
Issue Author Associations
- Contributor (12, 54.55%)
- Collaborator (8, 36.36%)
- None (2, 9.09%)
Pull Request Author Associations
- Collaborator (83, 68.03%)
- Contributor (38, 31.15%)
- None (1, 0.82%)
Top Issue Labels
- enhancement (9)
- kind: bug (8)
- Priority : medium (4)
- Back end (4)
- severity: soundness (logic) (3)
- Middle end (3)
- kind: enhancement (3)
- Priority : low (3)
- priority: not yet (2)
- Front end (1)
- Priority : high (1)
- during 2: compilation of correct program (1)
- incompleteness (1)
- during 3: execution of incorrect program (1)
- area: error-reporting (1)
Top Pull Request Labels
- run-deep-tests (2)