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
- Mar 27, 2024
-
-
-
-
David Bühler authored
-
David Bühler authored
-
David Bühler authored
Moves functions specific to the from plugin from Eva to from_memory.ml.
-
David Bühler authored
-
David Bühler authored
-
David Bühler authored
-
-
-
-
- Mar 26, 2024
-
-
Allan Blanchard authoredFix/kernel/1023 extension acsl See merge request frama-c/frama-c!4260
-
Allan Blanchard authored
-
Allan Blanchard authored
-
Allan Blanchard authored
- wp_nullable_args -> nullable_args - also changes documentation for strategies
-
Allan Blanchard authored
-
-
-
-
-
-
-
-
Use "\plugin::ext" instead of "ext" - allows for better warning messages - Ignored if plugin is not loaded / ext is not registered - raise an error if ext comes from a different plugin
-
-
Andre Maroneze authored[ivette] Adds feedback when the user requests the evaluation of a custom term. See merge request frama-c/frama-c!4525
-
Allan Blanchard authored
[LaTeX] use proper command for TOC See merge request frama-c/frama-c!4537
-
Virgile Prevosto authored
Replace cabslu (unknown loc) by currentLoc in cabs parser See merge request frama-c/frama-c!4529
-
Virgile Prevosto authored
-
- Mar 22, 2024
-
-
Loïc Correnson authored[wp] structure for importing why3 in wp See merge request frama-c/frama-c!4516
-
Loïc Correnson authored
-
-
-
-
-
-
-
-
-
-
