Contributor analytics
Commits to 1d7df046050985355c4d1fb135d1865ffac5e1ec
Excluding merge commits. Limited to 6,000 commits. Commits
Michael Sammler
259 commits (noreply@sammler.me)
Commits
Rodolphe Lepigre
136 commits (lepigre@mpi-sws.org)
Commits
Fengmin Zhu
8 commits (paulzhu@mpi-sws.org)
Commits
Ralf Jung
6 commits (jung@mpi-sws.org)
Commits
Michael Sammler
4 commits (msammler@mpi-sws.org)
Commits
Lennard Gäher
2 commits (l.gaeher@posteo.de)
Commits
Ike Mulder
1 commit (i.mulder@cs.ru.nl)
Commits
Robbert
1 commit (gitlab-sws@robbertkrebbers.nl)
Commits