compcert-kvx - Unnamed repository; edit this file 'description' to name the repository.

	Commit message (Expand)	Author	Age	Files	Lines
*	Added prediction info in the printers	Cyril SIX	2020-03-13	1	-2/+3
*	Adding info field for branching in RTL, LTL, XTL and all associated passes	Cyril SIX	2020-03-11	1	-1/+1
*	ONE "admitted" and things compile	David Monniaux	2019-09-06	1	-3/+4
*	Compatibility with OCaml 4.08 (#302)	Xavier Leroy	2019-07-08	1	-1/+1
*	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/+2
*	Updated PR by removing whitespaces. Bug 17450.	Bernhard Schommer	2015-10-20	1	-1/+1
*	Refactoring of builtins and annotations in the back-end.	Xavier Leroy	2015-08-21	1	-5/+3
*	Extend annotations so that they can keep track of global variables and local ...	Xavier Leroy	2015-03-27	1	-0/+4
*	- Back to origins: suppress Mfloat64al32 chunk and align Mfloat64 to 4.	xleroy	2014-01-12	1	-21/+5
*	Merge of branch value-analysis.	xleroy	2013-12-20	1	-0/+3
*	Do not use Format for faster printing of RTL, XTL, LTL, Mach	xleroy	2013-09-26	1	-34/+32
*	Assorted changes to reduce stack and heap requirements when compiling very bi...	xleroy	2013-03-16	1	-1/+1
*	Ported to Coq 8.4pl1. Merge of branches/coq-8.4.	xleroy	2013-01-29	1	-6/+6
*	Globalenvs: allocate one-byte block with permissions Nonempty for each	xleroy	2012-11-12	1	-5/+5
*	Merge of the newmem branch:	xleroy	2012-05-21	1	-25/+18
*	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	-11/+3
*	Merge of branches/full-expr-4:	xleroy	2010-08-18	1	-9/+50
*	Pretty-printers for RTL and LTL. Not yet well integrated.	xleroy	2010-05-02	1	-0/+111