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

	Commit message (Expand)	Author	Age	Files	Lines
*	Adding info field for branching in RTL, LTL, XTL and all associated passes	Cyril SIX	2020-03-11	1	-3/+3
*	ONE "admitted" and things compile	David Monniaux	2019-09-06	1	-2/+2
*	Extend builtin arguments with a pointer addition operator	Xavier Leroy	2017-07-06	1	-0/+1
*	Introduce register pairs to describe calling conventions more precisely	Xavier Leroy	2016-05-17	1	-0/+5
*	Updated PR by removing whitespaces. Bug 17450.	Bernhard Schommer	2015-10-20	1	-1/+1
*	Renaming {BA,BR}_longofwords -> {BA,BR}_splitlong.	Xavier Leroy	2015-08-22	1	-2/+2
*	Refactoring of builtins and annotations in the back-end.	Xavier Leroy	2015-08-21	1	-12/+18
*	Updated the Caml part. Added some more tests in annot1.c.	Xavier Leroy	2015-03-27	1	-2/+2
*	Extend annotations so that they can keep track of global variables and local ...	Xavier Leroy	2015-03-27	1	-0/+12
*	In Regalloc, dead code elimination, don't eliminate move operations	xleroy	2014-02-23	1	-0/+6
*	Small improvements in compilation times for the register allocation pass.	xleroy	2013-09-20	1	-2/+2
*	Change interface of Kildall solvers to avoid precomputing the map pc -> list ...	xleroy	2013-08-12	1	-3/+0
*	Big merge of the newregalloc-int64 branch. Lots of changes in two directions:	xleroy	2013-04-20	1	-0/+213