Runtime VerificationFeb 2017 – Mar 2017
2 commits0 merges
Back to People
C
chathhorn
Maintainer@chathhorngaloisinc
- 79
- Internal commits
- 7
- PR merges
- 2
- Organizations
- 1
- Maintainer at
Activity over time
Organization timeline
Runtime VerificationJul 2017 – Sep 2017
8 commits0 mergesReturned
Runtime VerificationJan 2018 – May 2018
48 commits1 mergesMaintainer periodReturned
Runtime VerificationNov 2018 – Mar 2019
6 commits0 mergesReturned
Runtime VerificationJul 2019 – Oct 2019
12 commits6 mergesMaintainer periodReturned
galoisincOct 2022 – Oct 2022
3 commits0 merges
Confirmed movements
Runtime VerificationgaloisincOct 2022
Internal authors supported
Canonical internal employees whose pull requests this maintainer merged. This includes peers and does not infer seniority.
Runtime Verification
1
PRs merged
1
Internal authors