compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	- Revised non-overflow constraints on memory injections so that	xleroy	2012-07-23	1	-0/+2
*	Merge of the nonstrict-ops branch:	xleroy	2012-01-14	1	-5/+6
*	ARM codegen ported to new ABI + VFD floats	xleroy	2011-07-30	1	-52/+51
*	Merge of branch new-semantics: revised and strengthened top-level statements ...	xleroy	2011-07-15	1	-4/+3
*	Revised handling of annotation statements, and more generally built-in functi...	xleroy	2011-06-13	1	-1/+32
*	Renamed Machconcr into Machsem.	xleroy	2011-04-09	1	-53/+53
*	Merge of branch "unsigned-offsets":	xleroy	2011-04-09	1	-63/+98
*	Merge of the reuse-temps branch:	xleroy	2010-09-02	1	-160/+242
*	Support for inlined built-ins.	xleroy	2010-06-29	1	-1/+34
*	More faithful semantics for volatile reads and writes.	xleroy	2010-05-23	1	-2/+11
*	- Extended traces so that pointers within globals are supported as event values.	xleroy	2010-05-10	1	-3/+14
*	Updating ARM port	xleroy	2010-03-28	1	-53/+27
*	Merge of the newmem and newextcalls branches:	xleroy	2010-03-07	1	-1/+1
*	Added support for jump tables.	xleroy	2009-11-19	1	-0/+56
*	Added 'going wrong' behaviors	xleroy	2009-08-05	1	-1/+1
*	- Added alignment constraints to memory loads and stores.	xleroy	2009-01-11	1	-63/+3
*	Reorganized the development, modularizing away machine-dependent parts.	xleroy	2008-12-30	1	-0/+1246