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 6076344b1d76a6a856625906e96794d6461fde5e

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

jihgfee

208 commits (jihgfee@gmail.com)

Commits0510152021AprMayJunJulAugSepOctNovDecFebMarAprMayJunJulAugSepOct2020
Commits
Avg: 357m · Max: 21

Robbert Krebbers

196 commits (mail@robbertkrebbers.nl)

Commits0510152021AprMayJunJulAugSepOctNovDecFebMarAprMayJunJulAugSepOct2020
Commits
Avg: 337m · Max: 10

jihgfee

97 commits (jkas@itu.dk)

Commits0510152021AprMayJunJulAugSepOctNovDecFebMarAprMayJunJulAugSepOct2020
Commits
Avg: 167m · Max: 11

Daniël Louwrink

20 commits (daniel.louwrink@gmail.com)

Commits0510152021AprMayJunJulAugSepOctNovDecFebMarAprMayJunJulAugSepOct2020
Commits
Avg: 34.4m · Max: 4

Ralf Jung

10 commits (post@ralfj.de)

Commits0510152021AprMayJunJulAugSepOctNovDecFebMarAprMayJunJulAugSepOct2020
Commits
Avg: 17.2m · Max: 3

Ralf Jung

8 commits (jung@mpi-sws.org)

Commits0510152021AprMayJunJulAugSepOctNovDecFebMarAprMayJunJulAugSepOct2020
Commits
Avg: 13.7m · Max: 3

Robbert

5 commits (gitlab-sws@robbertkrebbers.nl)

Commits0510152021AprMayJunJulAugSepOctNovDecFebMarAprMayJunJulAugSepOct2020
Commits
Avg: 8.59m · Max: 2