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 289018cd35f493f3d950c29305e2e013321bea8d

Excluding merge commits. Limited to 6,000 commits.
Number of commits01234Aug
Commits
Avg: 414m · Max: 4

Michael Sammler

6 commits (noreply@sammler.me)

Commits0500m11.522.53Aug
Commits
Avg: 207m · Max: 2

Rodolphe Lepigre

5 commits (lepigre@mpi-sws.org)

Commits0500m11.522.53Aug
Commits
Avg: 172m · Max: 3

Robbert

1 commit (gitlab-sws@robbertkrebbers.nl)

Commits0500m11.522.53Aug
Commits
Avg: 34.5m · Max: 1