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
- Feb 05, 2025
-
-
Basile Desloges authored -
Basile Desloges authored
-
Thibault Martin authoredResolve "Failure when a GNU.body does not end with a Cabs.COMPUTATION" Closes #1475 See merge request frama-c/frama-c!4905
-
-
Thibault Martin authored
Add a parameter builder for decimal numbers See merge request frama-c/frama-c!4926
-
-
-
-
-
-
-
Thibault Martin authored
Move attributes related functions out of Cil See merge request frama-c/frama-c!4910
-
- Feb 04, 2025
-
-
Andre Maroneze authoredUndef unsupported macros Closes #910 See merge request frama-c/frama-c!4891
-
Andre Maroneze authored
-
Andre Maroneze authored
-
Andre Maroneze authored
-
-
-
-
Jan Rochel authoredSplit Datatype.With_collections into With_set_and_map and With_hashtbl Closes #1451 See merge request frama-c/frama-c!4903
-
Thibault Martin authored
-
Thibault Martin authored
-
Thibault Martin authored
-
-
-
-
Allan Blanchard authored[Userman] Use plugin's shortname for share path See merge request frama-c/frama-c!4924
-
Thibault Martin authored
-
- Feb 03, 2025
-
-
Thibault Martin authored
-
-
-
-
-
-
-
David Bühler authored
[kernel] Indicates message truncation, and only truncate messages on terminal. Closes #1244 See merge request frama-c/frama-c!4911
-
David Bühler authored
-
David Bühler authored
(Messages emitted via Log.printf are never truncated.)
-
David Bühler authored
Rich_text: do not silently truncate buffers, but export function [truncate]. Log: uses [Rich_text.truncate] on messages printed on terminal, and prefix truncated messages to indicate the truncation.
-
- Feb 01, 2025
-
-
Allan Blanchard authored
[ci] Change scale of coverage See merge request frama-c/frama-c!4917
-
