| Commit message (Expand) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | MPPA - Activated Paddw and Paddiw + ops | Cyril SIX | 2018-04-04 | 1 | -8/+8 | |
| * | Replaced ireg0 by ireg | Cyril SIX | 2018-04-04 | 1 | -84/+86 | |
| * | MPPA - code cleaning | Cyril SIX | 2018-04-04 | 1 | -29/+16 | |
| * | MPPA - Created Pmakel instruction + re-activated Oloadimm64/32 | Cyril SIX | 2018-04-04 | 1 | -6/+9 | |
| * | MPPA - Removed Plui, replaced with Pmake, and modified make_immed64 | Cyril SIX | 2018-04-04 | 1 | -6/+9 | |
| * | MPPA - ABI proof complete (Asmgenproof.v:step_simulation) | Cyril SIX | 2018-04-04 | 1 | -2/+2 | |
| * | MPPA - Preuve de make_epilogue correct. | Cyril SIX | 2018-04-04 | 1 | -1/+2 | |
| * | MPPA - Started restricting instructions + get/set + change ABI + trying to pr... | Cyril SIX | 2018-04-04 | 1 | -27/+59 | |
| * | MPPA - Started Asm.v + Asmgen.v, commenting out some instructions | Cyril SIX | 2018-04-04 | 1 | -88/+76 | |
| * | Hook for MPPA_K1c (generates Risc-V code for now) | Cyril SIX | 2018-04-04 | 1 | -0/+1172 | |
 |
index : compcert-kvx | |
| Unnamed repository; edit this file 'description' to name the repository. |
| aboutsummaryrefslogtreecommitdiffstats |