compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	Suppression de lib/Sets.v, utilisation de FSet a la place. Generalisation de...	xleroy	2007-03-02	4	-706/+248
*	Preuve des 2 axiomes restants	xleroy	2007-03-02	1	-2/+17
*	Ajout lemmes utiles sur egalite decidable	xleroy	2007-03-02	1	-0/+31
*	Ajout operation eq dans PMap et IndexedMap	xleroy	2007-01-03	1	-0/+10
*	Petites adaptations pour Coq 8.1gamma	xleroy	2006-11-11	5	-16/+25
*	Lever la restriction sur les fonctions externes, restriction qui exigeait que...	xleroy	2006-10-22	1	-1/+43
*	Fusion de la branche "traces":	xleroy	2006-09-04	7	-165/+1705
*	Initial import of compcert	xleroy	2006-02-09	9	-0/+5563