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

	Commit message (Collapse)	Author	Age	Files	Lines
*	[BROKEN] Merge with v3.9 : something broken for __builtin_expect in ↵	Cyril SIX	2021-06-01	1	-4/+5
\| \| \| \|	cfrontend/C2C.ml
*	fix aarch64 merge?	Léo Gourdin	2021-03-29	1	-0/+98
\|
*	Merge branch 'master' into merge_master_8.13.1	Sylvain Boulmé	2021-03-23	1	-92/+0
\|\ \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	PARTIAL MERGE (PARTLY BROKEN). See unsolved conflicts in: aarch64/TO_MERGE and riscV/TO_MERGE WARNING: interface of va_args and assembly sections have changed
\| *	AArch64: macOS port	Xavier Leroy	2020-12-26	1	-2/+6
\| \| \| \| \| \| \| \| \| \|	This commit adds support for macOS (and probably iOS) running on AArch64 / ARM 64-bit / "Apple silicon" processors.
* \|	Merge branch 'master' (Absint 3.8) into kvx-work-merge3.8	David Monniaux	2020-11-18	1	-2/+4
\|\\|
\| *	Support the use of already-installed MenhirLib and Flocq libraries	Xavier Leroy	2020-09-21	1	-2/+1
\| \| \| \| \| \| \| \|	configure flags -use-external-Flocq and -use external-MenhirLib.
\| *	Dual-license aarch64/{Archi.v,Cbuiltins.ml,extractionMachdep.v}	Xavier Leroy	2020-05-05	1	-0/+3
\| \| \| \| \| \| \| \| \| \| \| \|	The corresponding files in all other ports are dual-licensed (GPL + non-commercial), there is no reason it should be different for aarch64.
* \|	test whether the instructions are allowed	David Monniaux	2020-04-19	1	-0/+2
\|/
*	AArch64 port	Xavier Leroy	2019-08-08	1	-0/+88
	This commit adds a back-end for the AArch64 architecture, namely ARMv8 in 64-bit mode.