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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Merge branch 'mppa_asmbloc_nobreg' into mppa_k1c	Cyril SIX	2018-11-14	57	-477/+0
\|\ \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Conflicts: mppa_k1c/Asm.v mppa_k1c/Asmexpand.ml mppa_k1c/TargetPrinter.ml test/mppa/Makefile test/mppa/builtins/clzll.c test/mppa/generate.sh
\| *	Revamped the instruction testsuite (all instructions work except umodd and ↵	Cyril SIX	2018-11-13	58	-473/+0
\| \| \| \| \| \| \| \|	udivd)
* \|	Added all the working builtins for ALU. Added BCU and LSU without testing	Cyril SIX	2018-08-01	10	-9/+62
\|/
*	MPPA - Forgot to initialize variables in the tests	Cyril SIX	2018-06-06	1	-0/+2
\| \| \| \|	Warning : the division and modulo currently do not pass the tests
*	WIP - Changed all the general tests to include PRNG (instead of small constants)	Cyril SIX	2018-06-05	57	-305/+389
\|
*	MPPA - Added Builtins support. Starting with clzll and stsud	Cyril SIX	2018-06-05	2	-0/+9
\|
*	MPPA - Added modulo and division 64 bits. Non certified	Cyril SIX	2018-05-21	2	-0/+16
\| \| \| \| \| \| \|	32 bits version are not yet there. Right now the code is directly from libgcc, compiled with k1-gcc because of builtins.
*	MPPA - Added a lot more unit tests + refined coverage	Cyril SIX	2018-04-26	43	-0/+238
\|
*	MPPA - Added test for division int by 2	Cyril SIX	2018-04-25	1	-0/+22
\|
*	MPPA - added all shifts	Cyril SIX	2018-04-17	1	-0/+1
\|
*	MPPA - Automatic generation of expected value for tests	Cyril SIX	2018-04-11	16	-8/+13
\|
*	MPPA - fixed wrong extension in test files	Cyril SIX	2018-04-10	2	-0/+0
\|
*	MPPA - Optimized branch generation for word compare to 0	Cyril SIX	2018-04-09	4	-0/+26
\|
*	MPPA - Added regression tests	Cyril SIX	2018-04-05	12	-0/+70