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

	Commit message (Expand)	Author	Age	Files	Lines
*	Added missing printer for PowerPC 64 bit comparison.	Bernhard Schommer	2020-11-06	1	-0/+8
*	Implement a `Osel` operation for PowerPC	Xavier Leroy	2019-05-20	1	-0/+4
*	Hybrid 64bit/32bit PowerPC port	Bernhard Schommer	2017-05-03	1	-0/+26
*	Print floating-point numbers with more digits in debug outputs	Xavier Leroy	2016-03-15	1	-2/+2
*	Updated PrintOp for the single-precision FP operations.	Xavier Leroy	2015-05-09	1	-0/+8
*	powerpc/: new unary operation "addsymbol"	xleroy	2013-11-17	1	-0/+2
*	Do not use Format for faster printing of RTL, XTL, LTL, Mach	xleroy	2013-09-26	1	-1/+1
*	Big merge of the newregalloc-int64 branch. Lots of changes in two directions:	xleroy	2013-04-20	1	-0/+3
*	Use Flocq for floats	xleroy	2012-06-28	1	-1/+1
*	PowerPC: remove the fmadd and fmsub operators/Asm instructions	xleroy	2012-03-07	1	-2/+0
*	Improved instruction selection for "notint".	xleroy	2012-02-24	1	-0/+3
*	Merge of the nonstrict-ops branch:	xleroy	2012-01-14	1	-2/+0
*	Forgot to print Oroli op	xleroy	2011-06-22	1	-0/+4
*	Merge of the reuse-temps branch:	xleroy	2010-09-02	1	-5/+1
*	Merge of branches/full-expr-4:	xleroy	2010-08-18	1	-0/+109