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

	Commit message (Expand)	Author	Age	Files	Lines
*	Handle the new warnings of OCaml 4.13	Xavier Leroy	2021-09-13	1	-3/+3
*	Move shared code in new file.	Bernhard Schommer	2020-06-28	1	-1/+1
*	Move reserved_registers to CPragmas.	Bernhard Schommer	2020-04-20	1	-3/+1
*	Define IRC.class_of_type for types Tany32, Tany64	Xavier Leroy	2020-03-02	1	-1/+2
*	Support for 64-bit architectures: generic support	Xavier Leroy	2016-10-01	1	-14/+27
*	Revise the Stacking pass and its proof to make it easier to adapt to 64-bit a...	Xavier Leroy	2016-04-27	1	-2/+2
*	Deactivate warning 27 and added back removed code.	Bernhard Schommer	2016-03-15	1	-4/+4
*	Added back invariant checks for IRC.	Bernhard Schommer	2016-03-15	1	-0/+36
*	Code cleanup.	Bernhard Schommer	2016-03-10	1	-52/+5
*	Updated PR by removing whitespaces. Bug 17450.	Bernhard Schommer	2015-10-20	1	-7/+7
*	Merge of "newspilling" branch:	xleroy	2014-07-23	1	-16/+37
*	Reducing compilation times: (by 35% on one example)	xleroy	2014-04-06	1	-20/+18
*	Hunting stack overflows again:	xleroy	2013-05-27	1	-3/+5
*	Merge of the float32 branch:	xleroy	2013-05-19	1	-3/+9
*	Big merge of the newregalloc-int64 branch. Lots of changes in two directions:	xleroy	2013-04-20	1	-0/+894