Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / merlinsun issue stats
Total issues: 94
Total pull requests: 2
Merged pull request: 2
Average time to close issues: 3 months
Average time to close pull requests: 5 days
Average comments per issue: 1.2
Average comments per pull request: 1.0
Issues created
- Z3Prover/z3: 58
- cvc5/cvc5: 30
- WebAssembly/binaryen: 2
- Practical-Formal-Methods/storm: 2
- testsmt/yinyang: 1
- SRI-CSL/yices2: 1
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- None (94, 100.00%)
Pull Request Author Associations
- Contributor (2, 100.00%)
Top Issue Labels
- qel (6)
- bug (4)
- performance (4)
- Floats (3)
- qe (3)
- string (3)