GitHub / ziqiaozhou issue stats
Total issues: 14
Total pull requests: 53
Merged pull request: 43
Average time to close issues: 10 days
Average time to close pull requests: 14 days
Average comments per issue: 0.79
Average comments per pull request: 1.34
Issues created
Pull requests created
- verus-lang/verus: 36
- microsoft/verismo: 13
- MSRSSP/svsm: 2
- coconut-svsm/svsm: 1
- sri-csl/llvm2smt: 1
Maintainer
- verus-lang/verus: 45
Active Maintainer
- verus-lang/verus: 44
Issue Author Associations
- Collaborator (9, 64.29%)
- None (5, 35.71%)
Pull Request Author Associations
- Collaborator (36, 67.92%)
- Contributor (14, 26.42%)
- None (3, 5.66%)
Top Issue Labels
- mshv (1)
- enhancement (1)
- soundness (1)