aboutsummaryrefslogtreecommitdiffstats
path: root/test/mppa/sort
Commit message (Expand)AuthorAgeFilesLines
* Dans test/mppa : changer k1-mbr-gcc en k1-cos-gccCyril SIX2019-06-171-1/+1
* Added tests where GCC calls CompCert functionsCyril SIX2018-11-271-1/+1
* Updated Sort Makefile + fixed compilation command bugCyril SIX2018-11-141-35/+57
* Lancement des tests à partir d'un même scriptCyril SIX2018-11-131-9/+9
* Fixed consistency between the different tests mmult, prng and sortCyril SIX2018-11-096-80/+96
* Fixing k1-gcc becoming k1-mbr-gccCyril SIX2018-11-091-3/+3
* MPPA - mmult and sort Makefile now check on ccomp versionCyril SIX2018-04-261-1/+2
* MPPA - Added Pmull -> now able to run the sort testCyril SIX2018-04-172-2/+3
* MPPA - More shiftsCyril SIX2018-04-171-1/+3
* MPPA - added all shiftsCyril SIX2018-04-171-0/+8
* MPPA - Added CompCert testsCyril SIX2018-04-171-1/+16
* MPPA - added merge sort + corrected bug in insertion + testing them togetherCyril SIX2018-04-179-36/+201
* MPPA - tests - added insertion sort and selection sortCyril SIX2018-04-175-0/+159