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 18cba701c0391700801819d9cb91abd4e075954d

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

Jonas Kastberg Hinrichsen

240 commits (jihgfee@gmail.com)

Commits0510152021MayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJul202020212022
Commits
Avg: 194m · Max: 21

Robbert Krebbers

213 commits (mail@robbertkrebbers.nl)

Commits0510152021MayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJul202020212022
Commits
Avg: 172m · Max: 10

jihgfee

97 commits (jkas@itu.dk)

Commits0510152021MayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJul202020212022
Commits
Avg: 78.2m · Max: 11

Ralf Jung

51 commits (jung@mpi-sws.org)

Commits0510152021MayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJul202020212022
Commits
Avg: 41.1m · Max: 4

Daniël Louwrink

20 commits (daniel.louwrink@gmail.com)

Commits0510152021MayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJul202020212022
Commits
Avg: 16.1m · Max: 4

Ralf Jung

10 commits (post@ralfj.de)

Commits0510152021MayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJul202020212022
Commits
Avg: 8.06m · Max: 3

Robbert

5 commits (gitlab-sws@robbertkrebbers.nl)

Commits0510152021MayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJul202020212022
Commits
Avg: 4.03m · Max: 2

Jonas Kastberg Hinrichsen

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

Commits0510152021MayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJul202020212022
Commits
Avg: 806μ · Max: 1