GitHub / podhrmic issue stats
Total issues: 124
Total pull requests: 143
Merged pull request: 92
Average time to close issues: 2 months
Average time to close pull requests: 3 months
Average comments per issue: 3.4
Average comments per pull request: 1.18
Issues created
- GaloisInc/csaf: 52
- GaloisInc/smaccmpilot-stm32f4: 14
- sel4/microkit: 13
- galoisinc/verse-toolchain: 9
- GaloisInc/HARDENS: 6
- GaloisInc/cryptol: 5
- paparazzi/pprzlink: 4
- sel4/rust-sel4: 3
- GaloisInc/BESSPIN-CloudGFE: 3
- GaloisInc/CASE-AADL-Tutorial: 2
- GaloisInc/HighAssuranceControllerOfSelfBalancingRobotCapstone: 1
- GaloisInc/rust-seL4-sel4cp-demo: 1
- GaloisInc/RustyFlight: 1
- yosyshq/nerv: 1
- Systems-Modeling/SysML-v2-Pilot-Implementation: 1
- verus-lang/verus: 1
- seL4/seL4: 1
- strictdoc-project/strictdoc: 1
- GaloisInc/crucible: 1
- smoltcp-rs/smoltcp: 1
- GaloisInc/RDE_RF: 1
- mavlink/rust-mavlink: 1
- seL4/rust-microkit-demo: 1
Pull requests created
- GaloisInc/csaf: 15
- paparazzi/pprzlink: 15
- GaloisInc/HARDENS: 13
- GaloisInc/BESSPIN-Environment: 12
- GaloisInc/rust-seL4-sel4cp-demo: 11
- GaloisInc/BESSPIN-FreeRTOS-mirror: 9
- GaloisInc/BESSPIN-LFS: 7
- GaloisInc/BESSPIN-GFE: 6
- GaloisInc/smaccmpilot-stm32f4: 5
- sel4/camkes: 4
- GaloisInc/softfloat-hs: 3
- sel4/camkes-tool: 3
- GaloisInc/smaccmpilot-org: 2
- galoisinc/verse-toolchain: 2
- sel4/sel4_tools: 2
- GaloisInc/rustwall: 2
- sel4/microkit: 2
- seL4/rust-microkit-demo: 2
- sel4/camkes-manifest: 2
- paparazzi/paparazzi-hardware: 2
- GaloisInc/cryptol: 1
- paparazzi/rustlink: 1
- GaloisInc/asmeta: 1
- nasa-sw-vnv/fret: 1
- GaloisInc/smoltcp: 1
- ardupilot/sik: 1
- paparazzi/luftboot: 1
- paparazzi/pprzlink-rust: 1
- sel4/global-components: 1
- GaloisInc/ivorylang-org: 1
- GaloisInc/ivory-tower-stm32: 1
- GaloisInc/coremark: 1
- ethanjameslew/otis-arduino: 1
- GaloisInc/Firmware: 1
- jtdaugherty/brick-devlunch: 1
- podhrmic/ivy-cpp: 1
- GaloisInc/tower: 1
- sel4/camkes-vm: 1
- GaloisInc/rustwall_vm: 1
- galoisinc/seds-rs: 1
- GaloisInc/BESSPIN-Lando: 1
- GaloisInc/BESSPIN-Demonstrator: 1
- GaloisInc/BESSPIN-CloudGFE: 1
- GaloisInc/BESSPIN-FreeRTOS-RISC-V_Galois_demo: 1
Maintainer
- GaloisInc/csaf: 67
- GaloisInc/HARDENS: 19
- paparazzi/pprzlink: 19
- GaloisInc/BESSPIN-Environment: 12
- GaloisInc/rust-seL4-sel4cp-demo: 12
- galoisinc/verse-toolchain: 11
- GaloisInc/BESSPIN-FreeRTOS-mirror: 9
- GaloisInc/BESSPIN-GFE: 6
- GaloisInc/softfloat-hs: 3
- paparazzi/paparazzi-hardware: 2
- GaloisInc/rustwall: 2
- GaloisInc/smaccmpilot-org: 2
- galoisinc/seds-rs: 1
- paparazzi/luftboot: 1
- paparazzi/pprzlink-rust: 1
Active Maintainer
Issue Author Associations
- Collaborator (70, 56.45%)
- None (31, 25.00%)
- Contributor (19, 15.32%)
- Member (4, 3.23%)
Pull Request Author Associations
- Collaborator (83, 58.04%)
- Contributor (23, 16.08%)
- Member (20, 13.99%)
- None (16, 11.19%)
- Owner (1, 0.70%)
Top Issue Labels
- enhancement (14)
- user-story: test framework (7)
- bug (7)
- CN (6)
- user-story: rta (6)
- documentation (5)
- stretch (5)
- user-story: ease of use (5)
- pre-release (4)
- user-story: simulation and vis (4)
- user-story: controls testing (3)
- testing (3)
- feature (3)
- subs-integration (3)
- Galois (2)
Top Pull Request Labels
- documentation (1)
- ENHANCEMENT (1)
- hardware (1)
- help wanted (1)