Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / zhendongsu issue stats
Total issues: 81
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.74
Average comments per pull request: 0
Issues created
- Z3Prover/z3: 38
- llvm/llvm-project: 22
- cvc5/cvc5: 18
- rust-lang/rust: 3
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- None (81, 100.00%)
Pull Request Author Associations
Top Issue Labels
- miscompilation (10)
- llvm:optimizations (8)
- crash (7)
- Floats (4)
- llvm:GVN (4)
- bugzilla (4)
- llvm:SCEV (3)
- regression (3)
- C-bug (3)
- I-ICE (3)
- nlsat (3)
- string (3)
- performance (2)
- clang:frontend (2)
- c++11 (2)