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

	Commit message (Collapse)	Author	Age	Files	Lines
*	<stdbool.h>: add missing macro __bool_true_false_are_defined	Xavier Leroy	2019-02-04	1	-0/+1
\| \| \| \| \| \|	As specified in ISO C99 section 7.16 and C11 section 7.18. Fixes issue #266
*	Provide and use compiler-dependent standard headers.	Xavier Leroy	2015-04-25	1	-0/+39
	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).