| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | fix bug from issue 239 | Léo Gourdin | 2021-09-15 | 1 | -0/+2 |
| * | bugfix A64 peephole (cf Scade/Fighter example) | Léo Gourdin | 2021-05-31 | 1 | -6/+5 |
| * | Hashmap in peephole | Léo Gourdin | 2021-01-25 | 1 | -150/+110 |
| * | printer and freg bugfix | Léo Gourdin | 2021-01-21 | 1 | -57/+84 |
| * | fix str string in peephole | Léo Gourdin | 2021-01-20 | 1 | -1/+1 |
| * | Adding fp stores pair | Léo Gourdin | 2021-01-20 | 1 | -15/+48 |
| * | Adding fp loads pair | Léo Gourdin | 2021-01-20 | 1 | -98/+105 |
| * | Allowing non-consec store, and cleaning | Léo Gourdin | 2020-12-11 | 1 | -8/+41 |
| * | Big improvment in peephole, changing LDP/STP semantics | Léo Gourdin | 2020-12-10 | 1 | -217/+270 |
| * | Peephole finished for now | Léo Gourdin | 2020-12-10 | 1 | -86/+211 |
| * | Non conseq stores | Léo Gourdin | 2020-12-09 | 1 | -39/+87 |
| * | Non conseq loads in peephole | Léo Gourdin | 2020-12-09 | 1 | -82/+192 |
| * | Ocaml peephole oracle and array datastruct instead of lists | Léo Gourdin | 2020-12-08 | 1 | -0/+227 |
 |
index : compcert-kvx | |
| Unnamed repository; edit this file 'description' to name the repository. |
| aboutsummaryrefslogtreecommitdiffstats |