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

	Commit message (Expand)	Author	Age	Files	Lines
*	Merge branch 'master' (Absint 3.8) into kvx-work-merge3.8	David Monniaux	2020-11-18	1	-2/+1
\|\
\| *	Move shared code in new file.	Bernhard Schommer	2020-06-28	1	-2/+1
* \|	ONE "admitted" and things compile	David Monniaux	2019-09-06	1	-2/+3
\|/
*	Deactivate warning 27 and added back removed code.	Bernhard Schommer	2016-03-15	1	-2/+2
*	Code cleanup.	Bernhard Schommer	2016-03-10	1	-6/+2
*	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	-10/+2
*	Do not use Format for faster printing of RTL, XTL, LTL, Mach	xleroy	2013-09-26	1	-24/+22
*	Big merge of the newregalloc-int64 branch. Lots of changes in two directions:	xleroy	2013-04-20	1	-1/+1
*	Ported to Coq 8.4pl1. Merge of branches/coq-8.4.	xleroy	2013-01-29	1	-4/+4
*	Globalenvs: allocate one-byte block with permissions Nonempty for each	xleroy	2012-11-12	1	-5/+5
*	Merge of the newmem branch:	xleroy	2012-05-21	1	-15/+12
*	Revised handling of annotation statements, and more generally built-in functi...	xleroy	2011-06-13	1	-15/+14
*	powerpc/PrintAsm.ml arm/PrintAsm.ml: updated (no label elimination).	xleroy	2011-05-08	1	-0/+126