GitHub / tautschnig issue stats
Total issues: 45
Total pull requests: 640
Merged pull request: 508
Average time to close issues: 6 months
Average time to close pull requests: 2 months
Average comments per issue: 2.0
Average comments per pull request: 1.61
Issues created
- diffblue/cbmc: 12
- model-checking/kani: 10
- sosy-lab/sv-benchmarks: 6
- sosy-lab/sv-witnesses: 2
- aws/aws-encryption-sdk-c: 2
- tautschnig/cprover-debian: 2
- model-checking/cbmc-viewer: 2
- rust-lang/rust: 1
- sodabrew/libsieve: 1
- paulproteus/public-udd-mirror: 1
- janestreet/ppx_expect: 1
- mate-desktop/mate-user-share: 1
- awslabs/aws-build-accumulator: 1
- janestreet/stdio: 1
- model-checking/cbmc-starter-kit: 1
- rrthomas/lrexlib: 1
Pull requests created
- diffblue/cbmc: 382
- model-checking/kani: 138
- model-checking/cbmc-viewer: 22
- sosy-lab/sv-benchmarks: 17
- model-checking/cbmc-starter-kit: 12
- awslabs/aws-c-common: 7
- aws/s2n-tls: 6
- aws/ota-for-aws-iot-embedded-sdk: 5
- freertos/freertos-cellular-interface: 4
- aws/s2n-quic: 3
- model-checking/kani-vscode-extension: 3
- aws/homebrew-tap: 3
- freertos/corehttp: 3
- aws/Device-Shadow-for-AWS-IoT-embedded-sdk: 2
- awslabs/aws-verification-model-for-libcrypto: 2
- awslabs/one-line-scan: 2
- sosy-lab/sv-witnesses: 2
- aws/Device-Defender-for-AWS-IoT-embedded-sdk: 2
- aws/SigV4-for-AWS-IoT-embedded-sdk: 2
- rust-lang/google-summer-of-code: 2
- aws/aws-encryption-sdk-c: 2
- model-checking/kani-github-action: 2
- freertos/coresntp: 2
- awslabs/aws-build-accumulator: 2
- aws/Fleet-Provisioning-for-AWS-IoT-embedded-sdk: 2
- FreeRTOS/FreeRTOS: 1
- sosy-lab/sv-comp: 1
- alsa-project/alsa-tools: 1
- jturney/levmar: 1
- model-checking/verify-rust-std: 1
- aws/Jobs-for-AWS-IoT-embedded-sdk: 1
- model-checking/cbmc-training: 1
- DaanDeMeyer/reproc: 1
- rrthomas/lrexlib: 1
- rust-lang/rust: 1
- inducer/pycparserext: 1
Maintainer
Active Maintainer
Issue Author Associations
- Member (13, 28.89%)
- Contributor (12, 26.67%)
- Collaborator (12, 26.67%)
- None (6, 13.33%)
- Owner (2, 4.44%)
Pull Request Author Associations
- Collaborator (382, 59.69%)
- Member (179, 27.97%)
- Contributor (78, 12.19%)
- None (1, 0.16%)
Top Issue Labels
- issue with benchmark (6)
- C (5)
- [C] Internal (5)
- [C] Bug (5)
- aws (2)
- [I] CI / Infrastructure (2)
- enhancement (2)
- Z-Autoharness (1)
- F-contracts (1)
- C-bug (1)
- T-compiler (1)
- I-ICE (1)
- low priority (1)
- maintenance (1)
- CI (1)
Top Pull Request Labels
- cleanup (69)
- Z-BenchCI (59)
- bugfix (58)
- C Front End (37)
- blocker (30)
- aws (24)
- Code Contracts (17)
- Z-EndToEndBenchCI (16)
- Tests (14)
- C++ Front End (13)
- Z-CompilerBenchCI (12)
- CI (12)
- C (11)
- issue with benchmark (11)
- Kani (11)