aboutsummaryrefslogtreecommitdiffstats
path: root/test/mppa/instr/Makefile
Commit message (Expand)AuthorAgeFilesLines
* New directive hardtest and hardcheck to run on hardware test/mppa/instrCyril SIX2020-01-271-11/+55
* (#157) Removed AFADDD and AFADDW from the builtinsCyril SIX2019-08-301-1/+4
* Adding tests for addx8d addx8w etc..Cyril SIX2019-08-301-2/+3
* Dans test/mppa : changer k1-mbr-gcc en k1-cos-gccCyril SIX2019-06-171-2/+4
* Changing the way floats are compared (script using reltol and abstol comparison)Cyril SIX2019-02-271-2/+3
* Rajout d'opérateurs flottants, travail sur les tests --> à continuerCyril SIX2019-02-151-1/+1
* Fixed div64 and mod64Cyril SIX2018-12-111-2/+3
* Added printf to the unitary tests for instructionsCyril SIX2018-12-071-27/+26
* Finished implementation of va_arg + testing doneCyril SIX2018-11-301-1/+1
* Added tests where GCC calls CompCert functionsCyril SIX2018-11-271-1/+1
* Mise à jour vis à vis de CompCert 3.4Cyril SIX2018-11-211-2/+16
* Updated Sort Makefile + fixed compilation command bugCyril SIX2018-11-141-3/+3
* Changed mmult to avoid recomputing + fixed potential source of bug in instrCyril SIX2018-11-131-3/+3
* Lancement des tests à partir d'un même scriptCyril SIX2018-11-131-0/+111