Ecosyste.ms: Issues

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

GitHub / adpaco-aws issue stats

Total issues: 78
Total pull requests: 83
Merged pull request: 72
Average time to close issues: 8 months
Average time to close pull requests: 21 days
Average comments per issue: 1.0
Average comments per pull request: 1.27

Issues created

model-checking/kani: 59
camshaft/bolero: 7
xldenis/creusot: 3
diffblue/cbmc: 2
creusot-rs/creusot: 2
awslabs/aws-c-common: 1
oli-obk/cargo_metadata: 1
model-checking/cbmc-viewer: 1
rust-lang/project-stable-mir: 1
awslabs/aws-verification-model-for-libcrypto: 1

Pull requests created

Maintainer

camshaft/bolero: 26

Active Maintainer

Issue Author Associations

Contributor (62, 79.49%)
None (9, 11.54%)
Collaborator (7, 8.97%)

Pull Request Author Associations

Contributor (64, 77.11%)
Collaborator (19, 22.89%)

Top Issue Labels

[C] Feature / Enhancement (25)
[C] Bug (22)
[E] User Experience (13)
[C] Internal (10)
[F] Crash (8)
[F] Spurious Failure (7)
Z-UnstableFeature (7)
T-User (6)
[E] Performance (4)
bug (4)
[F] Soundness (3)
error-messages (3)
T-RFC (3)
T-CBMC (3)
[E] Unsupported UB (2)

Top Pull Request Labels

Z-BenchCI (25)
T-RFC (4)
T-compiler (1)
S-waiting-on-review (1)