Runtime VerificationDec 2013 – Feb 2014
32 commits0 merges
Back to People
D
denis-bogdanas
Maintainer@denis-bogdanasRuntime Verification
- 555
- Internal commits
- 196
- PR merges
- 2
- Organizations
- 1
- Maintainer at
Activity over time
Organization timeline
Runtime VerificationJan 2018 – Nov 2020
438 commits196 mergesMaintainer periodReturned
dapp.toolsJul 2018 – Jul 2018
2 commits0 merges
dapp.toolsJan 2019 – Apr 2019
13 commits0 mergesReturned
Runtime VerificationMar 2022 – Jun 2022
70 commits0 mergesReturned
Confirmed movements
dapp.toolsRuntime VerificationMar 2022
Internal authors supported
Canonical internal employees whose pull requests this maintainer merged. This includes peers and does not infer seniority.
Runtime Verification
40
PRs merged
9
Internal authors