compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	bug 17392: remove trailing whitespace in source files	Michael Schmidt	2015-10-14	1	-38/+38
*	Assorted cleanups, esp. to avoid generating _rec and _rect recursors in	xleroy	2013-03-09	1	-79/+82
*	Various algorithmic improvements that reduce compile times (thanks Alexandre ...	xleroy	2010-10-27	1	-0/+570