Skip to content
Snippets Groups Projects

Contributor analytics

Switch branch/tag
  • channel_closure_spec
  • close_spec
  • concur2020
  • cpp21
  • cpp21_deprecated
  • iris-update
  • jesper
  • jonas/coexponentials
  • jonas/liter
  • jonas/log_atom_2
  • jonas/lty_helper_lemmas
  • jonas/pizza
  • jonas/ring_leader_election
  • later_strip
  • lmcs
  • master default protected
  • mini_actris1
  • miniactris-init
  • mixed_choice
  • mixed_choice_list
20 results
History

Commits to 3b83ff9b55dee31a109768b39988f44fa70b4a1d

Excluding merge commits. Limited to 6,000 commits.
Number of commits051015202530AprMayJunJulAugSepOctNovDecFebMarAprMayJunJulAugSepOctNov2020
Commits
Avg: 933m · Max: 29

jihgfee

216 commits (jihgfee@gmail.com)

Commits0510152021AprMayJunJulAugSepOctNovDecFebMarAprMayJunJulAugSepOctNov2020
Commits
Avg: 362m · Max: 21

Robbert Krebbers

196 commits (mail@robbertkrebbers.nl)

Commits0510152021AprMayJunJulAugSepOctNovDecFebMarAprMayJunJulAugSepOctNov2020
Commits
Avg: 328m · Max: 10

jihgfee

97 commits (jkas@itu.dk)

Commits0510152021AprMayJunJulAugSepOctNovDecFebMarAprMayJunJulAugSepOctNov2020
Commits
Avg: 162m · Max: 11

Daniël Louwrink

20 commits (daniel.louwrink@gmail.com)

Commits0510152021AprMayJunJulAugSepOctNovDecFebMarAprMayJunJulAugSepOctNov2020
Commits
Avg: 33.5m · Max: 4

Ralf Jung

13 commits (jung@mpi-sws.org)

Commits0510152021AprMayJunJulAugSepOctNovDecFebMarAprMayJunJulAugSepOctNov2020
Commits
Avg: 21.8m · Max: 3

Ralf Jung

10 commits (post@ralfj.de)

Commits0510152021AprMayJunJulAugSepOctNovDecFebMarAprMayJunJulAugSepOctNov2020
Commits
Avg: 16.8m · Max: 3

Robbert

5 commits (gitlab-sws@robbertkrebbers.nl)

Commits0510152021AprMayJunJulAugSepOctNovDecFebMarAprMayJunJulAugSepOctNov2020
Commits
Avg: 8.38m · Max: 2