compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Update manpage for new warning name class	Michael Schmidt	2018-03-08	1	-0/+4
\|
*	Mention the RISC-V port as well	Xavier Leroy	2018-01-13	1	-1/+1
\|
*	Update man page for new Diab target option	Michael Schmidt	2018-01-08	1	-6/+8
\|
*	Update man page for new Diab target option	Michael Schmidt	2018-01-08	1	-0/+6
\|
*	Inlining of static functions which are only called once. (#37)	Bernhard Schommer	2017-12-07	1	-0/+5
\| \| \| \| \| \| \| \| \|	New inlining heuristic for static functions. Static functions that are only called once can always be inlined, since they can be removed safely after inlining and no call prologue, epilogue, as well as register saving and needs to be generated.
*	Add optimization option finline.	Bernhard Schommer	2017-04-07	1	-0/+5
\| \| \| \| \| \|	The new option f(no-)inline controlls whether inlining is active or not. Bug 21343.
*	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