compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	Support C11 Unicode string literals and character constants (#452)	Xavier Leroy	2022-09-19	1	-1/+1
*	Use the LGPL instead of the GPL for dual-licensed files	Xavier Leroy	2021-05-08	1	-4/+5
*	Remove the cparser/Builtins module	Xavier Leroy	2019-07-17	1	-0/+7
*	Record value of constant expression in C.Scase constructor	Xavier Leroy	2018-04-27	1	-1/+1
*	Improved handling and diagnostics for the `auto` storage class (#99)	Xavier Leroy	2018-04-25	1	-1/+2
*	Next try for support of anonymous structs.	Bernhard Schommer	2016-12-07	1	-1/+2
*	Updated PR by removing whitespaces. Bug 17450.	Bernhard Schommer	2015-10-20	1	-5/+5
*	Experiment: support a subset of GCC's extended asm statements.	Xavier Leroy	2015-04-17	1	-1/+5
*	Support C99 compound literals (by expansion in Unblock pass).	xleroy	2014-08-21	1	-25/+26
*	Simpler, more robust emulation of calls to variadic functions:	xleroy	2013-12-28	1	-1/+2
*	Merge of the "alignas" branch.	xleroy	2013-10-05	1	-0/+1
*	Support for inline assembly (asm statements).	xleroy	2012-12-18	1	-1/+8
*	Flocq-based parsing of floating-point literals (Jacques-Henri Jourdan)	xleroy	2012-11-03	1	-1/+8
*	- Support for _Alignof(ty) operator from ISO C 2011	xleroy	2012-02-26	1	-0/+1
*	cparser: support for attributes over struct and union.	xleroy	2011-05-12	1	-2/+3
*	Preliminary support for gcc-style __attribute__ over types	xleroy	2010-07-08	1	-1/+10
*	Support for 'inline' modifier	xleroy	2010-03-03	1	-0/+1
*	Switching to the new C parser/elaborator/simplifier	xleroy	2010-03-03	1	-0/+231