Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / viper-admin issue stats
Total issues: 959
Total pull requests: 212
Merged pull request: 154
Average time to close issues: about 4 years
Average time to close pull requests: about 2 months
Average comments per issue: 3.48
Average comments per pull request: 2.04
Issues created
- viperproject/viper-ide: 187
- viperproject/chalice2silver: 170
- viperproject/voila: 118
- viperproject/sample: 108
- viperproject/silver: 102
- viperproject/carbon: 101
- viperproject/gobra: 82
- viperproject/axiom-profiler: 36
- viperproject/viper-linux-dev: 20
- viperproject/viperserver: 10
- viperproject/silicon: 6
- viperproject/termination-plugin: 6
- viperproject/tutorial: 5
- viperproject/arp-plugin: 4
- viperproject/viper-linux-dev-docker: 3
- viperproject/viper-runner: 1
Pull requests created
- viperproject/viperserver: 77
- viperproject/gobra: 33
- viperproject/vs-verification-toolbox: 29
- viperproject/prusti-dev: 26
- viperproject/gobra-ide: 22
- viperproject/prusti-assistant: 12
- viperproject/axiom-profiler: 4
- viperproject/termination-plugin: 2
- viperproject/sample: 2
- viperproject/silver: 2
- viperproject/ouroboros: 1
- viperproject/carbon: 1
- viperproject/viper_client: 1
Maintainer
- viperproject/viper-ide: 187
- viperproject/chalice2silver: 170
- viperproject/voila: 118
- viperproject/gobra: 115
- viperproject/sample: 110
- viperproject/silver: 104
- viperproject/carbon: 102
- viperproject/viperserver: 87
- viperproject/axiom-profiler: 40
- viperproject/vs-verification-toolbox: 29
- viperproject/prusti-dev: 26
- viperproject/gobra-ide: 22
- viperproject/viper-linux-dev: 20
- viperproject/prusti-assistant: 12
- viperproject/termination-plugin: 8
Active Maintainer
Issue Author Associations
- Member (959, 100.00%)
Pull Request Author Associations
- Member (212, 100.00%)
Top Issue Labels
- major (561)
- bug (512)
- minor (184)
- enhancement (165)
- pull request (156)
- merged (136)
- task (77)
- proposal (49)
- critical (24)
- duplicate (23)
- blocker (22)
- invalid (21)
- declined (17)
- on hold (13)
- trivial (9)
Top Pull Request Labels
- automated pr (99)
- pull request (22)