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

	Commit message (Expand)	Author	Age	Files	Lines
*	Support re-normalization of function parameters at function entry	Xavier Leroy	2021-01-16	1	-4/+9
*	Import prim token notations before using them	Jason Gross	2018-08-27	1	-0/+1
*	SimlLocals.Sdebug_var: wrong type for 64-bit platforms	Xavier Leroy	2017-07-09	1	-1/+1
*	Support for 64-bit architectures: generic support	Xavier Leroy	2016-10-01	1	-1/+1
*	Update the proofs of the C front-end to the new linking framework.	Xavier Leroy	2016-03-06	1	-7/+3
*	Updated PR by removing whitespaces. Bug 17450.	Bernhard Schommer	2015-10-20	1	-1/+1
*	Track the locations of local variables using EF_debug annotations.	Xavier Leroy	2015-08-23	1	-4/+42
*	Represent struct and union types by name instead of by structure.	Xavier Leroy	2014-12-22	1	-5/+13
*	Merge of "newspilling" branch:	xleroy	2014-07-23	1	-1/+4
*	Simpler, more robust emulation of calls to variadic functions:	xleroy	2013-12-28	1	-1/+2
*	Support "default" cases in the middle of a "switch", not just at the end.	xleroy	2013-12-21	1	-7/+6
*	Big merge of the newregalloc-int64 branch. Lots of changes in two directions:	xleroy	2013-04-20	1	-2/+4
*	Avoid generating some obviously useless casts.	xleroy	2013-01-08	1	-1/+14
*	Merge of the clightgen branch:	xleroy	2012-12-29	1	-0/+234