compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Update ARM port. Not tested yet.	Xavier Leroy	2016-10-25	1	-0/+1
\|
*	Implement support for big endian arm targets.	Bernhard Schommer	2016-08-05	1	-0/+40
\| \| \| \| \| \| \| \|	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
*	Libcompcert should be compiled in thumb mode for armv7m.	Bernhard Schommer	2015-12-18	1	-2/+2
\| \| \| \| \| \|	Libcompcert was defined in thumb mode for armv7r but it should be compild in thumb mode for armv7m. Bug 17808.
*	configure: distinguish between ABI and processor model.	xleroy	2014-07-29	1	-3/+16
\| \| \| \| \| \| \| \|	ARM: various tweaks, incl. support for SDIV and UDIV insns when available. test/regression/funptr2.c: Thumb does weird things with <function ptr>+1. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2555 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	ARM port: add support for Thumb2. To be tested.	xleroy	2014-07-27	1	-0/+84
	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2549 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e