compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Test for the compilation of floating-point literals	Xavier Leroy	2019-08-08	1	-0/+2
	With special emphasis on the use of the AArch64 fmov #imm instruction.