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

	Commit message (Collapse)	Author	Age	Files	Lines
*	ternary unsigned	David Monniaux	2019-03-26	1	-0/+9
\|
*	rm cruft	David Monniaux	2019-03-26	1	-24/+0
\|
*	ternary begins working	David Monniaux	2019-03-26	1	-5/+5
\|
*	some progress	David Monniaux	2019-03-26	1	-5/+4
\|
*	implemented ternary pattern	David Monniaux	2019-03-26	1	-1/+11
\|
*	more on ternary	David Monniaux	2019-03-26	1	-5/+5
\|
*	select basic operators	David Monniaux	2019-03-26	1	-0/+24
\|
*	ça recompile sur x86	David Monniaux	2019-03-22	1	-38/+1
\|
*	la division flottante fonctionne	David Monniaux	2019-03-20	1	-2/+11
\|
*	begin float division	David Monniaux	2019-03-20	1	-0/+4
\|
*	les divisions entieres passent	David Monniaux	2019-03-20	1	-3/+8
\|
*	Merge branch 'mppa_postpass' into mppa-mul	David Monniaux	2019-03-20	1	-1/+9
\|\
\| *	mul+madd immediate	David Monniaux	2019-03-19	1	-0/+4
\| \|
\| *	mul immediate	David Monniaux	2019-03-19	1	-1/+1
\| \|
\| *	reverse madd	David Monniaux	2019-03-19	1	-0/+2
\| \|
\| *	mandw mais ça coince	David Monniaux	2019-03-18	1	-0/+2
\| \|
* \|	added helper functions but strange	David Monniaux	2019-03-19	1	-1/+47
\|/ \| \| \|	idiv.c: error: __compcert_i32_sdiv: missing or incorrect declaration
*	some more andn / orn	David Monniaux	2019-03-18	1	-0/+4
\|
*	andn/orn start being generated	David Monniaux	2019-03-18	1	-0/+2
\|
*	andn / orn suite	David Monniaux	2019-03-18	1	-1/+1
\|
*	nxor	David Monniaux	2019-03-16	1	-0/+2
\|
*	nor implemente	David Monniaux	2019-03-16	1	-0/+2
\|
*	some more nand	David Monniaux	2019-03-16	1	-1/+6
\|
*	select rotate ops 32-bit	David Monniaux	2019-03-16	1	-0/+14
\|
*	Hook for MPPA_K1c (generates Risc-V code for now)	Cyril SIX	2018-04-04	1	-0/+450