compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Remove tests involving Cminor concrete syntax. Update Changelog	Xavier Leroy	2017-02-15	1	-381/+0
\| \| \| \|	Follow-up to [29653ba]
*	Implement support for big endian arm targets.	Bernhard Schommer	2016-08-05	1	-3/+3
\| \| \| \| \| \| \| \|	Adds support for the big endian arm targets by making the target endianess flag configurable, adding support for the big endian calling conventions, rewriting memory access patterns and adding big endian versions of the runtime functions. Bug 19418
*	Endianness in tests	xleroy	2009-01-05	1	-0/+12
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@939 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Simplification de Cminor: les affectations de variables locales ne sont	xleroy	2006-09-18	1	-5/+10
\| \| \| \| \| \| \| \|	plus des expressions mais des statements (Eassign -> Sassign). Cela simplifie les preuves et ameliore la qualite du RTL produit. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@111 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Initial import of compcert	xleroy	2006-02-09	1	-0/+364
	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e