compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	Merge of the "volatile" branch:	xleroy	2012-02-04	1	-165/+0
*	SimplVolatile: new pass to eliminate read-modify-write ops over volatiles	xleroy	2011-08-18	1	-64/+33
*	Factor out bind_lvalue	xleroy	2011-08-17	1	-19/+0
*	More vigorous scrubbing of r-value structs	xleroy	2011-08-09	1	-12/+8
*	Improved treatment of structs/unions as r-values	xleroy	2011-08-08	1	-16/+34
*	Added animation of the CompCert C semantics (ccomp -interp)	xleroy	2011-07-28	1	-27/+23
*	cparser/StructAssign: always use __builtin_memcpy + alignment indication	xleroy	2011-05-11	1	-87/+53
*	Use memcpy_word only if alignment AND size are multiples of word size.	xleroy	2011-04-17	1	-3/+5
*	In StructAssign: be careful not to duplicate accesses to a volatile variable.	xleroy	2010-11-10	1	-8/+10
*	Merge of branches/full-expr-4:	xleroy	2010-08-18	1	-35/+108
*	__builtin_memcpy, continued.	xleroy	2010-04-17	1	-9/+18
*	Support __builtin_memcpy; use it for struct assignment	xleroy	2010-04-17	1	-29/+25
*	Bug fix: infinite loop in cparser/ on bit field of size 32 bits.	xleroy	2010-04-09	1	-1/+1
*	Switching to the new C parser/elaborator/simplifier	xleroy	2010-03-03	1	-0/+157