Skip to content
Snippets Groups Projects

Contributor analytics

Switch branch/tag
  • ci/artifacts
  • ci/buildcache
  • ci/coqdoc
  • ci/debug
  • ci/opam2
  • ci/perf
  • ci/ralf/mangled
  • coq-stdpp-1.0
  • fix-export
  • instance-nobody-open-proof
  • master default protected
  • options
  • ralf/exact_vm_cast
  • ralf/notation
  • robbert/map_seq
  • robbert/set_rename
  • coq-stdpp-1.1.0
  • coq-stdpp-1.0.0
18 results
History

Commits to 64cafa57243807b12cb4a112a7c5aeef4733f1f7

Excluding merge commits. Limited to 6,000 commits.
Number of commits0246810JulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNov20132014201520162017
Commits
Avg: 215m · Max: 10

Robbert Krebbers

312 commits (mail@robbertkrebbers.nl)

Commits0246810JulOctAprJulOctAprJulOctAprJulOctAprJulOct20132014201520162017
Commits
Avg: 184m · Max: 10

Ralf Jung

40 commits (jung@mpi-sws.org)

Commits0246810JulOctAprJulOctAprJulOctAprJulOctAprJulOct20132014201520162017
Commits
Avg: 23.5m · Max: 6

Jacques-Henri Jourdan

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

Commits0246810JulOctAprJulOctAprJulOctAprJulOctAprJulOct20132014201520162017
Commits
Avg: 2.94m · Max: 1

Ralf Jung

3 commits (post@ralfj.de)

Commits0246810JulOctAprJulOctAprJulOctAprJulOctAprJulOct20132014201520162017
Commits
Avg: 1.77m · Max: 1

Zhen Zhang

2 commits (izgzhen@gmail.com)

Commits0246810JulOctAprJulOctAprJulOctAprJulOctAprJulOct20132014201520162017
Commits
Avg: 1.18m · Max: 2

Jacques-Henri Jourdan

2 commits (jjourdan@mpi-sws.org)

Commits0246810JulOctAprJulOctAprJulOctAprJulOctAprJulOct20132014201520162017
Commits
Avg: 1.18m · Max: 1

Jan-Oliver Kaiser

1 commit (janno@mpi-sws.org)

Commits0246810JulOctAprJulOctAprJulOctAprJulOctAprJulOct20132014201520162017
Commits
Avg: 589μ · Max: 1