compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Upgrade to Flocq 2.5.0.	Guillaume Melquiond	2015-09-22	1	-14/+24
\| \| \| \|	Note: this version of Flocq is compatible with both Coq 8.4 and 8.5.
*	Upgrade to flocq 2.4.0	Jacques-Henri Jourdan	2014-10-07	1	-38/+189
\|
*	Update comment	xleroy	2014-08-13	1	-2/+1
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2562 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Merge of Flocq version 2.2.0.	xleroy	2013-08-02	1	-133/+279
\| \| \| \| \| \| \|	More precise modeling of NaNs. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2303 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Flocq-based parsing of floating-point literals (Jacques-Henri Jourdan)	xleroy	2012-11-03	1	-4/+4
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2065 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Use Flocq for floats	xleroy	2012-06-28	1	-0/+1617
	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1939 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e