Contributor analytics
Commits to 4c21c074fb629ce081c333056b559016f3f7f2b5
Excluding merge commits. Limited to 6,000 commits. Commits
Zdeněk Dvořák
13 commits (rakdver@iuuk.mff.cuni.cz)
Commits
Daniel Gonçalves
5 commits (daniel.goncalves@lirmm.fr)
Commits
Abhiruk Lahiri
4 commits (abhiruk@iuuk.mff.cuni.cz)
Commits
Torsten
3 commits (torsten.ueckerdt@kit.edu)
Commits
jane.tan
2 commits (jane.tan@maths.ox.ac.uk)
Commits