Runtime VerificationOct 2013 – Oct 2013
1 commits0 merges
Back to People
B
bmmoore
Maintainer@bmmooreRuntime Verification
- 155
- Internal commits
- 35
- PR merges
- 2
- Organizations
- 1
- Maintainer at
Activity over time
Organization timeline
Runtime VerificationFeb 2017 – Apr 2017
1 commits3 mergesMaintainer periodReturned
Runtime VerificationOct 2017 – Jun 2019
137 commits27 mergesMaintainer periodReturned
FlowNov 2019 – Nov 2019
5 commits0 merges
Runtime VerificationJan 2020 – Mar 2020
3 commits0 mergesReturned
Runtime VerificationFeb 2022 – Mar 2022
2 commits3 mergesMaintainer periodReturned
Runtime VerificationNov 2022 – Dec 2022
4 commits1 mergesMaintainer periodReturned
Runtime VerificationApr 2023 – Apr 2023
1 commits0 mergesReturned
Runtime VerificationDec 2023 – Dec 2023
1 commits1 mergesMaintainer periodReturned
Confirmed movements
Runtime VerificationFlowNov 2019
FlowRuntime VerificationFeb 2020
Internal authors supported
Canonical internal employees whose pull requests this maintainer merged. This includes peers and does not infer seniority.
Runtime Verification
13
PRs merged
7
Internal authors