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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Dans test/mppa : changer k1-mbr-gcc en k1-cos-gcc	Cyril SIX	2019-06-17	1	-1/+1
\|
*	Added tests where GCC calls CompCert functions	Cyril SIX	2018-11-27	1	-1/+1
\|
*	Updated Sort Makefile + fixed compilation command bug	Cyril SIX	2018-11-14	1	-5/+5
\|
*	Changed mmult to avoid recomputing + fixed potential source of bug in instr	Cyril SIX	2018-11-13	2	-18/+36
\|
*	Lancement des tests à partir d'un même script	Cyril SIX	2018-11-13	1	-3/+3
\|
*	Fixed consistency between the different tests mmult, prng and sort	Cyril SIX	2018-11-09	3	-69/+64
\|
*	Fixing k1-gcc becoming k1-mbr-gcc	Cyril SIX	2018-11-09	1	-3/+3
\|
*	Code cleaning	Cyril SIX	2018-05-09	1	-4/+4
\|
*	MPPA - mmult and sort Makefile now check on ccomp version	Cyril SIX	2018-04-26	2	-4/+5
\|
*	MPPA - Corrected messages on test/mppa/mmult/Makefile	Cyril SIX	2018-04-25	1	-2/+2
\|
*	MPPA - Oshrximm + Mgetparam + FP is GPR10 + bug	Cyril SIX	2018-04-20	1	-17/+17
\| \| \| \| \| \| \| \| \| \| \|	Added Oshrximm and Mgetparam -> mmult.c divide & conqueer generates FP is now GPR10 instead of being a mix of GPR30 and GPR32 Corrected a bug where Pgoto and Pj_l were given the same interpretation, where in fact there's a fundamental difference : Pgoto is supposed to have a function name (symbol), while Pj_l is supposed to have a label name (print_label). This led to having undefinite labels in the code.
*	MPPA - Added divide & conqueer test matmul	Cyril SIX	2018-04-18	2	-2/+87
\|
*	MPPA - added Oaddrsymbol -> now able to run the matrix mult test	Cyril SIX	2018-04-18	3	-37/+42
\|
*	MPPA - added a Matrix Multiply test	Cyril SIX	2018-04-18	3	-0/+140