debian-compcert - Debian packaging for CompCert

	Commit message (Collapse)	Author	Age
*	Integration of Jacques-Henri Jourdan's verified parser.	xleroy	2014-04-29
\| \| \| \| \| \| \|	(Merge of branch newparser.) git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2469 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	cparser: support for attributes over struct and union.	xleroy	2011-05-12
\| \| \| \| \| \| \| \|	cparser: added experimental emulation of packed structs (PackedStruct.ml) git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1650 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Support compile-time constant expressions as arguments to gcc-style attributes	xleroy	2011-04-20
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1641 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	cparser/Elab: __attribute, not attribute	xleroy	2011-04-16
	ia32/PrintAsm: wrong section name regression: added test attribs1 git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1636 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e