compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Suppressed Init_pointer, now useless. Improved printing of strings in ↵	xleroy	2010-03-03	1	-17/+1
\| \| \| \| \| \|	generated .s git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1274 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Updated ARM asm printer	xleroy	2010-01-25	1	-5/+10
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1233 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Updated ARM port	xleroy	2010-01-25	1	-2/+4
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1232 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Added support for jump tables.	xleroy	2009-11-19	1	-0/+6
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1181 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Support Clight initializers of the form "int * x = &y;".	xleroy	2009-11-01	1	-0/+2
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1162 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Various clean-upsv1.4	xleroy	2009-04-17	1	-2/+1
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1033 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Conflict between extraction/CList and cil/obj/xxx/clist on case-insensitive ↵	xleroy	2009-01-29	1	-1/+0
\| \| \| \| \| \|	file systems. Replaced CList by CoqList and likewise for CString and CInt. Removed useless references to CList in hand-written Caml code. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@951 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Elimination of "alloc" instruction in Caml files and test files.	xleroy	2009-01-11	1	-2/+0
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@946 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Continuation of ARM port.	xleroy	2009-01-01	1	-0/+507
	Cleaned up Makefile and SVN properties. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@935 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e