summaryrefslogtreecommitdiff
path: root/language
diff options
context:
space:
mode:
authorRobert Norton2019-06-28 13:47:58 +0100
committerRobert Norton2019-06-28 13:50:34 +0100
commit0c0344d5e1fc3e5215182b793026bc0f6a06509d (patch)
treefc8c5f296b2d21f9c797d0335ce3d467359785f8 /language
parent543a7ba61425250f90630f576f17c669ff80c6bd (diff)
Monomorphisation: add some alternative names for ones and zero_extend as used in risc-v spec.
Diffstat (limited to 'language')
0 files changed, 0 insertions, 0 deletions