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

	Commit message (Expand)	Author	Age	Files	Lines
*	Merge branch 'kvx-work' into kvx-work-merge3.8	Cyril SIX	2020-12-04	1	-2/+2
\|\
\| *	Tunneling: improved elimination of conditions	Sylvain Boulmé	2020-11-16	1	-2/+2
* \|	Merge branch 'master' (Absint 3.8) into kvx-work-merge3.8	David Monniaux	2020-11-18	1	-1/+1
\|\ \ \| \|/ \|/\|
\| *	Move shared code in new file.	Bernhard Schommer	2020-06-28	1	-1/+1
* \|	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
*	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