diff options
| author | Robert Norton | 2019-06-28 13:47:58 +0100 |
|---|---|---|
| committer | Robert Norton | 2019-06-28 13:50:34 +0100 |
| commit | 0c0344d5e1fc3e5215182b793026bc0f6a06509d (patch) | |
| tree | fc8c5f296b2d21f9c797d0335ce3d467359785f8 /src/lem_interp | |
| parent | 543a7ba61425250f90630f576f17c669ff80c6bd (diff) | |
Monomorphisation: add some alternative names for ones and zero_extend as used in risc-v spec.
Diffstat (limited to 'src/lem_interp')
0 files changed, 0 insertions, 0 deletions