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

	Commit message (Expand)	Author	Age	Files	Lines
*	[BROKEN] Merge with v3.9 : something broken for __builtin_expect in cfrontend...	Cyril SIX	2021-06-01	1	-4/+5
*	Errors: fixed a loop in tactic MonadInv	Xavier Leroy	2019-08-07	1	-1/+1
*	Replace "Implicit Arguments" with "Arguments"	Xavier Leroy	2017-02-13	1	-1/+1
*	Use "Local" as prefix	Xavier Leroy	2017-02-13	1	-1/+1
*	Updated PR by removing whitespaces. Bug 17450.	Bernhard Schommer	2015-10-20	1	-9/+9
*	Big merge of the newregalloc-int64 branch. Lots of changes in two directions:	xleroy	2013-04-20	1	-37/+11
*	Merge of the clightgen branch:	xleroy	2012-12-29	1	-1/+1
*	Revert unintentional commit #1955	xleroy	2012-07-06	1	-3/+0
*	Ajout trunk CompCert	blazy	2012-07-04	1	-0/+3
*	Merge of Andrew Tolmach's HASP-related changes	xleroy	2012-03-09	1	-1/+2
*	Merge of the reuse-temps branch:	xleroy	2010-09-02	1	-2/+38
*	Adapted to work with Coq 8.2-1v1.4.1	xleroy	2009-06-05	1	-9/+9
*	Ajout license, README, copyright notices	xleroy	2008-01-27	1	-0/+15
*	Fusion des modifications faites sur les branches "tailcalls" et "smallstep".	xleroy	2007-08-04	1	-0/+167