Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / caballa issue stats
Total issues: 98
Total pull requests: 33
Merged pull request: 22
Average time to close issues: 11 months
Average time to close pull requests: about 1 month
Average comments per issue: 1.86
Average comments per pull request: 0.7
Issues created
- seahorn/crab: 23
- seahorn/clam: 21
- seahorn/seahorn: 15
- SRI-CSL/OCCAM: 14
- seahorn/sea-dsa: 5
- sri-csl/clam-prov: 5
- sri-csl/occam-benchmarks: 5
- fornwall/jelf: 2
- antoinemine/apron: 2
- kdudka/predator: 1
- facebookexperimental/MIRAI: 1
- secure-software-engineering/phasar: 1
- sri-csl/sally: 1
- seahorn/elina: 1
- model-checking/kani: 1
Pull requests created
- seahorn/sea-dsa: 23
- seahorn/clam: 5
- seahorn/crab: 4
- seahorn/llvm-seahorn: 1
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (71, 72.45%)
- None (22, 22.45%)
- Collaborator (5, 5.10%)
Pull Request Author Associations
- Contributor (33, 100.00%)
Top Issue Labels
- enhancement (31)
- bug (19)
- domains (11)
- question (6)
- crab (5)
- help wanted (4)
- sea-dsa (4)
- high priority (3)
- new domain (3)
- low priority (3)
- todo (3)
- llvm-to-crabIR (2)
- new feature (2)
- fixed (2)
- CrabIR (2)
Top Pull Request Labels
- enhancement (2)