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	-2/+2
*	avancement (il faut utiliser Vundef visiblement)	David Monniaux	2019-09-02	1	-2/+2
*	New support for inserting ais-annotations.	Bernhard Schommer	2017-10-19	1	-1/+1
*	Deadcode: eliminate trivial Icond instructions	Xavier Leroy	2017-09-18	1	-1/+4
*	Extend builtin arguments with a pointer addition operator	Xavier Leroy	2017-07-06	1	-0/+2
*	Update the back-end proofs to the new linking framework.	Xavier Leroy	2016-03-06	1	-21/+6
*	Updated PR by removing whitespaces. Bug 17450.	Bernhard Schommer	2015-10-20	1	-2/+2
*	Renaming {BA,BR}_longofwords -> {BA,BR}_splitlong.	Xavier Leroy	2015-08-22	1	-1/+1
*	Refactoring of builtins and annotations in the back-end.	Xavier Leroy	2015-08-21	1	-27/+38
*	Extend annotations so that they can keep track of global variables and local ...	Xavier Leroy	2015-03-27	1	-0/+13
*	Updated ARM backend wrt new static analyses and optimizations.	xleroy	2014-01-02	1	-20/+33
*	Merge of branch value-analysis.	xleroy	2013-12-20	1	-0/+192