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	-4/+4
*	Make explicit the use of hints from OrderedType (#316)	Vincent Laporte	2019-10-02	1	-4/+6
*	Resynchronize the LICENSE file and the license headers in individual files (#45)	Xavier Leroy	2018-01-05	1	-1/+0
*	Remove coq warnings (#28)	Bernhard Schommer	2017-09-22	1	-14/+14
*	Updated PR by removing whitespaces. Bug 17450.	Bernhard Schommer	2015-10-20	1	-9/+9
*	Update LICENSE file and headers for dual-licensed files.	xleroy	2013-06-17	1	-0/+4
*	Big merge of the newregalloc-int64 branch. Lots of changes in two directions:	xleroy	2013-04-20	1	-0/+30
*	Glasnost: making transparent a number of definitions that were opaque	xleroy	2013-03-10	1	-6/+6
*	lib/Integers.v: revised and extended, faster implementation based on	xleroy	2013-02-10	1	-6/+4
*	Added support for jump tables in back end.	xleroy	2009-11-10	1	-1/+40
*	Adapted to work with Coq 8.2-1v1.4.1	xleroy	2009-06-05	1	-0/+19
*	Ajout license, README, copyright notices	xleroy	2008-01-27	1	-0/+12
*	Fusion de la branche "traces":	xleroy	2006-09-04	1	-12/+12
*	Initial import of compcert	xleroy	2006-02-09	1	-0/+156