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

	Commit message (Expand)	Author	Age	Files	Lines
*	Double rounding error in int64->float32 conversions on PowerPC and ARM	Xavier Leroy	2020-03-30	1	-5/+4
*	Take advantage of ARMv6T2/ARMv7 instructions even if not in Thumb2 mode (#203)	Gergö Barany	2017-09-18	1	-0/+2
*	Prefixed runtime functions.	Bernhard Schommer	2017-08-25	16	-38/+38
*	i64_smulh: revert to conditional branches instead of predicated insns	Xavier Leroy	2016-10-25	1	-8/+8
*	Update ARM port. Not tested yet.	Xavier Leroy	2016-10-25	3	-0/+139
*	Implement support for big endian arm targets.	Bernhard Schommer	2016-08-05	15	-213/+253
*	Libcompcert should be compiled in thumb mode for armv7m.	Bernhard Schommer	2015-12-18	1	-2/+2
*	Support va_arg for vararg arguments of composite (struct/union) types.	Xavier Leroy	2015-03-20	1	-0/+12
*	configure: distinguish between ABI and processor model.	xleroy	2014-07-29	9	-11/+24
*	ARM port: add support for Thumb2. To be tested.	xleroy	2014-07-27	16	-261/+316
*	Adapt to the two different calling conventions for floats.	xleroy	2014-05-02	6	-0/+14
*	Experimental support for <stdarg.h>, the GCC way. Works on IA32. To be test...	xleroy	2014-01-01	1	-0/+83
*	Syntax errors	xleroy	2013-05-06	2	-31/+31
*	Support for in64 -> float conversions w/ correct rounding.	xleroy	2013-05-06	2	-0/+150
*	ia32/i64_dtou: wrong play on rounding mode	xleroy	2013-05-05	4	-34/+79
*	Expand 64-bit integer comparisons into 32-bit integer comparisons.	xleroy	2013-04-29	2	-107/+0
*	Split arch/int64.s into one file per function.	xleroy	2013-04-20	15	-381/+868
*	Configuring the assembler used for the runtime lib	xleroy	2013-04-20	1	-0/+2
*	Remove __i64_{neg,add,sub,mul}, now handled directly by the compiler.	xleroy	2013-04-20	1	-45/+0
*	Big merge of the newregalloc-int64 branch. Lots of changes in two directions:	xleroy	2013-04-20	1	-0/+424