- Jun 05, 2019
-
-
Andre Maroneze authored
-
Andre Maroneze authored
-
Virgile Prevosto authored
Fixes mantis-2307
-
- May 27, 2019
-
-
- May 23, 2019
-
-
Virgile Prevosto authored
Also use FC's Makefile standard variables whenever possible
-
-
- May 17, 2019
-
-
Loïc Correnson authored
-
David Bühler authored
-
- May 15, 2019
-
-
Thibault Martin authored
- a named void parameter is considered an error; - a void parameter (other than by itself) is considered an error
-
Loïc Correnson authored
-
Loïc Correnson authored
-
- May 13, 2019
-
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
- May 09, 2019
-
-
Patrick Baudin authored
-
Patrick Baudin authored
-
- May 07, 2019
-
-
Patrick Baudin authored
-
- Apr 29, 2019
-
-
Julien Signoles authored
-
Virgile Robles authored
-
- Apr 27, 2019
-
-
Virgile Prevosto authored
-
- Apr 26, 2019
-
-
Loïc Correnson authored
-
Loïc Correnson authored
Since -wp-bool-range is activated by default…
-
Loïc Correnson authored
-
Loïc Correnson authored
-
Loïc Correnson authored
-
-
- Apr 25, 2019
-
-
Patrick Baudin authored
-
Patrick Baudin authored
-
Virgile Prevosto authored
-
Patrick Baudin authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
- Apr 24, 2019
-
-
David Bühler authored
-
David Bühler authored
The function Cvalue.V.cast_int_to_int is unsound here, as conversions to the _Bool type obey a different rule. This case never happens in the C AST, as conversions (_Bool)x are translated into (_Bool)(x != 0).
-
David Bühler authored
-
Loïc Correnson authored
-
Virgile Prevosto authored
-