Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / zhendongsu issue stats
Total issues: 99
Total pull requests: 0
Merged pull request: 0
Average time to close issues: 4 months
Average time to close pull requests: N/A
Average comments per issue: 1.76
Average comments per pull request: 0
Issues created
- Z3Prover/z3: 38
- cvc5/cvc5: 30
- llvm/llvm-project: 28
- rust-lang/rust: 3
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- None (99, 100.00%)
Pull Request Author Associations
Top Issue Labels
- experimental (14)
- miscompilation (12)
- crash (10)
- llvm:optimizations (8)
- llvm:SLPVectorizer (5)
- Floats (4)
- llvm:GVN (4)
- bugzilla (4)
- llvm:SCEV (3)
- regression (3)
- C-bug (3)
- I-ICE (3)
- nlsat (3)
- string (3)
- vectorization (2)