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

	Commit message (Expand)	Author	Age	Files	Lines
*	Merge branch 'mppa_asmbloc_nobreg' into mppa_k1c	Cyril SIX	2018-11-14	57	-477/+0
\|\
\| *	Revamped the instruction testsuite (all instructions work except umodd and ud...	Cyril SIX	2018-11-13	58	-473/+0
* \|	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
*	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
*	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