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

	Commit message (Expand)	Author	Age	Files	Lines
*	Remove coq warnings (#28)	Bernhard Schommer	2017-09-22	1	-1/+1
*	Port to Coq 8.5pl2	Xavier Leroy	2016-07-08	1	-28/+28
*	Updated PR by removing whitespaces. Bug 17450.	Bernhard Schommer	2015-10-20	1	-162/+162
*	Merge of branch value-analysis.	xleroy	2013-12-20	1	-427/+740
*	Change interface of Kildall solvers to avoid precomputing the map pc -> list ...	xleroy	2013-08-12	1	-201/+266
*	Assorted cleanups, esp. to avoid generating _rec and _rect recursors in	xleroy	2013-03-09	1	-0/+4
*	Various algorithmic improvements that reduce compile times (thanks Alexandre ...	xleroy	2010-10-27	1	-42/+28
*	Cil2Csyntax: added goto and labels; added assignment between structs	xleroy	2009-08-16	1	-203/+264
*	Adapted to work with Coq 8.2-1v1.4.1	xleroy	2009-06-05	1	-5/+5
*	Ajout license, README, copyright notices	xleroy	2008-01-27	1	-0/+12
*	Typo dans le pseudocode en commentaire	xleroy	2007-10-17	1	-1/+1
*	Importer OrderedPositive depuis Ordered.v	xleroy	2007-03-05	1	-30/+1
*	Suppression de lib/Sets.v, utilisation de FSet a la place. Generalisation de...	xleroy	2007-03-02	1	-11/+20
*	Meilleure representation des worklists dans l'algo de Kildall	xleroy	2006-09-11	1	-65/+206
*	Fusion de la branche "traces":	xleroy	2006-09-04	1	-214/+66
*	Initial import of compcert	xleroy	2006-02-09	1	-0/+1231