Skip to content
Snippets Groups Projects

Contributor analytics

Switch branch/tag
  • ci/3.1.0
  • ci/debug
  • ci/disable-ltac-backtrace
  • ci/for_proph
  • ci/janno/debug-opam
  • ci/janno/let_bind_envs
  • ci/janno/vmcast
  • ci/joe/compact_ipm
  • ci/joe/compact_ipm_remaining
  • ci/joe/compact_ipm_simple
  • ci/maximedenes/instance-nobody-open-proof
  • ci/msammler/iris-coq-seal_big_opM
  • ci/mtac2-tt
  • ci/prophecy
  • ci/ralf/ci
  • ci/ralf/pm_red
  • ci/ralf/set_unfold_elements
  • ci/robbert/faster_iDestruct
  • ci/robbert/faster_iDestruct2
  • ci/robbert/faster_iFresh_joe
  • iris-3.2.0
  • iris-3.1.0
  • iris-3.0.0
  • iris-2.0
  • iris-2.0-rc2
  • iris-2.0-rc1
  • iris-1.1
  • iris-1.0
  • hope-2015-coq-1
  • appendix-1.0.0
  • appendix-1
31 results
History

Commits to 4d63df9bf088e74146733e1d250ffa99f176e8ee

Excluding merge commits. Limited to 6,000 commits.
Number of commits010203040JulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJul2015201620172018
Commits
Avg: 2.6 · Max: 40

Robbert Krebbers

1796 commits (mail@robbertkrebbers.nl)

Commits010203035JulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJul2015201620172018
Commits
Avg: 1.18 · Max: 35

Ralf Jung

1585 commits (jung@mpi-sws.org)

Commits010203035JulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJul2015201620172018
Commits
Avg: 1.04 · Max: 25

Jacques-Henri Jourdan

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

Commits010203035JulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJul2015201620172018
Commits
Avg: 151m · Max: 35

Ralf Jung

115 commits (post@ralfj.de)

Commits010203035JulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJul2015201620172018
Commits
Avg: 75.7m · Max: 11

David Swasey

81 commits (swasey@mpi-sws.org)

Commits010203035JulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJul2015201620172018
Commits
Avg: 53.3m · Max: 10

Jan-Oliver Kaiser

34 commits (janno@mpi-sws.org)

Commits010203035JulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJul2015201620172018
Commits
Avg: 22.4m · Max: 3

Jacques-Henri Jourdan

24 commits (jjourdan@mpi-sws.org)

Commits010203035JulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJul2015201620172018
Commits
Avg: 15.8m · Max: 3

Filip Sieczkowski

19 commits (filips@cs.au.dk)

Commits010203035JulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJul2015201620172018
Commits
Avg: 12.5m · Max: 5

Dan Frumin

13 commits (dfrumin@cs.ru.nl)

Commits010203035JulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJul2015201620172018
Commits
Avg: 8.56m · Max: 7

Joseph Tassarotti

12 commits (jtassaro@andrew.cmu.edu)

Commits010203035JulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJul2015201620172018
Commits
Avg: 7.9m · Max: 4

Zhen Zhang

9 commits (izgzhen@gmail.com)

Commits010203035JulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJul2015201620172018
Commits
Avg: 5.92m · Max: 3

Amin Timany

8 commits (amintimany@gmail.com)

Commits010203035JulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJul2015201620172018
Commits
Avg: 5.27m · Max: 3

Aleš Bizjak

4 commits (abizjak@cs.au.dk)

Commits010203035JulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJul2015201620172018
Commits
Avg: 2.63m · Max: 1

Derek Dreyer

4 commits (dreyer@mpi-sws.org)

Commits010203035JulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJul2015201620172018
Commits
Avg: 2.63m · Max: 2

Jan-Oliver Kaiser

4 commits (janno@janno-svd13)

Commits010203035JulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJul2015201620172018
Commits
Avg: 2.63m · Max: 3

Zhen Zhang

3 commits (zhangz@mpi-sws.org)

Commits010203035JulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJul2015201620172018
Commits
Avg: 1.97m · Max: 1

Robbert

2 commits (gitlab-sws@robbertkrebbers.nl)

Commits010203035JulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJul2015201620172018
Commits
Avg: 1.32m · Max: 2

Jeehoon Kang

2 commits (jeehoon.kang@sf.snu.ac.kr)

Commits010203035JulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJul2015201620172018
Commits
Avg: 1.32m · Max: 1

Dan Frumin

2 commits (dan@covariant.me)

Commits010203035JulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJul2015201620172018
Commits
Avg: 1.32m · Max: 2

Jan Menz

1 commit (s9jamenz@stud.uni-saarland.de)

Commits010203035JulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJul2015201620172018
Commits
Avg: 658μ · Max: 1

Glen Mével

1 commit (glen.mevel@crans.org)

Commits010203035JulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJul2015201620172018
Commits
Avg: 658μ · Max: 1

Hoang-Hai Dang

1 commit (haidang@mpi-sws.org)

Commits010203035JulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJul2015201620172018
Commits
Avg: 658μ · Max: 1

Joshua Yanovski

1 commit (pythonsq@mpi-sws.org)

Commits010203035JulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJul2015201620172018
Commits
Avg: 658μ · Max: 1

Joshua Yanovski

1 commit (pythonesque@gmail.com)

Commits010203035JulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJul2015201620172018
Commits
Avg: 658μ · Max: 1

Kasper Svendsen

1 commit (kaspersv@gmail.com)

Commits010203035JulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJul2015201620172018
Commits
Avg: 658μ · Max: 1