compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	Move shared code in new file.	Bernhard Schommer	2020-06-28	1	-1/+1
*	Compatibility with OCaml 4.08 (#302)	Xavier Leroy	2019-07-08	1	-1/+1
*	Remove open Locations.	Bernhard Schommer	2017-02-06	1	-6/+5
*	Deactivate warning 27 and added back removed code.	Bernhard Schommer	2016-03-15	1	-2/+2
*	Code cleanup.	Bernhard Schommer	2016-03-10	1	-4/+3
*	Refactoring of builtins and annotations in the back-end.	Xavier Leroy	2015-08-21	1	-4/+3
*	Updated the Caml part. Added some more tests in annot1.c.	Xavier Leroy	2015-03-27	1	-2/+2
*	Do not use Format for faster printing of RTL, XTL, LTL, Mach	xleroy	2013-09-26	1	-30/+28
*	Hunting stack overflows again:	xleroy	2013-05-27	1	-1/+1
*	Big merge of the newregalloc-int64 branch. Lots of changes in two directions:	xleroy	2013-04-20	1	-67/+92
*	Extraction: map Coq pairs to Caml pairs and Coq chars (type ascii) to Caml chars	xleroy	2011-10-18	1	-1/+1
*	Revised handling of annotation statements, and more generally built-in functi...	xleroy	2011-06-13	1	-2/+5
*	Pretty-printers for RTL and LTL. Not yet well integrated.	xleroy	2010-05-02	1	-0/+117