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

	Commit message (Expand)	Author	Age	Files	Lines
*	Remove Pfcfi, Pfcfiu, Pfctiu pseudoinstructions	Xavier Leroy	2020-12-06	1	-3/+0
*	Implement a `Osel` operation for PowerPC	Xavier Leroy	2019-05-20	1	-0/+2
*	Hybrid 64bit/32bit PowerPC port	Bernhard Schommer	2017-05-03	1	-1/+32
*	Support for 64-bit architectures: update the PowerPC port	Xavier Leroy	2016-10-01	1	-4/+4
*	bug 17392: remove trailing whitespace in source files	Michael Schmidt	2015-10-14	1	-3/+3
*	Use PowerPC 64 bits instructions (when available) for int<->FP conversions.	Xavier Leroy	2015-09-13	1	-0/+3
*	Value analysis: keep track of pointer values that leak through arithmetic ope...	Xavier Leroy	2015-07-19	1	-2/+2
*	Merge of "newspilling" branch:	xleroy	2014-07-23	1	-0/+9
*	Refactoring: move symbol_offset into Genv.	xleroy	2014-05-24	1	-1/+1
*	Add option -Os to optimize for code size rather than for execution speed.	xleroy	2014-02-19	1	-0/+1
*	Updated ARM backend wrt new static analyses and optimizations.	xleroy	2014-01-02	1	-0/+12
*	Merge of branch value-analysis.	xleroy	2013-12-20	1	-0/+160