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

	Commit message (Expand)	Author	Age	Files	Lines
*	builtins pour signed div/mod	David Monniaux	2022-02-16	1	-0/+8
*	Merge remote-tracking branch 'origin/kvx-bits' into kvx_fp_division	David Monniaux	2022-02-14	1	-0/+4
\|\
\| *	abs builtins	David Monniaux	2022-02-14	1	-0/+4
* \|	modulos	David Monniaux	2022-02-11	1	-0/+4
* \|	remove singleoflongu (does not exist)	David Monniaux	2022-02-11	1	-0/+2
* \|	fpdivu	David Monniaux	2021-12-17	1	-1/+3
* \|	fix assembly syntax	David Monniaux	2021-12-12	1	-0/+4
\|/
*	Fixing test/regression for KVXv3.8_kvx	Cyril SIX	2020-12-07	1	-1/+3
*	k1c -> kvx changes	David Monniaux	2020-05-26	1	-0/+143