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

	Commit message (Expand)	Author	Age	Files	Lines
*	Compatibility with OCaml 4.08 (#302)	Xavier Leroy	2019-07-08	1	-1/+1
*	Deactivate warning 27 and added back removed code.	Bernhard Schommer	2016-03-15	1	-5/+5
*	Code cleanup.	Bernhard Schommer	2016-03-10	1	-8/+5
*	Updated PR by removing whitespaces. Bug 17450.	Bernhard Schommer	2015-10-20	1	-2/+2
*	Change interface of Kildall solvers to avoid precomputing the map pc -> list ...	xleroy	2013-08-12	1	-2/+3
*	Big merge of the newregalloc-int64 branch. Lots of changes in two directions:	xleroy	2013-04-20	1	-13/+15
*	Ported to Coq 8.4pl1. Merge of branches/coq-8.4.	xleroy	2013-01-29	1	-17/+4
*	Support for inlined built-ins.	xleroy	2010-06-29	1	-0/+1
*	Added support for jump tables in back end.	xleroy	2009-11-10	1	-0/+2
*	Cil2Csyntax: added goto and labels; added assignment between structs	xleroy	2009-08-16	1	-1/+2
*	New linearization heuristic	xleroy	2009-02-27	1	-32/+72
*	Conflict between extraction/CList and cil/obj/xxx/clist on case-insensitive f...	xleroy	2009-01-29	1	-2/+1
*	Elimination of "alloc" instruction in Caml files and test files.	xleroy	2009-01-11	1	-1/+0
*	Reorganized the development, modularizing away machine-dependent parts.	xleroy	2008-12-30	1	-0/+85