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 3328a44c71fdcbde03b01ff393bdd6d345a9437b

Excluding merge commits. Limited to 6,000 commits.
Number of commits0369121518MarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMarMayJulSepNovMar20212022202320242025
Commits
Avg: 121m · Max: 18

François Bobot

144 commits (francois.bobot@cea.fr)

Commits03691214AprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20212022202320242025
Commits
Avg: 77.7m · Max: 11

Bruno Marre

40 commits (bruno.marre@cea.fr)

Commits03691214AprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20212022202320242025
Commits
Avg: 21.6m · Max: 14

christophe

30 commits (christophe.junke@cea.fr)

Commits03691214AprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20212022202320242025
Commits
Avg: 16.2m · Max: 9

Frama-CI Bot

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

Commits03691214AprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20212022202320242025
Commits
Avg: 3.24m · Max: 1

Johannes Kanig

3 commits (kanig@adacore.com)

Commits03691214AprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20212022202320242025
Commits
Avg: 1.62m · Max: 2

Christophe Junke

1 commit (junke.christophe@gmail.com)

Commits03691214AprJulOctAprJulOctAprJulOctAprJulOctAprJulOct20212022202320242025
Commits
Avg: 539μ · Max: 1