GitHub / cdstanford issue stats
Total issues: 76
Total pull requests: 10
Merged pull request: 10
Average time to close issues: 2 months
Average time to close pull requests: about 5 hours
Average comments per issue: 1.93
Average comments per pull request: 0.7
Issues created
- PLSysSec/cargo-scan: 58
- dafny-lang/dafny: 3
- alexsomai/stackoverflow-fanatic-badge: 2
- cdstanford/gid: 2
- Z3Prover/z3: 2
- cmyr/cargo-instruments: 1
- dafny-lang/ide-vscode: 1
- viperproject/prusti-dev: 1
- facebookexperimental/MIRAI: 1
- fujiapple852/trippy: 1
- rust-lang/rust-analyzer: 1
- DDOtten/partitions: 1
- prove-rs/z3.rs: 1
- rust-lang/cargo: 1
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- Collaborator (58, 76.32%)
- None (12, 15.79%)
- Contributor (4, 5.26%)
- Owner (2, 2.63%)
Pull Request Author Associations
- Member (3, 30.00%)
- Collaborator (3, 30.00%)
- Owner (2, 20.00%)
- Contributor (2, 20.00%)
Top Issue Labels
- bug (23)
- roadmap-v0 (19)
- enhancement (10)
- roadmap-v1 (8)
- roadmap-unplanned (7)
- good first issue (4)
- kind: bug (3)
- help wanted (2)
- C-bug (2)
- documentation (1)
- incompleteness (1)
- part: counterexamples (1)
- S-needs-info (1)
- during 1: program development (1)