Contributor analytics
Commits to c843b6604e3d8b25bd6351a4afd7ada1b93f94ef
Excluding merge commits. Limited to 6,000 commits. Loïc Correnson
129 commits (loic.correnson@cea.fr)
David Bühler
126 commits (david.buhler@cea.fr)
Virgile Prevosto
121 commits (virgile.prevosto@cea.fr)
Andre Maroneze
85 commits (andre.oliveiramaroneze@cea.fr)
Patrick Baudin
81 commits (patrick.baudin@cea.fr)
Valentin Perrelle
21 commits (valentin.perrelle@cea.fr)
Julien Signoles
5 commits (julien.signoles@cea.fr)
François Bobot
5 commits (francois.bobot@cea.fr)
Allan Blanchard
5 commits (allan.blanchard@inria.fr)
Virgile Robles
3 commits (virgile.robles@protonmail.ch)
Frédéric Recoules
2 commits (frederic.recoules@cea.fr)
Thibault Martin
2 commits (thibault.martin@cea.fr)
Yaelle Vincont
2 commits (yaelle.vincont@cea.fr)
Bouillaguet Quentin
2 commits (quentin.bouillaguet@cea.fr)
Dara LY
1 commit (dara.ly@cea.fr)
Nikolai Kosmatov
1 commit (nikolai.kosmatov@cea.fr)
Maxime Jacquemin
1 commit (maxime.jacquemin@cea.fr)
DavidCok
1 commit (cok@frontiernet.net)
Frama-C Team
1 commit (support@frama-c.com)