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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Prove exec_body_dont_move_PC	Justus Fasse	2020-08-18	1	-4/+4
\| \| \| \| \| \|	Modify Asmblock.preg to combine iregsp and freg into dreg (dreg might be a misnomer since not all iregs are data regs) TODO: Adjust names of PArithP, PArithPP and the like
*	Add dynamically checked assumption to simplify Asmgenproof	Justus Fasse	2020-07-21	1	-1/+1
\| \| \| \| \|	Previously Asmblock.label_pos and Asm.label_pos could point to different memory location for the same label.
*	aarch64/Asm: Fix `Error: Pattern "PC" is redundant in this clause.`	Justus Fasse	2020-07-06	1	-1/+1
\| \| \| \|	Introduced by changed definition of preg in aarch64/Asmblock
*	[WIP: Coq compilation broken] Stub for Asmgen	Sylvain Boulmé	2020-06-21	1	-498/+32
\|
*	Revert "Remove `__builtin_nop` for some architectures. (#208)"	Bernhard Schommer	2020-01-03	1	-1/+3
\| \| \| \|	This reverts commit 4dfcd7d4be18e8bc437ca170782212aa06635a95.
*	Remove `__builtin_nop` for some architectures. (#208)	Bernhard Schommer	2019-12-21	1	-3/+1
\| \| \| \| \| \| \|	The `__builtin_nop` function is documented only for PowerPC. It was added to the other architectures by copy paste, but has no known uses. So, remove `__builtin_nop` from all architectures but PowerPC.
*	AArch64 port	Xavier Leroy	2019-08-08	1	-0/+1312
	This commit adds a back-end for the AArch64 architecture, namely ARMv8 in 64-bit mode.