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

	Commit message (Expand)	Author	Age	Files	Lines
*	__builtin_expect seems to work	David Monniaux	2020-04-07	1	-1/+1
*	Deactivate warning 27 and added back removed code.	Bernhard Schommer	2016-03-15	1	-20/+20
*	Code cleanup.	Bernhard Schommer	2016-03-10	1	-22/+20
*	Updated PR by removing whitespaces. Bug 17450.	Bernhard Schommer	2015-10-20	1	-2/+2
*	Refactoring of builtins and annotations in the back-end.	Xavier Leroy	2015-08-21	1	-2/+7
*	Missing case for the new 'annot' instruction.	Xavier Leroy	2015-04-06	1	-0/+1
*	- Support "switch" statements over 64-bit integers	xleroy	2014-08-17	1	-93/+9
*	Expand 64-bit integer comparisons into 32-bit integer comparisons.	xleroy	2013-04-29	1	-5/+12
*	Big merge of the newregalloc-int64 branch. Lots of changes in two directions:	xleroy	2013-04-20	1	-0/+2
*	RTLgenaux: heuristic to orient if-then-else statements based on sizes.	xleroy	2012-12-31	1	-1/+58
*	Merge of branch seq-and-or. See Changelog for details.	xleroy	2012-10-06	1	-1/+1
*	Extraction: map Coq pairs to Caml pairs and Coq chars (type ascii) to Caml chars	xleroy	2011-10-18	1	-1/+1
*	Switching to the new C parser/elaborator/simplifier	xleroy	2010-03-03	1	-5/+7
*	MAJ extraction after changes in Integers	xleroy	2009-12-16	1	-1/+1
*	Added support for jump tables in back end.	xleroy	2009-11-10	1	-8/+42
*	Reorganized the development, modularizing away machine-dependent parts.	xleroy	2008-12-30	1	-0/+72