Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / andrea1775 issue stats
Total issues: 13
Total pull requests: 0
Merged pull request: 0
Average time to close issues: 8 days
Average time to close pull requests: N/A
Average comments per issue: 0.92
Average comments per pull request: 0
Issues created
- seahorn/clam: 12
- diffblue/cbmc: 1
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- None (13, 100.00%)
Pull Request Author Associations
Top Issue Labels
- bug (8)
- crab (2)
- backward analysis (2)
- llvm-to-crabIR (2)