Ecosyste.ms: Issues

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

GitHub / hernanponcedeleon issue stats

Total issues: 52
Total pull requests: 7
Merged pull request: 7
Average time to close issues: 17 days
Average time to close pull requests: 13 days
Average comments per issue: 5.44
Average comments per pull request: 1.0

Issues created

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

Pull requests created

sosy-lab/sv-comp: 3
sosy-lab/benchexec: 2
KhronosGroup/Vulkan-Docs: 1
sosy-lab/sv-benchmarks: 1

Maintainer

Active Maintainer

Issue Author Associations

None (48, 92.31%)
Contributor (4, 7.69%)

Pull Request Author Associations

Contributor (7, 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

tool support (2)
issue with benchmark (1)
C (1)
data-race (1)
Memory Model TSG (1)