Ecosyste.ms: Issues

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

GitHub / kroening issue stats

Total issues: 0
Total pull requests: 126
Merged pull request: 94
Average time to close issues: N/A
Average time to close pull requests: 9 months
Average comments per issue: 0
Average comments per pull request: 1.8

Issues created

Pull requests created

Maintainer

Active Maintainer

Issue Author Associations

Pull Request Author Associations

  • Member (126, 100.00%)

Top Issue Labels

Top Pull Request Labels

  • Solvers (20)
  • C Front End (17)
  • SMT Backend Interface (11)
  • cleanup (10)
  • C++ Front End (10)
  • bugfix (9)
  • soundness (6)
  • Tests (6)
  • enhancement (5)
  • do not merge (4)
  • documentation (3)
  • Build (3)
  • Version 6 (3)
  • work in progress (2)
  • Java Front End (2)