compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Add .gitignore files.	Xavier Leroy	2014-09-21	1	-0/+4
\|
*	PowerPC port: refactored the expansion of built-in functions and	xleroy	2014-07-28	1	-1/+15
\| \| \| \| \| \| \| \| \| \|	pseudo-instructions so that it does not need to be re-done in cchecklink. cchecklink: updated accordingly. testsuite: compile with -sdump and run cchecklink if supported. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2553 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Presimplification SimplVolatile: cleaned up and integrated.	xleroy	2011-08-18	1	-1/+1
\| \| \| \| \| \|	test/*/Makefile: normalized 'bench' target git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1717 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	No crash if nonexistent input file.	xleroy	2010-09-14	2	-2/+3
\| \| \| \| \| \| \|	Heuristic to choose test data. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1509 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Ajout nouveaux tests	xleroy	2008-08-09	20	-0/+5415
	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@708 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e