Select Git revision
Search by author
- Any Author
- authors
-
Allan Blanchard
blanchard
-
Amine Nasri anasri
-
Andre Maroneze
maroneze
-
Armand Puccetti puccetti
-
Augustin Lemesle alemesle
-
Augustin PERRIN aperrin
-
Aymeric Varasse
varasse
-
Basile Desloges
bdesloges
-
Benjamin Jorge jorge
-
Bernard Botella botella
-
Boris Yakobowski
byako
-
Cécile Ruet-Cros cruetcros
-
Charles Babu M charlesm
-
Christophe Junke
cjunke
-
David Bühler buhler
-
David Feliot dfeliot
-
Dorian Lesbre
dlesbre
-
Fabio ALVES falves
-
Florent Kirchner kirchner
-
Frama-CI frama-ci
- Oct 02, 2023
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
Allan Blanchard authored -
Virgile Prevosto authored
[Kernel] add 'clang-no-warn' flags to logic preprocessing See merge request frama-c/frama-c!4336
-
Andre Maroneze authored[kernel] acknowledge that clang has the same builtins as gcc See merge request frama-c/frama-c!4329
-
- Sep 29, 2023
-
-
Julien Signoles authoredFix/andre/some make doc warnings See merge request frama-c/frama-c!4321
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
- Sep 28, 2023
-
-
Andre Maroneze authored
-
Valentin Perrelle authored
[Eva] Adds a test of a switch skipping a local variable declaration. See merge request frama-c/frama-c!4316
-
- Sep 26, 2023
-
-
Andre Maroneze authored
[Eva] Adds support of ACSL \let bindings See merge request frama-c/frama-c!4325
-
