Contributor analytics
Commits to SMT_Subdiv
Excluding merge commits. Limited to 6,000 commits. Heiko Becker
720 commits (hbecker@mpi-sws.org)
Eva Darulova
190 commits (eva@malyzajko.net)
Joachim Bard
129 commits (jbard@mpi-sws.org)
Nikita Zyuzin
124 commits (zyuzin@mpi-sws.org)
Heiko Becker
114 commits (heikobecker92@gmail.com)
izycheva
94 commits (izycheva@mpi-sws.org)
Raphaël Monat
74 commits (rmonat@mpi-sws.org)
Nikita Zyuzin
71 commits (nzyuzin93@gmail.com)
anIzycheva
65 commits (s8anizyc@stud.uni-saarland.de)
Einar Horn
27 commits (eahorn@mpi-sws.org)
Magnus Myreen
26 commits (magnus.myreen@cl.cam.ac.uk)
Eva Darulova
19 commits (eva.darulova@epfl.ch)
Nikita Zyuzin
11 commits (nikita.zyuzin@imdea.org)
Fabian Ritter
9 commits (fritter@mpi-sws.org)
Saksham Sharma
6 commits (saksham0808@gmail.com)
Debasmita Lohar
5 commits (dlohar@mpi-sws.org)
Anastasiia
1 commit (anastasiia@dhcp-175-17.mpi-sws.org)
Heiko Becker
1 commit (hbecker@wks-40-24.mpi-sws.org)