Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / hernanponcedeleon issue stats

Total issues: 48
Total pull requests: 5
Merged pull request: 5
Average time to close issues: 5 days
Average time to close pull requests: 5 days
Average comments per issue: 5.31
Average comments per pull request: 0.6

Issues created

sosy-lab/java-smt: 42
sosy-lab/sv-benchmarks: 4
sosy-lab/sv-witnesses: 2

Pull requests created

sosy-lab/sv-comp: 3
sosy-lab/benchexec: 1
sosy-lab/sv-benchmarks: 1

Maintainer

Active Maintainer

Issue Author Associations

None (44, 91.67%)
Contributor (4, 8.33%)

Pull Request Author Associations

Contributor (5, 100.00%)

Top Issue Labels

Z3 (5)
dependencies (4)
MathSAT (3)
enhancement (2)
API (2)
solver (2)
C (2)
bug (1)
help wanted (1)
issue with benchmark (1)
question (1)
duplicate (1)

Top Pull Request Labels

issue with benchmark (1)
C (1)
data-race (1)
tool support (1)