Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / rainoftime issue stats
Total issues: 194
Total pull requests: 1
Merged pull request: 1
Average time to close issues: 5 months
Average time to close pull requests: 7 days
Average comments per issue: 1.23
Average comments per pull request: 1.0
Issues created
- uuverifiers/ostrich: 72
- ultimate-pa/smtinterpol: 64
- SRI-CSL/yices2: 26
- Boolector/boolector: 23
- dreal/dreal4: 3
- nafur/pydelta: 3
- Z3Prover/z3: 2
- pysmt/pysmt: 1
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- None (192, 98.97%)
- Contributor (2, 1.03%)
Pull Request Author Associations
- None (1, 100.00%)
Top Issue Labels
- issues with princess (29)
- mcsat (9)
- bug (7)
- interpolation (5)
- duplicate (5)
- enhancement (4)
- experimental (3)
- question (2)
- QF_NRA (2)
- performance (1)
- more information needed (1)
- Floats (1)
- QF_NIA (1)