compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	Composition properties between injections and extensions.	xleroy	2012-12-29	1	-8/+80
*	- Revised non-overflow constraints on memory injections so that	xleroy	2012-07-23	1	-95/+175
*	Use Flocq for floats	xleroy	2012-06-28	1	-1/+1
*	CSE: add recognition of some combined operators, conditions, and addressing m...	xleroy	2012-05-26	1	-7/+19
*	Merge of the newmem branch:	xleroy	2012-05-21	1	-1050/+726
*	Merge of Andrew Tolmach's HASP-related changes	xleroy	2012-03-09	1	-0/+52
*	Merge of the nonstrict-ops branch:	xleroy	2012-01-14	1	-0/+9
*	Cleaned up old commented-out parts	xleroy	2011-08-19	1	-10/+0
*	Back from Oregon commit.	xleroy	2011-07-05	1	-19/+670
*	Merge of branch "unsigned-offsets":	xleroy	2011-04-09	1	-33/+34
*	Updated for Coq 8.3pl1. Some cleanups in test/*/Makefile.	xleroy	2011-03-09	1	-6/+6
*	Memory.v: added drop_perm operation	xleroy	2010-09-21	1	-22/+315
*	Render unto Caesar... (Mention contribution by Dockins and Steward.)	xleroy	2010-07-08	1	-0/+2
*	Support for inlined built-ins.	xleroy	2010-06-29	1	-66/+64
*	Merging the Princeton implementation of the memory model. Separate axioms in...	xleroy	2010-06-28	1	-260/+498
*	Merge of the newmem and newextcalls branches:	xleroy	2010-03-07	1	-0/+2844