Skip to content
Snippets Groups Projects

Contributor analytics

Switch branch/tag
  • 59-unsoundness-avec-division
  • ci
  • colibri_ocaml_wrapper
  • fixes
  • master default protected
  • mergesort
  • synchronize
  • windows
  • windows2
  • 2025.02
  • 2024.05
  • 2024.02
  • 2023.12
  • 2020.6
14 results
History

Commits to a835d97cd947fdee223a6cc528fee3b429841ad7

Excluding merge commits. Limited to 6,000 commits.
Number of commits03691215MarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNov20212022202320242025
Commits
Avg: 120m · Max: 15

François Bobot

144 commits (francois.bobot@cea.fr)

Commits03691213AprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20212022202320242025
Commits
Avg: 78.3m · Max: 11

Bruno Marre

39 commits (bruno.marre@cea.fr)

Commits03691213AprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20212022202320242025
Commits
Avg: 21.2m · Max: 13

christophe

28 commits (christophe.junke@cea.fr)

Commits03691213AprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20212022202320242025
Commits
Avg: 15.2m · Max: 9

Frama-CI Bot

5 commits (frama-ci-bot@frama-c.com)

Commits03691213AprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20212022202320242025
Commits
Avg: 2.72m · Max: 1

Johannes Kanig

3 commits (kanig@adacore.com)

Commits03691213AprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20212022202320242025
Commits
Avg: 1.63m · Max: 2

Christophe Junke

1 commit (junke.christophe@gmail.com)

Commits03691213AprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20212022202320242025
Commits
Avg: 544μ · Max: 1