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
*	Move shared code in new file.	Bernhard Schommer	2020-06-28	1	-1/+1
*	Remove the `can_reserve_register` function.	Bernhard Schommer	2020-06-28	1	-1/+1
*	Move reserved_registers to CPragmas.	Bernhard Schommer	2020-04-20	1	-1/+6
*	Refactor the handling of errors and warnings (#44)	Bernhard Schommer	2018-02-08	1	-1/+1
*	Simplified C2C.error.	Bernhard Schommer	2017-01-18	1	-3/+2
*	Classified all warnings and added various options.	Bernhard Schommer	2016-07-29	1	-1/+1
*	Tolerance in parsing of 'section' pragma	xleroy	2014-09-17	1	-0/+3
*	Cleaner, more resilient parsing of pragmas.	xleroy	2014-06-05	1	-55/+25
*	powerpc/: new unary operation "addsymbol"	xleroy	2013-11-17	1	-9/+10
*	Bad printing of alignment on 'comm' symbols.	xleroy	2013-07-07	1	-2/+6
*	Big merge of the newregalloc-int64 branch. Lots of changes in two directions:	xleroy	2013-04-20	1	-2/+1
*	Strip quotes from section names during #pragma parsing.	xleroy	2012-07-11	1	-2/+2
*	checklink: first import of Valentin Robert's validator for asm and link	xleroy	2012-03-28	1	-1/+0
*	PowerPC: remove the fmadd and fmsub operators/Asm instructions	xleroy	2012-03-07	1	-1/+7
*	Remove 'near-code' access mode, makes no sense in CompCert	xleroy	2012-03-06	1	-2/+1
*	Make CPragmas common to all ports.	xleroy	2012-02-27	1	-0/+108