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 5778d3353d52a752fdb87af98bdeab4a9fb27aac

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

Jonas Kastberg Hinrichsen

238 commits (jihgfee@gmail.com)

Commits0510152021MayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMay202020212022
Commits
Avg: 207m · Max: 21

Robbert Krebbers

212 commits (mail@robbertkrebbers.nl)

Commits0510152021MayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMay202020212022
Commits
Avg: 185m · Max: 10

jihgfee

97 commits (jkas@itu.dk)

Commits0510152021MayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMay202020212022
Commits
Avg: 84.4m · Max: 11

Ralf Jung

47 commits (jung@mpi-sws.org)

Commits0510152021MayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMay202020212022
Commits
Avg: 40.9m · Max: 4

Daniël Louwrink

20 commits (daniel.louwrink@gmail.com)

Commits0510152021MayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMay202020212022
Commits
Avg: 17.4m · Max: 4

Ralf Jung

10 commits (post@ralfj.de)

Commits0510152021MayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMay202020212022
Commits
Avg: 8.7m · Max: 3

Robbert

5 commits (gitlab-sws@robbertkrebbers.nl)

Commits0510152021MayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMay202020212022
Commits
Avg: 4.35m · Max: 2

Jonas Kastberg Hinrichsen

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

Commits0510152021MayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMay202020212022
Commits
Avg: 870μ · Max: 1