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	-1/+1
*	Qualify `Hint` as `Global Hint` where appropriate	Xavier Leroy	2021-01-21	1	-5/+5
*	Replace `omega` tactic with `lia`	Xavier Leroy	2020-12-29	1	-45/+45
*	Transform non-recursive Fixpoint into Definition	Xavier Leroy	2020-06-21	1	-1/+1
*	AArch64 port	Xavier Leroy	2019-08-08	1	-4/+20
*	Support a "select" operation between two values	Xavier Leroy	2019-05-20	1	-0/+28
*	Move Z definitions out of Integers and into Zbits	Xavier Leroy	2019-04-26	1	-15/+16
*	Replace nat_of_Z with Z.to_nat	Xavier Leroy	2019-04-23	1	-4/+4
*	Remove coq warnings (#28)	Bernhard Schommer	2017-09-22	1	-6/+6
*	Subst's behavior on let-ins has changed.	Maxime Dénès	2017-01-09	1	-2/+2
*	Support for 64-bit architectures: generic support	Xavier Leroy	2016-10-01	1	-31/+33
*	Improved handling of "rotate left" and "rotate right" operators	Xavier Leroy	2016-06-22	1	-17/+27
*	Updated PR by removing whitespaces. Bug 17450.	Bernhard Schommer	2015-10-20	1	-160/+160
*	Long-overdue renaming: val_inject -> Val.inject, etc, for consistency with Va...	Xavier Leroy	2015-04-30	1	-2/+2
*	Verification of the Unusedglob pass (removal of unreferenced static global de...	Xavier Leroy	2014-11-24	1	-4/+4
*	Merge of "newspilling" branch:	xleroy	2014-07-23	1	-84/+17
*	- Back to origins: suppress Mfloat64al32 chunk and align Mfloat64 to 4.	xleroy	2014-01-12	1	-1/+0
*	Updated neededness analysis for IA32.	xleroy	2014-01-02	1	-1/+14
*	Updated ARM backend wrt new static analyses and optimizations.	xleroy	2014-01-02	1	-25/+26
*	Merge of branch value-analysis.	xleroy	2013-12-20	1	-0/+1515