Skip to content
Snippets Groups Projects

Contributor analytics

Switch branch/tag
  • amin/ci/filer-spec
  • amin/gremlin_sem_untyped
  • ci/ike/frame_exist
  • ci/ocaml-dev
  • ci/ocaml-gc-stats
  • ci/ocaml-versions
  • ci/robbert/into_fupd
  • master default protected
  • ralf/frame-frac
  • ralf/prop-level-wand
  • simon/parametric-index
11 results
History

Commits to b14af24ee12e7a21db03b6a3b3d07d698e04fd5a

Excluding merge commits. Limited to 6,000 commits.
Number of commits03691215SepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJun201720182019
Commits
Avg: 372m · Max: 14

Ralf Jung

180 commits (jung@mpi-sws.org)

Commits03691214SepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJun201720182019
Commits
Avg: 176m · Max: 11

Zhen Zhang

96 commits (izgzhen@gmail.com)

Commits03691214SepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJun201720182019
Commits
Avg: 94.1m · Max: 8

Robbert Krebbers

29 commits (mail@robbertkrebbers.nl)

Commits03691214SepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJun201720182019
Commits
Avg: 28.4m · Max: 3

Ralf Jung

27 commits (post@ralfj.de)

Commits03691214SepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJun201720182019
Commits
Avg: 26.5m · Max: 6

Dan Frumin

15 commits (dfrumin@cs.ru.nl)

Commits03691214SepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJun201720182019
Commits
Avg: 14.7m · Max: 14

Amin Timany

11 commits (amintimany@gmail.com)

Commits03691214SepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJun201720182019
Commits
Avg: 10.8m · Max: 5

Rodolphe Lepigre

5 commits (rodolphe.lepigre@inria.fr)

Commits03691214SepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJun201720182019
Commits
Avg: 4.9m · Max: 2

Danny Gratzer

5 commits (danny.gratzer@gmail.com)

Commits03691214SepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJun201720182019
Commits
Avg: 4.9m · Max: 3

Jacques-Henri Jourdan

5 commits (jacques-henri.jourdan@normalesup.org)

Commits03691214SepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJun201720182019
Commits
Avg: 4.9m · Max: 3

Aleš Bizjak

2 commits (abizjak@cs.au.dk)

Commits03691214SepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJun201720182019
Commits
Avg: 1.96m · Max: 2

Hai Dang

1 commit (haidang@mpi-sws.org)

Commits03691214SepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJun201720182019
Commits
Avg: 980μ · Max: 1

Aleš Bizjak

1 commit (ales@alesb.com)

Commits03691214SepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJun201720182019
Commits
Avg: 980μ · Max: 1

Lars Birkedal

1 commit (birkedal@cs.au.dk)

Commits03691214SepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJun201720182019
Commits
Avg: 980μ · Max: 1

Joshua Yanovski

1 commit (pythonesque@gmail.com)

Commits03691214SepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJunJulAugSepOctNovDecFebMarAprMayJun201720182019
Commits
Avg: 980μ · Max: 1