compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	update manpage for new options	Michael Schmidt	2017-02-21	1	-4/+16
\|
*	drop .cm support from man page	Michael Schmidt	2017-02-15	1	-4/+0
\|
*	mention share directory for -target option	Michael Schmidt	2017-01-26	1	-0/+1
\|
*	describe -conf and -target	Michael Schmidt	2017-01-26	1	-0/+11
\|
*	describe environment variable for configuration file	Michael Schmidt	2017-01-26	1	-2/+10
\|
*	bug 20679, more precise description of -g	Michael Schmidt	2017-01-17	1	-1/+1
\|
*	Fix typos	Michael Schmidt	2017-01-04	1	-2/+2
\|
*	bug 20593, document new warning class in man-page	Michael Schmidt	2016-12-14	1	-0/+4
\|
*	fix targets in section for code generation options	Michael Schmidt	2016-12-02	1	-1/+5
\|
*	update info about x86 in manpage	Michael Schmidt	2016-11-03	1	-2/+2
\|
*	Minor improvements	Michael Schmidt	2016-10-17	1	-4/+4
\|
*	Update description for debugging options	Michael Schmidt	2016-10-14	1	-4/+3
\|
*	Add a man-page	Michael Schmidt	2016-10-14	1	-0/+534