compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Update clightgen with respect to new representation of composites.	Xavier Leroy	2015-02-20	1	-97/+103
\|
*	Update clightgen for CompCert 2.2.v2.2	xleroy	2014-02-23	1	-2/+6
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2417 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	One more copyright header update.	xleroy	2013-06-17	1	-1/+0
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2282 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Update LICENSE file and headers for dual-licensed files.	xleroy	2013-06-17	1	-0/+4
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2280 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Updated	xleroy	2013-04-30	1	-3/+1
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2219 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Update clightgen to changes in Camlcoq and in AST.	xleroy	2013-03-20	1	-1/+1
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2156 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Put clighgen files in exportclight/	xleroy	2013-01-05	1	-0/+282
	Short doc in exportclight/README git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2089 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e