compcert-kvx - Unnamed repository; edit this file 'description' to name the repository.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Also test if the __VA_LIST macro is defined to avoid problems with the ↵	Bernhard Schommer	2015-07-09	1	-2/+8
\| \| \| \|	typedefs in stdio, etc. for the diab compiler.
*	Better define the __GNUC__ macro which avoids the inclusion of va_list ↵	Bernhard Schommer	2015-07-07	1	-0/+4
\| \| \| \|	header and set the __VA_LIST macro if it is not defined.
*	Improve compatibility with MacOS X.	Xavier Leroy	2015-04-26	1	-0/+3
\|
*	Provide and use compiler-dependent standard headers.	Xavier Leroy	2015-04-25	1	-0/+58
	This branch provides implementations of the following standard headers: <float.h> <stdarg.h> <stdbool.h> <stddef.h> <varargs.h> These are the headers that are provided by GCC and Clang, as opposed to being provided by Glibc and similar C standard libraries. Configuration flag "-no-standard-headers" deactivates the installation and use of these headers. Lightly tested so far (IA32 Linux).