Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / feliperodri issue stats
Total issues: 29
Total pull requests: 63
Merged pull request: 54
Average time to close issues: over 1 year
Average time to close pull requests: 19 days
Average comments per issue: 1.31
Average comments per pull request: 0.73
Issues created
Pull requests created
- model-checking/kani: 21
- awslabs/aws-verification-model-for-libcrypto: 17
- model-checking/cbmc-starter-kit: 7
- freertos/corehttp: 4
- diffblue/cbmc: 3
- sosy-lab/sv-comp: 2
- freertos/corejson: 2
- aws/Device-Shadow-for-AWS-IoT-embedded-sdk: 1
- firecracker-microvm/firecracker: 1
- aws/ota-for-aws-iot-embedded-sdk: 1
- model-checking/kani-github-action: 1
- aws/s2n-tls: 1
- aws/s2n-quic: 1
- awslabs/aws-c-common: 1
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (25, 86.21%)
- Collaborator (3, 10.34%)
- None (1, 3.45%)
Pull Request Author Associations
- Contributor (60, 95.24%)
- Collaborator (3, 4.76%)
Top Issue Labels
- p3 (7)
- cbmc (7)
- bug (6)
- closed-for-staleness (6)
- response-requested (6)
- enhancement (5)
- aws (3)
- question (2)
- aws-high (1)
- needs-review (1)
- [C] Feature / Enhancement (1)
- Kani (1)
- Z-Kani Compiler (1)
- [C] Internal (1)
- [E] Performance (1)
Top Pull Request Labels
- Z-BenchCI (15)
- enhancement (10)
- aws (3)
- documentation (2)
- bug (2)
- cbmc (1)
- CBMC (1)
- Status: Awaiting review (1)
- aws-high (1)
- do not review (1)
- bug fix (1)
- T-RFC (1)
- [C] Feature / Enhancement (1)
- Z-Contracts (1)