Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / blishko issue stats
Total issues: 18
Total pull requests: 50
Merged pull request: 47
Average time to close issues: 6 months
Average time to close pull requests: 6 days
Average comments per issue: 1.89
Average comments per pull request: 2.1
Issues created
- ethereum/solidity: 6
- Z3Prover/z3: 6
- ethereum/hevm: 5
- ddsmt/ddSMT: 1
Pull requests created
- ethereum/hevm: 25
- ethereum/solidity: 18
- sri-csl/sally: 3
- sosy-lab/benchexec: 3
- ddsmt/ddSMT: 1
Maintainer
- ethereum/hevm: 30
Active Maintainer
- ethereum/hevm: 30
Issue Author Associations
- Contributor (7, 38.89%)
- None (6, 33.33%)
- Collaborator (5, 27.78%)
Pull Request Author Associations
- Contributor (25, 50.00%)
- Collaborator (25, 50.00%)
Top Issue Labels
- Horn (4)
- smt (4)
- bug :bug: (2)
- enhancement (2)
- breaking change :warning: (1)
- low effort (1)
- low impact (1)
- should have (1)
- bug (1)
- needs investigation (1)
Top Pull Request Labels
- smt (7)
- :yellow_circle: (7)
- tool support (3)
- performance :racehorse: (2)