Runtime VerificationMar 2010 – Mar 2010
1 commits0 merges
Back to People
T
traiansf
Maintainer@traiansfRuntime Verification
- 963
- Internal commits
- 273
- PR merges
- 1
- Organizations
- 1
- Maintainer at
Activity over time
Organization timeline
Runtime VerificationJul 2010 – Jul 2010
4 commits0 mergesReturned
Runtime VerificationNov 2010 – Nov 2010
1 commits0 mergesReturned
Runtime VerificationMar 2011 – May 2011
3 commits0 mergesReturned
Runtime VerificationMay 2012 – May 2012
1 commits0 mergesReturned
Runtime VerificationNov 2012 – Aug 2013
62 commits0 mergesReturned
Runtime VerificationJan 2014 – May 2016
678 commits87 mergesMaintainer periodReturned
Runtime VerificationOct 2016 – Nov 2016
27 commits3 mergesMaintainer periodReturned
Runtime VerificationMay 2017 – Jun 2020
118 commits133 mergesMaintainer periodReturned
Runtime VerificationJan 2022 – Apr 2023
62 commits35 mergesMaintainer periodReturned
Runtime VerificationAug 2023 – Dec 2023
5 commits14 mergesMaintainer periodReturned
Runtime VerificationDec 2024 – Dec 2024
1 commits1 mergesMaintainer periodReturned
Internal authors supported
Canonical internal employees whose pull requests this maintainer merged. This includes peers and does not infer seniority.