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

	Commit message (Expand)	Author	Age	Files	Lines
*	[BROKEN] Merge with v3.9 : something broken for __builtin_expect in cfrontend...	Cyril SIX	2021-06-01	1	-4/+5
*	begin implementing thread_local storage	David Monniaux	2020-02-24	1	-1/+3
*	Use pointer type for evaluated constants.	Bernhard Schommer	2019-10-01	1	-1/+1
*	String literals are l-values and have array types (#116)	Bernhard Schommer	2018-05-27	1	-3/+5
*	Reject "e1, e2" as a compile-time constant expression	Xavier Leroy	2018-05-24	1	-5/+5
*	Earlier, more comprehensive check for constant initializers (#88)	Xavier Leroy	2018-04-26	1	-1/+91
*	Deactivate warning 27 and added back removed code.	Bernhard Schommer	2016-03-15	1	-5/+5
*	Code cleanup.	Bernhard Schommer	2016-03-10	1	-26/+25
*	Updated PR by removing whitespaces. Bug 17450.	Bernhard Schommer	2015-10-20	1	-5/+5
*	Delay reads from !Machine.config before it is properly initialized.	Xavier Leroy	2015-01-22	1	-1/+1
*	Support C99 compound literals (by expansion in Unblock pass).	xleroy	2014-08-21	1	-0/+2
*	PackedStructs.ml: cleanups and bug-fixes	xleroy	2013-10-13	1	-1/+1
*	Remove the C primitives for unsigned long long arithmetic, replaced	xleroy	2013-03-18	1	-6/+25
*	Suppress int64_unsigned_to_float, now unused.	xleroy	2013-03-11	1	-2/+0
*	Support for inline assembly (asm statements).	xleroy	2012-12-18	1	-0/+4
*	Flocq-based parsing of floating-point literals (Jacques-Henri Jourdan)	xleroy	2012-11-03	1	-28/+2
*	- Support for _Alignof(ty) operator from ISO C 2011	xleroy	2012-02-26	1	-0/+5
*	In conditional expressions e1 ? e2 : e3, cast the results of e2 and e3 to the...	xleroy	2011-07-16	1	-1/+3
*	Added pass CleanupLabels to remove unreferenced labels in a proved way.	xleroy	2011-05-08	1	-0/+1
*	Wrong cast in constant_expr	xleroy	2010-08-04	1	-3/+3
*	Switching to the new C parser/elaborator/simplifier	xleroy	2010-03-03	1	-0/+277