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
- Sep 13, 2024
-
-
-
Loïc Correnson authoredGenerate Ivette API on the fly See merge request frama-c/frama-c!4752
-
Allan Blanchard authored -
Virgile Prevosto authored
Multiple fixes and improvements on CI See merge request frama-c/frama-c!4762
-
Loïc Correnson authored
[wp] -wp-par defaults to number of logical cores See merge request frama-c/frama-c!4756
-
Allan Blanchard authored
-
- Sep 12, 2024
-
-
Remi Lazarini authored
[ivette] Graph : replace cycle option by a function See merge request frama-c/frama-c!4763
-
Remi Lazarini authored
-
Thibault Martin authored[dev] allow bin/test.sh to work with symbolic links See merge request frama-c/frama-c!4766
-
Andre Maroneze authoredWhen using symbolic links for plug-in directories (e.g. for testing external plug-ins), the '-L' flag (follow symbolic links) is necessary to avoid a syntax error in the script.
-
Thibault Martin authored
[libc] minor change to help coreutils parsing See merge request frama-c/frama-c!4764
-
- Sep 11, 2024
-
-
Andre Maroneze authored
-
Andre Maroneze authored
[kernel] Cabs2cil: fixes the alignement computation on packed directives. See merge request frama-c/frama-c!4746
-
Andre Maroneze authored
-
- uses the alignment of a field type instead of its size to compute the field alignement. - removes incorrect special case for flexible array members, introduced to circumvent a crash when computing their size. As we now use the alignment instead of the size, the crash no longer occurs. - merges the implementation of two similar cases (whether there are aligned field attributes or not).
-
Andre Maroneze authored
Feature/martin/test/pass all remaining args to dune See merge request frama-c/frama-c!4760
-
Andre Maroneze authored
Various libc improvements for better parsing of code seen in the wild See merge request frama-c/frama-c!4671
-
Thibault Martin authored
-
Thibault Martin authored
-
Thibault Martin authored
-
Allan Blanchard authored
-
- Sep 10, 2024
-
-
Thibault Martin authored
[libc] add some C11, C23 and glibc headers/definitions See merge request frama-c/frama-c!4676
-
-
Thibault Martin authored
[cabs2cil] avoid crash in syntactically invalid code, switch with a double See merge request frama-c/frama-c!4758
-
Remi Lazarini authored
[Ivette] fix camelCase error for new hooks See merge request frama-c/frama-c!4759
-
Remi Lazarini authored
-
Andre Maroneze authored
-
Remi Lazarini authored
[Ivette] added the possibility of passing options to Graph See merge request frama-c/frama-c!4711
-
Virgile Prevosto authored
[tests] remove excessively large libc oracles to avoid conflicts See merge request frama-c/frama-c!4749
-
Remi Lazarini authored
-
Remi Lazarini authored
-
Remi Lazarini authored
[ivette] EvaForm : fix css See merge request frama-c/frama-c!4757
-
Remi Lazarini authored
-
Michele Alberti authored[analysis-scripts] sync build.py with blug master See merge request frama-c/frama-c!4755
-
Andre Maroneze authored
[dev] remove obsolete scripts See merge request frama-c/frama-c!4722
-
Allan Blanchard authored
-
Allan Blanchard authored
-
- Sep 09, 2024
-
-
Virgile Prevosto authored
-
Andre Maroneze authored
-
Remi Lazarini authored
[Ivette] add hook useFunctionFilter See merge request frama-c/frama-c!4699
-
