GitHub / caballa issue stats
Total issues: 92
Total pull requests: 25
Merged pull request: 17
Average time to close issues: about 1 year
Average time to close pull requests: about 1 month
Average comments per issue: 1.52
Average comments per pull request: 0.8
Issues created
- seahorn/crab: 23
- seahorn/clam: 18
- SRI-CSL/OCCAM: 14
- seahorn/seahorn: 9
- sri-csl/clam-prov: 5
- sri-csl/occam-benchmarks: 5
- caballa/crabber: 4
- seahorn/sea-dsa: 4
- fornwall/jelf: 2
- kdudka/predator: 1
- antoinemine/apron: 1
- facebookexperimental/MIRAI: 1
- vbpf/prevail: 1
- model-checking/kani: 1
- secure-software-engineering/phasar: 1
- seahorn/elina: 1
- sri-csl/sally: 1
Pull requests created
- seahorn/sea-dsa: 13
- vbpf/prevail: 4
- seahorn/crab: 4
- seahorn/clam: 3
- seahorn/llvm-seahorn: 1
Maintainer
- vbpf/prevail: 5
- sri-csl/clam-prov: 5
- caballa/crabber: 4
Active Maintainer
Issue Author Associations
- Contributor (61, 66.30%)
- None (21, 22.83%)
- Collaborator (6, 6.52%)
- Owner (4, 4.35%)
Pull Request Author Associations
- Contributor (21, 84.00%)
- Collaborator (4, 16.00%)
Top Issue Labels
- enhancement (31)
- bug (15)
- domains (11)
- question (5)
- crab (5)
- help wanted (4)
- low priority (3)
- high priority (3)
- todo (3)
- new domain (3)
- wontfix (2)
- CrabIR (2)
- sea-dsa (2)
- fixed (2)
- new feature (2)
Top Pull Request Labels
- enhancement (2)