compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Upgrade embedded version of Flocq to 3.1.	Guillaume Melquiond	2019-03-27	1	-1094/+0
\| \| \| \| \| \| \| \| \| \| \| \|	Main changes to CompCert outside of Flocq are as follows: - Minimal supported version of Coq is now 8.7, due to Flocq requirements. - Most modifications are due to Z2R being dropped in favor of IZR and to the way Flocq now handles NaNs. - CompCert now correctly handles NaNs for the Risc-V architecture (hopefully).
*	Update Flocq to version 2.5.2	Xavier Leroy	2017-02-13	1	-1/+2
\| \| \| \|	This version of Flocq is compatible with Coq 8.6
*	Port to Coq 8.5pl2	Xavier Leroy	2016-07-08	1	-1/+1
\| \| \| \| \|	Manual merging of branch jhjourdan:coq8.5. No other change un functionality.
*	Merge of Flocq version 2.2.0.	xleroy	2013-08-02	1	-2/+2
\| \| \| \| \| \| \|	More precise modeling of NaNs. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2303 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Use Flocq for floats	xleroy	2012-06-28	1	-0/+1093
	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1939 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e