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

	Commit message (Collapse)	Author	Age	Files	Lines
*	better Op select/selectl	David Monniaux	2019-03-25	1	-32/+24
\|
*	going forward with select/selectl	David Monniaux	2019-03-25	1	-12/+26
\|
*	begin ternary	David Monniaux	2019-03-24	1	-1/+48
\|
*	maddl declared	David Monniaux	2019-03-20	1	-17/+10
\|
*	mul immediate	David Monniaux	2019-03-19	1	-0/+5
\|
*	mul immediate begin	David Monniaux	2019-03-19	1	-2/+7
\|
*	plus d'infrastructure pour madd	David Monniaux	2019-03-18	1	-0/+41
\|
*	begin andn orn	David Monniaux	2019-03-18	1	-0/+62
\|
*	long nand, nor, nxor	David Monniaux	2019-03-16	1	-0/+36
\|
*	nxor	David Monniaux	2019-03-16	1	-0/+12
\|
*	nor implemente	David Monniaux	2019-03-16	1	-0/+12
\|
*	nand debut	David Monniaux	2019-03-16	1	-0/+12
\|
*	some more progress on rotate	David Monniaux	2019-03-16	1	-0/+5
\|
*	instruction rotate	David Monniaux	2019-03-16	1	-0/+2
\|
*	Changed ptr64 to be always true	Cyril SIX	2018-04-04	1	-4/+2
\|
*	Hook for MPPA_K1c (generates Risc-V code for now)	Cyril SIX	2018-04-04	1	-0/+1361