compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Revised lib/Integers.v to make it parametric w.r.t. word size.	xleroy	2009-11-19	1	-14/+14
\| \| \| \| \| \| \| \| \|	Introduced Int.iwordsize and used it in place of "Int.repr 32" or "Int.repr (Z_of_nat wordsize)". git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1182 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Refactoring of Constprop and Constpropproof into a machine-dependent part ↵	xleroy	2009-08-17	1	-0/+872
	and a machine-independent part. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1126 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e