compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Updates to the local test suite	Xavier Leroy	2016-07-24	2	-18/+6
\| \| \| \| \| \| \|	- Adjust parameters to bring the running time of each test closer to 1 second - compression/arcode.c: array access one past - "inline" -> "static inline" - Remove cchecklink support
*	test/regression: test packedstruct1 only if unaligned accesses are supported.	Xavier Leroy	2015-08-21	1	-1/+1
\| \| \| \|	Also: exit on error when a test fails.
*	Remove stray +x.	Christoph Mallon	2015-06-25	3	-0/+0
\|
*	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