Skip to content
Snippets Groups Projects

Contributor analytics

Switch branch/tag
0 results
History

Commits to da7951b4c0cd1e73d9785de895da7e5fa1b7a690

Excluding merge commits. Limited to 6,000 commits.
Number of commits02468FebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJunJul20192020
Commits
Avg: 400m · Max: 8

Dan Frumin

168 commits (dfrumin@cs.ru.nl)

Commits02468FebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJunJul20192020
Commits
Avg: 299m · Max: 8

Robbert Krebbers

34 commits (mail@robbertkrebbers.nl)

Commits02468FebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJunJul20192020
Commits
Avg: 60.5m · Max: 3

Ralf Jung

22 commits (jung@mpi-sws.org)

Commits02468FebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJunJul20192020
Commits
Avg: 39.1m · Max: 4

Ralf Jung

1 commit (post@ralfj.de)

Commits02468FebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJunJul20192020
Commits
Avg: 1.78m · Max: 1