Contributor analytics
Commits to master
Excluding merge commits. Limited to 6,000 commits. Commits
Michael Hanus
15 commits (mh@informatik.uni-kiel.de)
Commits
Finn Teegen
1 commit (fte@informatik.uni-kiel.de)
Commits
Jan Tikovsky
1 commit (jrt@informatik.uni-kiel.de)
Commits