compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Type unrolling in struct and union fields	xleroy	2006-09-17	1	-5/+30
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@105 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Bug dans le traitement des fonctions variadiques.	xleroy	2006-09-17	1	-25/+54
\| \| \| \| \| \| \| \| \|	Tolerer les chaines litterales dans les initialiseurs. Forcer evaluation gauche-droite pour avoir les erreurs et warnings dans l'ordre du source. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@103 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Const.prop dans la taille des tableaux. Tolerer (avec warning) les ↵	xleroy	2006-09-16	1	-5/+9
\| \| \| \| \| \|	declarations extern ty var[]. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@100 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Eviter de caster les fonctions directement dans le cas variadique, gcc dit ↵	xleroy	2006-09-11	1	-4/+1
\| \| \| \| \| \|	que c'est interdit git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@96 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Revu traitement des structures et unions recursives. Dans Cshmgen, ↵	xleroy	2006-09-11	1	-4/+9
\| \| \| \| \| \|	meilleure compilation de exit_if_false. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@94 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Traiter les initialisations x = NULL	xleroy	2006-09-08	1	-0/+2
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@89 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Suite de l'adaptation du front-end CIL	xleroy	2006-09-08	1	-236/+258
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@87 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Integration du front-end CIL developpe par Thomas Moniot	xleroy	2006-09-07	1	-0/+863
	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@84 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e