Runtime VerificationOct 2014 – Oct 2014
4 commits0 merges
Back to People
Y
yzhang90
Maintainer@yzhang90Runtime Verification
- 232
- Internal commits
- 76
- PR merges
- 1
- Organizations
- 1
- Maintainer at
Activity over time
Organization timeline
Runtime VerificationMar 2017 – Apr 2017
2 commits1 mergesMaintainer periodReturned
Runtime VerificationJan 2018 – Apr 2018
46 commits4 mergesMaintainer periodReturned
Runtime VerificationOct 2018 – Apr 2021
174 commits71 mergesMaintainer periodReturned
Runtime VerificationSep 2022 – Nov 2022
3 commits0 mergesReturned
Runtime VerificationMay 2023 – Jun 2023
3 commits0 mergesReturned
Internal authors supported
Canonical internal employees whose pull requests this maintainer merged. This includes peers and does not infer seniority.
Runtime Verification
18
PRs merged
8
Internal authors