Contributor analytics
Commits to 942b6fae653ad9121bf542ccabb44ddcb0bdc3c1
Excluding merge commits. Limited to 6,000 commits. Commits
Markus Pfeiffer
27 commits (markus.pfeiffer@morphism.de)
Commits
m-iancu
11 commits (mihnea.iancu88@gmail.com)
Commits
Michael Kohlhase
4 commits (m.kohlhase@jacobs-university.de)
Commits
Dennis Müller
1 commit (d.mueller@jacobs-university.de)
Commits
Tom Wiesing
1 commit (tkw01536@gmail.com)
Commits
Dennis Müller
1 commit (dennis.mueller@mars.uni-freiburg.de)
Commits
Mihnea Iancu
1 commit (m.iancu@jacobs-university.de)
Commits