GitHub / viperproject / prusti-dev issue stats
Last synced: 8 days ago
Total issues: 98
Total pull requests: 135
Average time to close issues: 4 months
Average time to close pull requests: 27 days
Total issue authors: 38
Total pull request authors: 31
Average comments per issue: 1.34
Average comments per pull request: 1.64
Merged pull requests: 72
Bot issues: 0
Bot pull requests: 0
Past year issues: 9
Past year pull requests: 2
Past year average time to close issues: 4 days
Past year average time to close pull requests: N/A
Past year issue authors: 7
Past year pull request authors: 2
Past year average comments per issue: 1.44
Past year average comments per pull request: 0.0
Past year merged pull requests: 0
Past year bot issues: 0
Past year bot pull requests: 0
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/viperproject%2Fprusti-dev
Issue Author Associations
- None (54, 55.10%)
- Member (24, 24.49%)
- Contributor (20, 20.41%)
Pull Request Author Associations
- Member (63, 46.67%)
- Contributor (50, 37.04%)
- None (15, 11.11%)
- Collaborator (7, 5.19%)
Top Issue Authors
- fpoli (23)
- Patrick-6 (17)
- nokunish (9)
- mimo31 (5)
- Ramla-I (4)
- stoneman258 (3)
- nishanthkarthik (3)
- djc (2)
- rlaferla (2)
- vfukala (2)
- bjorn3 (1)
- lpnaunau (1)
- cdstanford (1)
- finegeometer (1)
- ranjitjhala (1)
Top Pull Request Authors
- fpoli (41)
- viper-admin (20)
- JonasAlaif (13)
- simon-hrabec (10)
- vakaras (7)
- zgrannan (7)
- Patrick-6 (4)
- mimo31 (3)
- JakuJ (3)
- Aurel300 (2)
- jscissr (2)
- Pialex99 (2)
- cedihegi (2)
- pascal-huber (2)
- thederekkaplan (1)
All Maintainers
- fpoli (64)
- viper-admin (20)
- zgrannan (7)
- Aurel300 (3)
Active Maintainers
Top Issue Labels
- bug (32)
- enhancement (11)
- error-reporting (10)
- good first issue (8)
- unsoundness (5)
- incompleteness (3)
- documentation (3)
- duplicate (2)
- viper-issue (2)
- question (1)
- refs-in-structs (1)
- pending-on-external (1)
- help wanted (1)
Top Pull Request Labels
- examples (1)
- pending-on-external (1)