compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	For uniformity with other messages, added an "Ill-formed expression.".	François Pottier	2015-11-24	1	-0/+1
*	Update of the auto-generated comments.	François Pottier	2015-11-24	1	-610/+611
*	A simplification in the grammar, leading to fewer states in the automaton	François Pottier	2015-11-24	1	-13/+1
*	Fix a typo in a syntax error message.	François Pottier	2015-11-23	1	-1/+1
*	Typo, coherence in error messages	Jacques-Henri Jourdan	2015-11-07	1	-4/+4
*	Integrate a few comments of F. Pottier into the pre_parser and handcrafted.me...	Jacques-Henri Jourdan	2015-11-07	1	-131/+99
*	Merge remote-tracking branch 'origin/master' into parser_fix	Jacques-Henri Jourdan	2015-11-04	1	-1876/+1406
*	Fixed some comments.	François Pottier	2015-10-28	1	-16/+16
*	Fixed one error message and removed two comments.	François Pottier	2015-10-26	1	-5/+1
*	Added copyright banners to the new files.	François Pottier	2015-10-23	1	-0/+12
*	Install the new system for reporting syntax errors.	François Pottier	2015-10-23	1	-0/+5162