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

	Commit message (Collapse)	Author	Age	Files	Lines
*	command line options (still incomplete)	David Monniaux	2019-05-02	1	-5/+11
\|
*	does not yet work, arity mismatch	David Monniaux	2019-05-01	1	-0/+6
\|
*	float of int = float of long o long of int	David Monniaux	2019-04-29	1	-1/+1
\|
*	float of intu = float of longu o longu of intu	David Monniaux	2019-04-29	1	-1/+1
\|
*	more insf detection	David Monniaux	2019-04-28	1	-0/+12
\|
*	coq mode for emacs	David Monniaux	2019-04-28	1	-0/+4
\|
*	selection for insf	David Monniaux	2019-04-28	1	-1/+1
\|
*	some more on bitfield detection	David Monniaux	2019-04-28	1	-4/+7
\|
*	some more on bit fields insert detection	David Monniaux	2019-04-28	1	-1/+3
\|
*	progress on bitfield detection	David Monniaux	2019-04-28	1	-1/+6
\|
*	detect insf case, begin	David Monniaux	2019-04-28	1	-0/+4
\|
*	factor expressions into single file	David Monniaux	2019-04-27	1	-6/+3
\|
*	progress	David Monniaux	2019-04-25	1	-1/+9
\|
*	IT COMPILES	David Monniaux	2019-04-25	1	-5/+5
\|
*	some progress on bitfields	David Monniaux	2019-04-25	1	-0/+8
\|
*	some more simplification	David Monniaux	2019-04-12	1	-0/+2
\|
*	some more simplification	David Monniaux	2019-04-12	1	-0/+1
\|
*	some more simplifications	David Monniaux	2019-04-12	1	-0/+1
\|
*	some more simplifications	David Monniaux	2019-04-12	1	-0/+6
\|
*	some more simplifications	David Monniaux	2019-04-12	1	-1/+6
\|
*	more simplifications	David Monniaux	2019-04-12	1	-0/+2
\|
*	Oselectf, Oselectfs with condition	David Monniaux	2019-04-05	1	-0/+14
\|
*	selectl with condition	David Monniaux	2019-04-05	1	-3/+13
\|
*	ternary ops work on (unsigned/signed) int with test on signed int	David Monniaux	2019-04-04	1	-3/+3
\|
*	more on select	David Monniaux	2019-04-04	1	-0/+5
\|
*	some more progress on select	David Monniaux	2019-04-04	1	-2/+2
\|
*	Merge remote-tracking branch 'origin/mppa-work' into mppa-ternary	David Monniaux	2019-04-03	1	-0/+1
\|\
\| *	Started to add addressing with register + register, Mach -> Asm not done yet	Cyril SIX	2019-04-01	1	-0/+1
\| \|
* \|	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
\|