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

	Commit message (Expand)	Author	Age	Files	Lines
*	Merge remote-tracking branch 'absint/master' into merge_absint	David Monniaux	2022-02-02	1	-2/+2
\|\
\| *	Enforce evaluation order in IRC.add_interf and IRC.add_pref	Xavier Leroy	2021-12-07	1	-2/+2
* \|	Merge branch 'master' of https://github.com/AbsInt/CompCert into towards_3.10	David Monniaux	2021-09-24	1	-3/+3
\|\\|
\| *	Handle the new warnings of OCaml 4.13	Xavier Leroy	2021-09-13	1	-3/+3
* \|	Merge branch 'master' (Absint 3.8) into kvx-work-merge3.8	David Monniaux	2020-11-18	1	-4/+2
\|\\|
\| *	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
* \|	fixed CSE2 for mppa_k1c	David Monniaux	2020-03-03	1	-1/+0
\|\\|
\| *	Define IRC.class_of_type for types Tany32, Tany64	Xavier Leroy	2020-03-02	1	-1/+2
* \|	try to be portable across archs	David Monniaux	2019-03-21	1	-6/+3
* \|	XLeroy's suggested fix for shared float/int register file.	David Monniaux	2019-03-20	1	-3/+3
* \|	Revert "Better fix for register allocation?"	David Monniaux	2019-03-20	1	-4/+3
* \|	Better fix for register allocation?	Cyril SIX	2019-02-06	1	-3/+4
\|/
*	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