compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Implement support for big endian arm targets.	Bernhard Schommer	2016-08-05	1	-5/+5
\| \| \| \| \| \| \| \|	Adds support for the big endian arm targets by making the target endianess flag configurable, adding support for the big endian calling conventions, rewriting memory access patterns and adding big endian versions of the runtime functions. Bug 19418
*	Fix uninitialized array in do_bench (report by V. Laporte).	Xavier Leroy	2015-09-14	1	-1/+1
\|
*	Endianness in tests	xleroy	2009-01-05	1	-1/+1
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@939 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Continuation of PowerPC/EABI port	xleroy	2008-12-31	1	-1/+1
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@933 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Augmenter le temps d'execution par defaut	xleroy	2008-07-25	1	-1/+1
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@700 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Nettoyages	xleroy	2006-09-17	1	-4/+4
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@108 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Davantage de tests	xleroy	2006-09-17	1	-4/+7
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@104 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	MAJ des tests C	xleroy	2006-09-08	1	-3/+725
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@86 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Version C des tests Cminor	xleroy	2006-06-29	1	-0/+728
	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@40 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e