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
- May 09, 2023
-
-
-
-
Andre Maroneze authored -
-
adds a test for avr_8 and avr_16. Turns out that embedded micro-controlers have libc that are not exactly standard compliant
-
-
-
-
-
-
-
-
-
-
-
-
-
Notably __fc_machdep.h in result dir, that could be picked up by other tests in the same session...
-
-
-
-
-
-
-
-
- fix various typos and inconsistencies - add an option in make_machdep.py to validate an existing yaml file, and use it to validate manually written machdeps - add macro with the name of the machdep (used in tests/syntax/assembly_gmp.c) - add option to Frama-C to print the content of __fc_machdep.h on stdout and use that to compile our libc with gcc outside of Frama-C (as in tests/libc/runtime.c)
-
-
- remove ill-placed macro in stdio.h - better error msg for custom yaml parsing
-
-
-
-
-
-
-
-
some POSIX macros will get standard values by default and can be customized at runtime by user, though
-
-
-
-
Now, only msvc_x86_64 and gcc_x86_16 need to be edited by hand when schema changes
-
