aboutsummaryrefslogtreecommitdiffstats
path: root/mppa_k1c/Asmexpand.ml
Commit message (Expand)AuthorAgeFilesLines
* Changed ABI to match GCC - interoperability not tested yetCyril SIX2018-11-231-4/+4
* Mise à jour vis à vis de CompCert 3.4Cyril SIX2018-11-211-5/+2
* Fixed BaR mentions in the ML filesCyril SIX2018-09-281-7/+4
* Rebase avec le commit qui fixe les tests + librairiesCyril SIX2018-09-061-6/+6
* Asmblock & cie - ça compileCyril SIX2018-09-061-18/+22
* Extraction issueCyril SIX2018-09-061-2/+2
* MPPA - Added Builtins support. Starting with clzll and stsudCyril SIX2018-06-051-60/+5
* WIP - Trying to add builtins support. They are not detected for now :(Cyril SIX2018-05-301-4/+4
* MPPA - refactored instructionsCyril SIX2018-05-111-6/+6
* MPPA - FIX GPR10 is now the Frame Pointer in Asmexpand.ml (instead of GPR32)Cyril SIX2018-04-261-3/+3
* MPPA - Ocast32signedCyril SIX2018-04-111-2/+3
* MPPA - bunch of ops added : lowlong, and, or, shr..Cyril SIX2018-04-101-2/+2
* MPPA - code cleaningCyril SIX2018-04-041-1/+1
* MPPA - The project compiles.Cyril SIX2018-04-041-73/+85
* Hook for MPPA_K1c (generates Risc-V code for now)Cyril SIX2018-04-041-0/+619
generated by cgit (git 2.34.1) at 2024-07-06 18:11:13 +0000