compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	Function types didn't always degrade to pointers like they should. Introduce...	xleroy	2010-03-02	1	-1/+1
*	Revised lib/Integers.v to make it parametric w.r.t. word size.	xleroy	2009-11-19	1	-3/+3
*	Last updates for release 1.5.v1.5	xleroy	2009-08-28	1	-9/+9
*	Distinguish two kinds of nonterminating behaviors: silent divergence	xleroy	2009-08-16	1	-25/+31
*	Transition semantics for Clight and Csharpminor	xleroy	2009-08-03	1	-99/+876
*	Adapted to work with Coq 8.2-1v1.4.1	xleroy	2009-06-05	1	-1/+1
*	Replace cast{8,16}{signed,unsigned} with zero_ext and sign_ext.	xleroy	2008-12-29	1	-4/+4
*	Clight: ajout Econdition, suppression Eindex.	xleroy	2008-09-27	1	-5/+10
*	Utilisation de intoffloatu. Ajout du cas int + ptr.	xleroy	2008-05-31	1	-10/+22
*	Revu les comparaisons de pointeurs: == et <> sont definis entre 2 pointeurs v...	xleroy	2008-05-30	1	-1/+1
*	Ajout license, README, copyright notices	xleroy	2008-01-27	1	-0/+15
*	In Clight, revised handling of comparisons between pointers and 0	xleroy	2007-11-13	1	-20/+15
*	Relaxation de la regle d'evaluation Ecast	xleroy	2007-10-17	1	-2/+2
*	Fusion de la branche restr-cminor. En Clight, C#minor et Cminor, les express...	xleroy	2007-08-28	1	-185/+292
*	Documentation	xleroy	2007-08-05	1	-24/+89
*	Fusion des modifications faites sur les branches "tailcalls" et "smallstep".	xleroy	2007-08-04	1	-1/+2
*	Revu traitement des structures et unions recursives. Dans Cshmgen, meilleure...	xleroy	2006-09-11	1	-4/+4
*	Permettre les casts entre types de fonction	xleroy	2006-09-06	1	-12/+16
*	Csem: l'hypothese de typage sur main est inutile (assuree par wt_program)	xleroy	2006-09-06	1	-1/+0
*	Revu traitement des variables globales dans AST.program et dans Globalenvs.	xleroy	2006-09-05	1	-8/+2
*	Fusion de la branche "traces":	xleroy	2006-09-04	1	-0/+752