GitHub / ArquintL issue stats
Total issues: 41
Total pull requests: 125
Merged pull request: 110
Average time to close issues: 5 months
Average time to close pull requests: 15 days
Average comments per issue: 1.46
Average comments per pull request: 0.81
Issues created
Pull requests created
- viperproject/gobra: 34
- viperproject/viperserver: 27
- viperproject/gobra-ide: 27
- viperproject/vs-verification-toolbox: 9
- jvilk/locate-java-home: 5
- viperproject/check-license-header: 4
- viperproject/create-nightly-release: 3
- viperproject/locate-java-home: 3
- awslabs/ar-go-tools: 2
- viperproject/silver-sif-extension: 2
- erikbrinkman/d3-dag: 2
- microsoft/Typedoc-Webpack-Plugin: 1
- viperproject/silver: 1
- viperproject/reusableprotocolverificationlibrary: 1
- viperproject/carbon: 1
- arquintl/d3-dag-example: 1
- viperproject/bitbucket-issue-migration: 1
- sproogen/modern-resume-theme: 1
Maintainer
- viperproject/gobra: 45
- viperproject/gobra-ide: 38
- viperproject/viperserver: 31
- viperproject/vs-verification-toolbox: 11
- viperproject/check-license-header: 4
- viperproject/silicon: 3
- viperproject/create-nightly-release: 3
- viperproject/locate-java-home: 3
- viperproject/silver-sif-extension: 2
- arquintl/d3-dag-example: 1
- viperproject/silver: 1
- viperproject/carbon: 1
- viperproject/bitbucket-issue-migration: 1
- viperproject/reusableprotocolverificationlibrary: 1
Issue Author Associations
- Member (31, 75.61%)
- None (9, 21.95%)
- Contributor (1, 2.44%)
Pull Request Author Associations
- Member (113, 90.40%)
- None (7, 5.60%)
- Contributor (4, 3.20%)
- Owner (1, 0.80%)
Top Issue Labels
- bug (6)
- enhancement (4)
- encoding (3)
- critical (2)
- type checking (2)
- incompleteness (2)
- desugaring (1)
- permissions (1)
- functions (1)
- unsoundness (1)
- SIF (1)
- overflow (1)
- termination-checking (1)
Top Pull Request Labels
- enhancement (2)
- no-pr-activity (1)
- bug (1)
- type checking (1)