aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* MPPA - added merge sort + corrected bug in insertion + testing them togetherCyril SIX2018-04-1710-38/+205
* MPPA - tests - added insertion sort and selection sortCyril SIX2018-04-175-0/+159
* MPPA - changed UNIT_TEST namesCyril SIX2018-04-172-4/+4
* MPPA - Added uint64_t types to the tests + k1c testCyril SIX2018-04-174-11/+34
* MPPA - added PRNG generator in the testsCyril SIX2018-04-163-0/+66
* MPPA - Added optim for long unsigned cmp to 0.Cyril SIX2018-04-135-23/+140
* Osub and OmulCyril SIX2018-04-113-2/+14
* MPPA - Automatic generation of expected value for testsCyril SIX2018-04-1118-10/+32
* MPPA - OshrCyril SIX2018-04-113-2/+7
* MPPA - Ocast32signedCyril SIX2018-04-116-8/+53
* MPPA - reorganized the test directoryCyril SIX2018-04-112-13/+18
* MPPA - OnegfCyril SIX2018-04-115-14/+17
* MPPA - Added MloadCyril SIX2018-04-105-29/+57
* MPPA - bunch of ops added : lowlong, and, or, shr..Cyril SIX2018-04-105-21/+80
* MPPA - Oneg + PnegwCyril SIX2018-04-103-3/+8
* MPPA - Onegl + PneglCyril SIX2018-04-105-10/+11
* MPPA - Running tests in parallelCyril SIX2018-04-103-26/+42
* MPPA - fixed wrong extension in test filesCyril SIX2018-04-103-0/+2
* MPPA - optimized branch generation for signed long compare to 0Cyril SIX2018-04-095-23/+69
* MPPA - Optimized branch generation for word compare to 0Cyril SIX2018-04-0911-118/+205
* MPPA - forgot check.sh in last commitCyril SIX2018-04-051-0/+29
* MPPA - Added regression testsCyril SIX2018-04-0513-14/+27
* MPPA - Desactivated Pbuiltin EF_annotCyril SIX2018-04-041-7/+6
* MPPA - added test forvarl.cCyril SIX2018-04-042-1/+12
* MPPA - Long comparisonsCyril SIX2018-04-045-30/+158
* MPPA - Added non immediate comparisonCyril SIX2018-04-045-7/+35
* MPPA - Added signed immediate comparisonCyril SIX2018-04-045-4/+31
* MPPA - 32-bits immediate eq/neq branchesCyril SIX2018-04-048-946/+288
* MPPA - Added Mgoto + Pj_lCyril SIX2018-04-044-9/+7
* MPPA - mppa_call branch cleaningCyril SIX2018-04-044-22/+6
* MPPA - Added Msetstack + bunch of store --> on a des call !Cyril SIX2018-04-047-33/+52
* MPPA - Reactivated OmoveCyril SIX2018-04-043-3/+7
* MPPA - Added Mcall + Pgoto + modified PcallCyril SIX2018-04-044-8/+20
* MPPA - Added Mgetstack, loadind, a bunch of loadsCyril SIX2018-04-045-32/+33
* MPPA - Activated Mtailcall + PcallCyril SIX2018-04-044-8/+24
* MPPA - fixed typos in extraction/debug/Asmgen.mlCyril SIX2018-04-041-3/+2
* MPPA - "float_caller_save_regs" is not "@nil mreg" anymore. Bug in ColoringCyril SIX2018-04-041-3/+3
* MPPA Added debug pretty printer for transl_instrCyril SIX2018-04-041-0/+31
* MPPA Moved debug/Asmgen.ml to extraction/debug/Asmgen.mlCyril SIX2018-04-041-0/+0
* MPPA - Activated Paddw and Paddiw + opsCyril SIX2018-04-044-21/+22
* MPPA - added a debug pretty printer for transl_op in extraction/debug/Asmgen.mlCyril SIX2018-04-041-0/+167
* Replaced ireg0 by iregCyril SIX2018-04-044-171/+173
* MPPA - code cleaningCyril SIX2018-04-049-113/+66
* MPPA - The project compiles.Cyril SIX2018-04-045-147/+177
* MPPA - Created Pmakel instruction + re-activated Oloadimm64/32Cyril SIX2018-04-043-53/+29
* MPPA - Removed Plui, replaced with Pmake, and modified make_immed64Cyril SIX2018-04-044-27/+40
* MPPA - ABI proof complete (Asmgenproof.v:step_simulation)Cyril SIX2018-04-045-49/+115
* MPPA - Preuve de make_epilogue correct.Cyril SIX2018-04-045-22/+54
* MPPA - Started restricting instructions + get/set + change ABI + trying to pr...Cyril SIX2018-04-043-78/+147
* MPPA - Started Asm.v + Asmgen.v, commenting out some instructionsCyril SIX2018-04-046-254/+248
generated by cgit (git 2.34.1) at 2024-07-11 23:50:47 +0000