compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Warning for decls without name in composites.	Bernhard Schommer	2016-11-22	1	-5/+5
\| \| \| \| \| \|	The warning missing declarations is now also triggered for declarations without name in field lists of composite types if the declaration is not an anonymous composite or a bitfield member.
*	Remove unnecessary usage of isatty.	Bernhard Schommer	2016-10-18	1	-1/+1
\|
*	Catch errors from Unix for isatty.	Bernhard Schommer	2016-10-18	1	-1/+4
\| \| \| \| \| \|	There is a bug in the fstat implementation in ocaml 4.03 under windows. In order to prevent this we guard the isatty function with an additional try with.
*	mention -Wall in help text	Michael Schmidt	2016-09-22	1	-0/+1
\|
*	Added compcert-conformance to wall. Bug 19872	Bernhard Schommer	2016-09-22	1	-0/+2
\|
*	Renamed pedantic to implicit-int.	Bernhard Schommer	2016-09-22	1	-5/+6
\| \| \| \| \| \| \| \|	The only case where compcert raise a pedantic warning was for implicit int parameters. This is the behavior of clang. However since not all other pedantic warnings are supported the behavior of gcc is adopted. Bug 19872.
*	Fix typo in option name. Bug 18004	Bernhard Schommer	2016-09-21	1	-1/+1
\|
*	Make unnamed default + correct empty struct warning. Bug 18004	Bernhard Schommer	2016-09-21	1	-0/+1
\|
*	Remove the duplicated :. Bug 18004	Bernhard Schommer	2016-09-21	1	-3/+3
\|
*	Added conformance warning.	Bernhard Schommer	2016-08-31	1	-0/+2
\| \| \| \| \| \|	This warning should be triggered if a feature is used that is not part of the code CompCert C language. Bug 18004
*	Merge branch 'master' into advanced-diagnostics	Bernhard Schommer	2016-08-29	1	-2/+6
\|\
\| *	Fixed typo. Bug 19504	Bernhard Schommer	2016-08-08	1	-1/+1
\| \|
\| *	Added error check before transformations.	Bernhard Schommer	2016-08-08	1	-2/+4
\| \| \| \| \| \| \| \| \| \| \| \|	Added a check for errors after the elab phases to avoid problems in the transformations due to broken input programs. Bug 19504
* \|	Additional test for color output.	Bernhard Schommer	2016-08-05	1	-19/+16
\| \| \| \| \| \| \| \| \| \| \| \|	Color output is only enabled if stderr is a tty, and the environment variable TERM is not empty or dumb. Bug 18004
* \|	Classified all warnings and added various options.	Bernhard Schommer	2016-07-29	1	-13/+249
\|/ \| \| \| \| \| \| \| \| \|	Now each warning either has a name and can be turned on/off, made into an error,etc. or is a warning that always will be triggered. The message of the warnings are similar to the ones emited by gcc/clang and all fit into one line. Furthermore the diagnostics are now colored if colored output is available. Bug 18004
*	Added [Cerrors.fatal_error_raw].	François Pottier	2015-10-23	1	-0/+12
\|
*	Integration of Jacques-Henri Jourdan's verified parser.	xleroy	2014-04-29	1	-0/+3
\| \| \| \| \| \| \|	(Merge of branch newparser.) git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2469 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Catch and report Env errors arising out of some Cutil functions	xleroy	2013-12-30	1	-1/+1
\| \| \| \| \| \| \|	(incomplete_type, sizeof, etc). git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2393 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	checklink: first import of Valentin Robert's validator for asm and link	xleroy	2012-03-28	1	-0/+55
	cparser: renamed Errors to Cerrors; removed packing into Cparser. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1856 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e