debian-compcert - Debian packaging for CompCert

	Commit message (Collapse)	Author	Age
...
*	Honor "static" modifier on C globals.	xleroy	2009-03-28
\| \| \| \| \| \| \| \|	Put "const" globals in read-only section. Revised printing of rlwinm instruction. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1018 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Update	xleroy	2009-03-26
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1016 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Added tail call optimization pass	xleroy	2009-03-26
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1015 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Update	xleroy	2008-08-09
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@711 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Changes 1.2 -> 1.3	xleroy	2008-08-09
	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@709 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e