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

	Commit message (Expand)	Author	Age	Files	Lines
*	[BROKEN] Merge with v3.9 : something broken for __builtin_expect in cfrontend...	Cyril SIX	2021-06-01	1	-4/+5
*	Replace `omega` tactic with `lia`	Xavier Leroy	2020-12-29	1	-19/+19
*	lib/Coqlib.v: remove defns about multiplication, division, modulus	Xavier Leroy	2019-04-23	1	-3/+3
*	Remove coq warnings (#28)	Bernhard Schommer	2017-09-22	1	-5/+5
*	Updated PR by removing whitespaces. Bug 17450.	Bernhard Schommer	2015-10-20	1	-26/+26
*	Excessively strict validation: ofs + sz < modulus should have been	xleroy	2014-08-20	1	-4/+5
*	- Support "switch" statements over 64-bit integers	xleroy	2014-08-17	1	-171/+165
*	Assorted cleanups, esp. to avoid generating _rec and _rect recursors in	xleroy	2013-03-09	1	-39/+58
*	Updated PowerPC port to new integers.	xleroy	2013-02-12	1	-1/+1
*	Merge of branch "unsigned-offsets":	xleroy	2011-04-09	1	-17/+16
*	Added support for jump tables in back end.	xleroy	2009-11-10	1	-12/+131
*	Adapted to work with Coq 8.2-1v1.4.1	xleroy	2009-06-05	1	-2/+2
*	Amelioration compilation des switch	xleroy	2008-04-17	1	-30/+70
*	Ajout license, README, copyright notices	xleroy	2008-01-27	1	-0/+15
*	Fusion des modifications faites sur les branches "tailcalls" et "smallstep".	xleroy	2007-08-04	1	-0/+165