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

	Commit message (Collapse)	Author	Age	Files	Lines
*	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