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
  • msammler/new_contractive
  • multiparty
20 results
History

Commits to 223250f1647eabf16a4d1fcdd456b61e7f25614c

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

Jonas Kastberg Hinrichsen

240 commits (jihgfee@gmail.com)

Commits0510152021MayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMar2020202120222023
Commits
Avg: 166m · Max: 21

Robbert Krebbers

216 commits (mail@robbertkrebbers.nl)

Commits0510152021MayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMar2020202120222023
Commits
Avg: 150m · Max: 10

jihgfee

97 commits (jkas@itu.dk)

Commits0510152021MayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMar2020202120222023
Commits
Avg: 67.2m · Max: 11

Ralf Jung

55 commits (jung@mpi-sws.org)

Commits0510152021MayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMar2020202120222023
Commits
Avg: 38.1m · Max: 4

Daniël Louwrink

20 commits (daniel.louwrink@gmail.com)

Commits0510152021MayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMar2020202120222023
Commits
Avg: 13.9m · Max: 4

Ralf Jung

10 commits (post@ralfj.de)

Commits0510152021MayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMar2020202120222023
Commits
Avg: 6.93m · Max: 3

Robbert

5 commits (gitlab-sws@robbertkrebbers.nl)

Commits0510152021MayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMar2020202120222023
Commits
Avg: 3.47m · Max: 2

Jonas Kastberg Hinrichsen

1 commit (au688989@d45276.eduroam.net.au.dk)

Commits0510152021MayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMar2020202120222023
Commits
Avg: 693μ · Max: 1