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
*	Merge branch 'master' (Absint 3.8) into kvx-work-merge3.8	David Monniaux	2020-11-18	1	-2/+1
\|\
\| *	Support the use of already-installed MenhirLib and Flocq libraries	Xavier Leroy	2020-09-21	1	-2/+1
* \|	test whether the instructions are allowed	David Monniaux	2020-04-19	1	-0/+2
\|/
*	Add floating-point square root and fused multiply-add	Xavier Leroy	2019-07-17	1	-0/+5
*	Revised specification of NaN payload behavior	Xavier Leroy	2019-07-12	1	-17/+39
*	Upgrade embedded version of Flocq to 3.1.	Guillaume Melquiond	2019-03-27	1	-14/+15
*	Take advantage of ARMv6T2/ARMv7 instructions even if not in Thumb2 mode (#203)	Gergö Barany	2017-09-18	1	-0/+4
*	Update ARM port. Not tested yet.	Xavier Leroy	2016-10-25	1	-3/+13
*	Implement support for big endian arm targets.	Bernhard Schommer	2016-08-05	1	-3/+2
*	Port to Coq 8.5pl2	Xavier Leroy	2016-07-08	1	-2/+2
*	The NaN behavior of float_of_single differs on PowerPC and on IA32/ARM.	xleroy	2014-07-28	1	-1/+4
*	ARM port: add support for Thumb2. To be tested.	xleroy	2014-07-27	1	-0/+4
*	Merge the various $(ARCH)/$(VARIANT)/xxx.v files into $(ARCH)/xxx.v.	xleroy	2014-07-23	1	-0/+3
*	Merge of "newspilling" branch:	xleroy	2014-07-23	1	-3/+15
*	Introduce and use the platform-specific Archi module giving:	xleroy	2014-01-03	1	-0/+36