compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Assorted changes to reduce stack and heap requirements when compiling very ↵	xleroy	2013-03-16	1	-21/+25
\| \| \| \| \| \|	big functions. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2151 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Glasnost: making transparent a number of definitions that were opaque	xleroy	2013-03-10	1	-1/+1
\| \| \| \| \| \| \| \|	for no good reason. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2140 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Remove some useless "Require".	xleroy	2012-12-30	1	-3/+0
\| \| \| \| \| \| \|	Update ARM port. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2085 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	New backend pass "RRE": optimize (somewhat) redundant reloads introduced by ↵	xleroy	2011-08-16	1	-0/+172
	the Reload pass. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1713 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e