debian-compcert - Debian packaging for CompCert

	Commit message (Collapse)	Author	Age
...
*	Storing of single floats: must insert frsp instruction before store. ↵	xleroy	2009-10-30
\| \| \| \| \| \|	(Temporary fix.) git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1158 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Refactored Selection.v and Selectionproof.v into a machine-dependent part + ↵	xleroy	2009-08-17
\| \| \| \| \| \|	a machine-independent part. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1125 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Use Configuration.system	xleroy	2009-03-29
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1023 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	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
*	Conflict between extraction/CList and cil/obj/xxx/clist on case-insensitive ↵	xleroy	2009-01-29
\| \| \| \| \| \|	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
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@946 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Cleanup	xleroy	2008-12-31
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@934 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Continuation of PowerPC/EABI port	xleroy	2008-12-31
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@933 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Reorganized the development, modularizing away machine-dependent parts.	xleroy	2008-12-30
	Started to merge the ARM code generator. Started to add support for PowerPC/EABI. Use ocamlbuild to construct executable from Caml files. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@930 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e