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 92b0168273d1635958939c89ce43ae2894977356

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

Michael Sammler

44 commits (noreply@sammler.me)

Commits0369121518AugSepOctNov
Commits
Avg: 389m · Max: 11

Rodolphe Lepigre

38 commits (lepigre@mpi-sws.org)

Commits0369121518AugSepOctNov
Commits
Avg: 336m · Max: 18

Ralf Jung

5 commits (jung@mpi-sws.org)

Commits0369121518AugSepOctNov
Commits
Avg: 44.2m · Max: 2

Robbert

1 commit (gitlab-sws@robbertkrebbers.nl)

Commits0369121518AugSepOctNov
Commits
Avg: 8.85m · Max: 1