Skip to content
Snippets Groups Projects

Contributor analytics

Switch branch/tag
  • atomic
  • auth_update_frag_included
  • fast_string
  • fupd_plain_soundness_no_lc_strong
  • gen_proc
  • gen_proofmode
  • heaplang-form-cleanup
  • heaplang-tex-additions
  • indentation_config
  • insert_alloc_local_update
  • ipm-notation-broken
  • iris-3.0
  • iris-tex-additions
  • iris_style_improvements
  • janno/metacoq
  • janno/monfun
  • jh/bi_morphism
  • jh/done_contradiction
  • jh/independent_metric
  • jh/move_bi_affine
  • 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
29 results
History

Commits to d543c26497840729ba90d11d71eb528a2ddc44b4

Excluding merge commits. Limited to 6,000 commits.
Number of commits010203040Dec2016
Commits
Avg: 2.79 · Max: 35

Robbert Krebbers

160 commits (mail@robbertkrebbers.nl)

Commits010203035Dec2016
Commits
Avg: 2.22 · Max: 35

Ralf Jung

41 commits (post@ralfj.de)

Commits010203035Dec2016
Commits
Avg: 569m · Max: 11