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/+6
*	Make single arg alignment depend on toolchain.	Bernhard Schommer	2020-03-02	1	-0/+3
*	Resynchronize the LICENSE file and the license headers in individual files (#45)	Xavier Leroy	2018-01-05	1	-0/+3
*	Hybrid 64bit/32bit PowerPC port	Bernhard Schommer	2017-05-03	1	-1/+1
*	Use PowerPC 64 bits instructions (when available) for int<->FP conversions.	Xavier Leroy	2015-09-13	1	-0/+8
*	powerpc/Asm: simplify the modeling of Csymbol_low and Csymbol_high.	xleroy	2014-08-18	1	-2/+2
*	powerpc/: new unary operation "addsymbol"	xleroy	2013-11-17	1	-0/+1
*	PowerPC: remove the fmadd and fmsub operators/Asm instructions	xleroy	2012-03-07	1	-3/+0
*	Simplified and cleaned up the passing of information from C2C to PrintAsm, as...	xleroy	2012-02-22	1	-1/+1
*	Cleaned up handling of linker sections.	xleroy	2010-05-08	1	-1/+1
*	Updated ARM port	xleroy	2010-01-25	1	-0/+3
*	PowerPC/EABI port: preliminary support for #pragma section and	xleroy	2009-11-03	1	-0/+24