Skip to content
Snippets Groups Projects

Contributor analytics

Switch branch/tag
0 results
History

Commits to 192c70ad9f53a5af400d87d72e82e0303af3a9df

Excluding merge commits. Limited to 6,000 commits.
Number of commits0246810DecFeb2023
Commits
Avg: 716m · Max: 10

Ivan Alglave

20 commits (ivanalglave@outlook.fr)

Commits012345DecFeb2023
Commits
Avg: 211m · Max: 5

Nabilsenko

19 commits (96882497+nabilsenko@users.noreply.github.com)

Commits012345DecFeb2023
Commits
Avg: 200m · Max: 4

Ivan Alglave

14 commits (64541968+hihubbie@users.noreply.github.com)

Commits012345DecFeb2023
Commits
Avg: 147m · Max: 4

khaled-sadegh

6 commits (sadegh2000ndb@gmail.com)

Commits012345DecFeb2023
Commits
Avg: 63.2m · Max: 4

ALGLAVE Ivan

6 commits (ivan.alglave8@etu.univ-lorraine.fr)

Commits012345DecFeb2023
Commits
Avg: 63.2m · Max: 2

DenisDao57

2 commits (denis5710@hotmail.fr)

Commits012345DecFeb2023
Commits
Avg: 21.1m · Max: 1

Amine

1 commit (larbiamine22@yahoo.fr)

Commits012345DecFeb2023
Commits
Avg: 10.5m · Max: 1