Skip to content
Snippets Groups Projects

Contributor analytics

Switch branch/tag
0 results
History

Commits to master

Excluding merge commits. Limited to 6,000 commits.
Number of commits05101520252021202120212021
Commits
Avg: 2.9 · Max: 25

Emanuele

14 commits (emanuele.dosualdo@gmail.com)

Commits036912142021202120212021
Commits
Avg: 1.4 · Max: 14

Robbert Krebbers

11 commits (mail@robbertkrebbers.nl)

Commits036912142021202120212021
Commits
Avg: 1.1 · Max: 7

Rodolphe Lepigre

4 commits (lepigre@mpi-sws.org)

Commits036912142021202120212021
Commits
Avg: 400m · Max: 4