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 towards_3.10	David Monniaux	2021-12-01	1	-159/+153
\|\
\| *	An improved PTree data structure (#420)	Xavier Leroy	2021-11-16	1	-160/+154
\| *	Use the LGPL instead of the GPL for dual-licensed files	Xavier Leroy	2021-05-08	1	-4/+5
* \|	[BROKEN] Merge with v3.9 : something broken for __builtin_expect in cfrontend...	Cyril SIX	2021-06-01	1	-4/+5
* \|	streamlined lattice code	David Monniaux	2020-03-05	1	-24/+9
* \|	move lattice stuff where it belongs	David Monniaux	2020-03-05	1	-0/+115
\|/
*	Resynchronize the LICENSE file and the license headers in individual files (#45)	Xavier Leroy	2018-01-05	1	-1/+0
*	Remove coq warnings (#28)	Bernhard Schommer	2017-09-22	1	-6/+6
*	Use "Local" as prefix	Xavier Leroy	2017-02-13	1	-1/+1
*	Port to Coq 8.5pl2	Xavier Leroy	2016-07-08	1	-17/+17
*	Updated PR by removing whitespaces. Bug 17450.	Bernhard Schommer	2015-10-20	1	-38/+38
*	Merge of branch value-analysis.	xleroy	2013-12-20	1	-53/+182
*	Simplify LPMap by smashing bottoms.	xleroy	2013-08-12	1	-138/+40
*	Update LICENSE file and headers for dual-licensed files.	xleroy	2013-06-17	1	-0/+4
*	Big merge of the newregalloc-int64 branch. Lots of changes in two directions:	xleroy	2013-04-20	1	-0/+100
*	Maps: revised TREE interface; added mucho derived properties and operations i...	xleroy	2013-03-12	1	-4/+8
*	Assorted cleanups, esp. to avoid generating _rec and _rect recursors in	xleroy	2013-03-09	1	-0/+4
*	Updated for Coq 8.3pl1. Some cleanups in test/*/Makefile.	xleroy	2011-03-09	1	-9/+9
*	Various algorithmic improvements that reduce compile times (thanks Alexandre ...	xleroy	2010-10-27	1	-70/+313
*	Coloringaux: make identifiers unique; special treatment of precolored	xleroy	2009-08-26	1	-23/+63
*	Cil2Csyntax: added goto and labels; added assignment between structs	xleroy	2009-08-16	1	-3/+0
*	Adapted to work with Coq 8.2-1v1.4.1	xleroy	2009-06-05	1	-21/+6
*	Ajout license, README, copyright notices	xleroy	2008-01-27	1	-0/+12
*	Commentaires	xleroy	2007-03-05	1	-4/+4
*	Suppression de lib/Sets.v, utilisation de FSet a la place. Generalisation de...	xleroy	2007-03-02	1	-33/+166
*	Initial import of compcert	xleroy	2006-02-09	1	-0/+331