compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Relaxation des contraintes sur les struct recursives	xleroy	2006-10-23	1	-13/+9
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@128 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Location pour erreur sur le type de main()	xleroy	2006-10-23	1	-1/+2
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@127 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Verification du type de retour de main()	xleroy	2006-10-23	1	-10/+8
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@126 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Lever la restriction sur les fonctions externes, restriction qui exigeait ↵	xleroy	2006-10-22	1	-15/+0
\| \| \| \| \| \|	que tous les arguments resident en registres git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@125 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Meilleur traitement des fonctions forward declared. Ajout d'un warning sur ↵	xleroy	2006-10-22	1	-0/+16
\| \| \| \| \| \|	le nombre d'arguments d'une fonction externe, qui est actuellement limite par le back-end git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@124 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	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