Contributor analytics
Commits to compute_done_diverge
Excluding merge commits. Limited to 6,000 commits. Commits
Lennard Gäher
115 commits (l.gaeher@posteo.de)
Commits
Ralf Jung
112 commits (jung@mpi-sws.org)
Commits
Simon Spies
63 commits (simonspies@icloud.com)
Commits
Michael Sammler
44 commits (noreply@sammler.me)
Commits
Hoang-Hai Dang
26 commits (haidang@mpi-sws.org)
Commits
Robbert Krebbers
1 commit (mail@robbertkrebbers.nl)
Commits