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

	Commit message (Expand)	Author	Age	Files	Lines
*	ternary unsigned	David Monniaux	2019-03-26	1	-0/+38
*	rm cruft	David Monniaux	2019-03-26	1	-143/+9
*	ternary begins working	David Monniaux	2019-03-26	1	-8/+6
*	some progress	David Monniaux	2019-03-26	1	-14/+8
*	implemented ternary pattern	David Monniaux	2019-03-26	1	-0/+46
*	more on ternary	David Monniaux	2019-03-26	1	-1/+144
*	restructuration pour compilation toute archi	David Monniaux	2019-03-22	1	-1/+3
*	ça recompile sur x86	David Monniaux	2019-03-22	1	-65/+0
*	Proof of div32/mod32/divf32/divf64 lemmas	Cyril SIX	2019-03-20	1	-6/+21
*	la division flottante fonctionne	David Monniaux	2019-03-20	1	-0/+16
*	Merge branch 'mppa-mul' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCer...	David Monniaux	2019-03-20	1	-6/+47
\|\
\| *	Proving eval_divs_base	Cyril SIX	2019-03-20	1	-6/+47
* \|	les divisions entieres passent	David Monniaux	2019-03-20	1	-6/+3
* \|	Merge branch 'mppa_postpass' into mppa-mul	David Monniaux	2019-03-20	1	-2/+10
\|\ \ \| \|/ \|/\|
\| *	mul+madd immediate	David Monniaux	2019-03-19	1	-1/+5
\| *	mul immediate	David Monniaux	2019-03-19	1	-2/+2
\| *	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	-3/+67
\|/
*	some more andn / orn	David Monniaux	2019-03-18	1	-0/+4
*	andn/orn start being generated	David Monniaux	2019-03-18	1	-8/+10
*	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	-2/+38
*	Changed ptr64 to be always true	Cyril SIX	2018-04-04	1	-15/+2
*	Hook for MPPA_K1c (generates Risc-V code for now)	Cyril SIX	2018-04-04	1	-0/+925