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

	Commit message (Expand)	Author	Age	Files	Lines
*	Renaming {BA,BR}_longofwords -> {BA,BR}_splitlong.	Xavier Leroy	2015-08-22	1	-4/+4
*	Refactoring of builtins and annotations in the back-end.	Xavier Leroy	2015-08-21	1	-22/+26
*	Support for GCC-style extended asm, continued:	Xavier Leroy	2015-04-21	1	-1/+1
*	Experiment: support a subset of GCC's extended asm statements.	Xavier Leroy	2015-04-17	1	-1/+1
*	Updated the Caml part. Added some more tests in annot1.c.	Xavier Leroy	2015-03-27	1	-2/+4
*	Extend annotations so that they can keep track of global variables and local ...	Xavier Leroy	2015-03-27	1	-0/+23
*	Merge of "newspilling" branch:	xleroy	2014-07-23	1	-0/+4
*	- Back to origins: suppress Mfloat64al32 chunk and align Mfloat64 to 4.	xleroy	2014-01-12	1	-1/+0
*	Cminor parsing and printing (from Andrew Tolmach)	xleroy	2013-10-16	1	-4/+4
*	Merge of the float32 branch:	xleroy	2013-05-19	1	-1/+5
*	Big merge of the newregalloc-int64 branch. Lots of changes in two directions:	xleroy	2013-04-20	1	-1/+2
*	Ported to Coq 8.4pl1. Merge of branches/coq-8.4.	xleroy	2013-01-29	1	-1/+1
*	Update Cminor parser and printer so that the parser can parse the whole Cmino...	xleroy	2013-01-07	1	-4/+4
*	Support for inline assembly (asm statements).	xleroy	2012-12-18	1	-0/+1
*	- Revised non-overflow constraints on memory injections so that	xleroy	2012-07-23	1	-0/+1
*	Added volatile_read_global and volatile_store_global builtins.	xleroy	2012-01-15	1	-0/+6
*	Forgot to add new file	xleroy	2011-06-14	1	-0/+40