compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	Use define for wchar_t type	Bernhard Schommer	2023-02-01	1	-6/+2
*	<stddef.h>: define NULL with type void *	Xavier Leroy	2019-02-04	1	-1/+1
*	<stdbool.h>: add missing macro __bool_true_false_are_defined	Xavier Leroy	2019-02-04	1	-0/+1
*	Define the C11 type max_align_t (#115)	Bernhard Schommer	2018-05-24	1	-0/+9
*	Change the syntax to gcc/clangs syntax.	Bernhard Schommer	2017-02-01	1	-1/+1
*	New version to support designators.	Bernhard Schommer	2017-01-24	1	-1/+1
*	Implement offsetof via builtin.	Bernhard Schommer	2017-01-20	1	-1/+1
*	Added iso646 header for alternate spellings.	Bernhard Schommer	2016-04-06	1	-0/+49
*	Added the _Noreturn keyword.	Bernhard Schommer	2016-03-23	2	-0/+80
*	Include fix for wint_t gcc problem.	Bernhard Schommer	2016-01-21	1	-12/+16
*	More gcc/newlib compatibility code.	Bernhard Schommer	2015-12-11	1	-2/+13
*	Also test if the __VA_LIST macro is defined to avoid problems with the typede...	Bernhard Schommer	2015-07-09	1	-2/+8
*	Removed brackets around ty in macro of offestof.	Bernhard Schommer	2015-07-07	1	-1/+1
*	Diab defines w_char to be unsigned short.	Bernhard Schommer	2015-07-07	1	-1/+1
*	Better define the __GNUC__ macro which avoids the inclusion of va_list header...	Bernhard Schommer	2015-07-07	1	-0/+4
*	Make also the wchar definition diab compatible.	Bernhard Schommer	2015-06-26	1	-0/+15
*	Added diab specific macros for stddef to avoid redefinition of size_t.	Bernhard Schommer	2015-06-26	1	-0/+9
*	Typo in #ifndef guard.	Xavier Leroy	2015-05-09	1	-1/+1
*	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	5	-0/+298