Skip to content
Snippets Groups Projects

Contributor analytics

Switch branch/tag
  • alloc_align
  • bits-deep-backup
  • case-pgtable
  • ci/VerifyThis2021
  • ci/VerifyThis2022
  • ci/allocstack
  • ci/bff-artifact
  • ci/bits-record-param
  • ci/bitvec_typed
  • ci/bool-simpl
  • ci/case-mt7601u
  • ci/case_router
  • ci/free_no_layout
  • ci/frontent_fix
  • ci/lithium-dissertation-sammler
  • ci/more-bit-cases
  • ci/more_prov
  • ci/pkvm-hof
  • ci/pldi21-submission-artifact
  • ci/ptrfrag
  • vip-popl22-submission-artifact
  • pldi21-submission-artifact
22 results
History

Commits to de4583d1b2f354be6e46855044b8e4370ec2a2ff

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

Michael Sammler

34 commits (noreply@sammler.me)

Commits0369121518AugSepOct
Commits
Avg: 459m · Max: 11

Rodolphe Lepigre

32 commits (lepigre@mpi-sws.org)

Commits0369121518AugSepOct
Commits
Avg: 432m · Max: 18

Ralf Jung

5 commits (jung@mpi-sws.org)

Commits0369121518AugSepOct
Commits
Avg: 67.6m · Max: 2

Robbert

1 commit (gitlab-sws@robbertkrebbers.nl)

Commits0369121518AugSepOct
Commits
Avg: 13.5m · Max: 1