compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	Open files in binary mode.	Bernhard Schommer	2015-11-30	1	-1/+1
*	Read the whole source C file into memory instad of reading it on demand.	François Pottier	2015-10-23	1	-3/+15
*	Merge pull request #57 from jhjourdan/parser_fix	Bernhard Schommer	2015-10-01	1	-3/+7
\|\
\| *	Fixed a few bugs in the pre parser. In particular, the following code	Jacques-Henri Jourdan	2015-09-30	1	-3/+7
* \|	Move more functionality in the new interface.	Bernhard Schommer	2015-09-16	1	-9/+4
\|/
*	Added flag for the renaming of static functions.	Bernhard Schommer	2015-05-19	1	-1/+1
*	Bitfield improvements continued: perform bitfield expansion before unblocking...	Xavier Leroy	2015-04-28	1	-1/+1
*	Compute the size of structs using the result of the packing and bitfield tran...	Bernhard Schommer	2015-03-26	1	-10/+10
*	Added missing functions for printing the structs and unions. Still missing pr...	Bernhard Schommer	2015-03-24	1	-4/+9
*	Moved the timing facility to a seperate file.	Bernhard Schommer	2014-09-29	1	-3/+3
*	Integration of Jacques-Henri Jourdan's verified parser.	xleroy	2014-04-29	1	-4/+12
*	Merge of branch linear-typing:	xleroy	2014-04-06	1	-6/+10
*	checklink: first import of Valentin Robert's validator for asm and link	xleroy	2012-03-28	1	-4/+4
*	Problems with multiple declarations of publically-visible identifiers	xleroy	2012-02-29	1	-1/+1
*	Merge of the "volatile" branch:	xleroy	2012-02-04	1	-12/+2
*	SimplVolatile: new pass to eliminate read-modify-write ops over volatiles	xleroy	2011-08-18	1	-3/+5
*	cparser: support for attributes over struct and union.	xleroy	2011-05-12	1	-1/+3
*	Merge of branches/full-expr-4:	xleroy	2010-08-18	1	-3/+3
*	Switching to the new C parser/elaborator/simplifier	xleroy	2010-03-03	1	-0/+59