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

	Commit message (Expand)	Author	Age	Files	Lines
*	Merge of "newspilling" branch:	xleroy	2014-07-23	1	-3/+3
*	Update clightgen for CompCert 2.2.v2.2	xleroy	2014-02-23	3	-17/+33
*	- Back to origins: suppress Mfloat64al32 chunk and align Mfloat64 to 4.	xleroy	2014-01-12	1	-1/+0
*	Merge of the "alignas" branch.	xleroy	2013-10-05	2	-14/+27
*	One more copyright header update.	xleroy	2013-06-17	1	-1/+0
*	Update LICENSE file and headers for dual-licensed files.	xleroy	2013-06-17	1	-0/+4
*	Merge of the "princeton" branch:	xleroy	2013-06-16	1	-4/+54
*	Updated	xleroy	2013-04-30	1	-3/+1
*	Big merge of the newregalloc-int64 branch. Lots of changes in two directions:	xleroy	2013-04-20	2	-1/+22
*	List.iteri not in OCaml < 4.00, better not use it.	xleroy	2013-04-08	1	-2/+9
*	Update clightgen to changes in Camlcoq and in AST.	xleroy	2013-03-20	2	-15/+33
*	Put clighgen files in exportclight/	xleroy	2013-01-05	4	-0/+872