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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Pmsub compiled	David Monniaux	2019-05-11	1	-18/+1
\|
*	more integer Op	David Monniaux	2019-05-10	1	-0/+60
\|
*	rm unsupported int -> double signed/unsigned ops	David Monniaux	2019-04-29	1	-1/+1
\|
*	add bitfield insert opcode but not yet used nor translated	David Monniaux	2019-04-27	1	-0/+1
\|
*	added code for extfzl/extfsl (not very useful since bitfields are limited to ↵	David Monniaux	2019-04-25	1	-1/+1
\| \| \| \|	32 bits)
*	progress	David Monniaux	2019-04-25	1	-1/+1
\|
*	some progress on bitfields	David Monniaux	2019-04-25	1	-0/+1
\|
*	Oselectf, Oselectfs with condition	David Monniaux	2019-04-05	1	-25/+73
\|
*	selectl with condition	David Monniaux	2019-04-05	1	-13/+37
\|
*	progress on Oselect	David Monniaux	2019-04-04	1	-19/+35
\|
*	select_sound	David Monniaux	2019-04-04	1	-23/+87
\|
*	prepare for conditions in cmove	David Monniaux	2019-04-04	1	-4/+4
\|
*	ternary ops for float/double	David Monniaux	2019-04-03	1	-1/+43
\|
*	NeedOp advancing	David Monniaux	2019-03-25	1	-0/+43
\|
*	progressing on select/selectl	David Monniaux	2019-03-25	1	-0/+1
\|
*	begin ternary	David Monniaux	2019-03-24	1	-0/+1
\|
*	maddl declared	David Monniaux	2019-03-20	1	-0/+40
\|
*	mul immediate	David Monniaux	2019-03-19	1	-0/+1
\|
*	mul immediate begin	David Monniaux	2019-03-19	1	-0/+2
\|
*	plus d'infrastructure pour madd	David Monniaux	2019-03-18	1	-0/+6
\|
*	begin andn orn	David Monniaux	2019-03-18	1	-0/+15
\|
*	long nand, nor, nxor	David Monniaux	2019-03-16	1	-0/+6
\|
*	nxor	David Monniaux	2019-03-16	1	-0/+4
\|
*	nor implemente	David Monniaux	2019-03-16	1	-0/+4
\|
*	nand debut	David Monniaux	2019-03-16	1	-0/+4
\|
*	some more progress on rotate	David Monniaux	2019-03-16	1	-0/+1
\|
*	instruction rotate	David Monniaux	2019-03-16	1	-0/+1
\|
*	Hook for MPPA_K1c (generates Risc-V code for now)	Cyril SIX	2018-04-04	1	-0/+173