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
- Jan 12, 2023
-
-
Julien Signoles authored -
Julien Signoles authored
-
Julien Signoles authored
-
Julien Signoles authored
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- Jan 11, 2023
-
-
David Bühler authored
Merge branch '1198-messages-perdus-informations-manquantes-lors-de-changements-de-vue-pendant-une-analyse' into 'master' [ivette] Consolidation of states Closes #1198 See merge request frama-c/frama-c!4013
-
David Bühler authored
-
-
-
-
-
Julien Signoles authored
[Kernel] fix aligned attribute behavior on typedefs See merge request frama-c/frama-c!4033
-
Patrick Baudin authored[install] allows to use FRAMAC_INSTALLDIR when PREFIX is undefined See merge request frama-c/frama-c!4040
-
Patrick Baudin authored
-
- Jan 10, 2023
-
-
Valentin Perrelle authored
[analysis-scripts] add type annotations in Python scripts See merge request frama-c/frama-c!3973
-
Virgile Prevosto authored
Handle 'malloc(deallocator)' GCC attribute (prevented GCC re-parsing a file produced by Frama-C) Closes #1140 See merge request frama-c/frama-c!3923
-
Allan Blanchard authored[lint] use Format everywhere; add missing newlines See merge request frama-c/frama-c!4029
-
- Jan 09, 2023
-
-
Andre Maroneze authored
-
- Jan 06, 2023
-
-
Andre Maroneze authored
-
Andre Maroneze authored
-
Andre Maroneze authored
GCC states that the 'aligned' attribute applied to typedefs can lower the default type alignment (unlike with structs).
-
