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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Merge remote-tracking branch 'origin/mppa-msub' into mppa-work	David Monniaux	2019-05-30	1	-3/+39
\|\ \| \| \| \| \| \| \| \|	Conflicts: mppa_k1c/ExtValues.v
\| *	correct -faddx option and propagate addim over addxim	David Monniaux	2019-05-11	1	-7/+7
\| \|
\| *	option -faddx (off by default until questions cleared)	David Monniaux	2019-05-11	1	-8/+21
\| \|
\| *	apply .xs onto addx4 etc	David Monniaux	2019-05-11	1	-6/+7
\| \|
\| *	more maddx	David Monniaux	2019-05-11	1	-0/+8
\| \|
\| *	maddx ordre opposé	David Monniaux	2019-05-11	1	-0/+2
\| \|
\| *	add with shift, beginning	David Monniaux	2019-05-11	1	-1/+9
\| \|
\| *	Pmsub compiled	David Monniaux	2019-05-11	1	-0/+4
\| \|
* \|	32-bit modulo now uses sign extend then call to the 64-bit function	David Monniaux	2019-05-13	1	-1/+5
\| \|
* \|	we directly call 64-bit unsigned division	David Monniaux	2019-05-13	1	-1/+5
\|/
*	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
\|\