compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	C reference implementation of the int64 helper functions.	Xavier Leroy	2015-02-14	1	-0/+51
	In test_int64.c: don't test FP->int64 conversions when the FP argument is out of range.