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

	Commit message (Expand)	Author	Age	Files	Lines
*	Merge branch 'master' into merge_master_8.13.1	Sylvain Boulmé	2021-03-23	1	-93/+93
\|\
\| *	Replace `omega` tactic with `lia`	Xavier Leroy	2020-12-29	1	-93/+93
* \|	Merge tag 'v3.6' of https://github.com/AbsInt/CompCert into mppa-work-upstrea...	David Monniaux	2019-09-20	1	-11/+9
\|\\|
\| *	Fix compile for architectures other than AArch64 (#192)	Bernhard Schommer	2019-08-17	1	-2/+2
\| *	AArch64 port	Xavier Leroy	2019-08-08	1	-11/+9
* \|	Merge branch 'if-conversion' of https://github.com/AbsInt/CompCert into mppa-...	David Monniaux	2019-06-03	1	-16/+18
\|\\|
\| *	Move Z definitions out of Integers and into Zbits	Xavier Leroy	2019-04-26	1	-3/+3
\| *	lib/Coqlib.v: remove defns about multiplication, division, modulus	Xavier Leroy	2019-04-23	1	-13/+15
* \|	ça recompile sur x86	David Monniaux	2019-03-22	1	-0/+1
* \|	la division flottante fonctionne	David Monniaux	2019-03-20	1	-4/+4
* \|	Proving eval_divs_base	Cyril SIX	2019-03-20	1	-1/+1
* \|	Merge branch 'master' into mppa_postpass	Cyril SIX	2019-03-13	1	-6/+8
\|\\|
\| *	Make the checker happy (#272)	Vincent Laporte	2019-02-12	1	-6/+8
* \|	Réactivé l'optim mulhs pour 32-bits (Omulhs n'est jamais généré)	Cyril SIX	2019-02-08	1	-8/+8
* \|	Désactivé toutes les optim division par constante --> Omulhs etc..	Cyril SIX	2019-02-08	1	-14/+14
* \|	Desactivated Omulhs 32-bits optimization (division by constant)	Cyril SIX	2019-02-08	1	-4/+4
\|/
*	Remove coq warnings (#28)	Bernhard Schommer	2017-09-22	1	-24/+24
*	Hybrid 64bit/32bit PowerPC port	Bernhard Schommer	2017-05-03	1	-25/+25
*	RISC-V port and assorted changes	Xavier Leroy	2017-04-28	1	-23/+55
*	Use "Local" as prefix	Xavier Leroy	2017-02-13	1	-1/+1
*	Update ARM port. Not tested yet.	Xavier Leroy	2016-10-25	1	-3/+4
*	Turn 64-bit integer division and modulus by constants into multiply-high	Xavier Leroy	2016-10-04	1	-5/+247
*	Improve code generation for 64-bit signed integer division	Xavier Leroy	2016-10-02	1	-2/+117
*	Support for 64-bit architectures: generic support	Xavier Leroy	2016-10-01	1	-27/+18
*	Updated PR by removing whitespaces. Bug 17450.	Bernhard Schommer	2015-10-20	1	-98/+98
*	Merge of "newspilling" branch:	xleroy	2014-07-23	1	-0/+16
*	Add option -Os to optimize for code size rather than for execution speed.	xleroy	2014-02-19	1	-17/+25
*	Floats.v, Nan.v: hard-wire the general shape of binop_pl, so that no axioms	xleroy	2013-09-14	1	-0/+18
*	Optimize integer divisions by positive constants, turning them into	xleroy	2013-07-29	1	-0/+547