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	1	-3/+0
\| \| \| \| \| \| \|	- 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.
*	PowerPC port: refactored the expansion of built-in functions and	xleroy	2014-07-28	1	-0/+3
\| \| \| \| \| \| \| \| \| \|	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	-0/+3
\| \| \| \| \| \|	test/*/Makefile: normalized 'bench' target git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1717 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Improved test harness	xleroy	2011-03-10	1	-0/+10
	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1598 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e