diff options
| author | Prashanth Mundkur | 2018-11-29 09:15:36 -0800 |
|---|---|---|
| committer | Prashanth Mundkur | 2018-11-29 09:18:47 -0800 |
| commit | f33c5d3d237449a58322fe3299b21788707a2555 (patch) | |
| tree | 712b7c2fb18957dcfc336d83bffe7dc3530dead6 /src/bytecode_util.ml | |
| parent | 33c8a4c616ebc9621c538b89f2d43b7404514f9a (diff) | |
RISC-V: minor cleanup of the spike interface.
Diffstat (limited to 'src/bytecode_util.ml')
0 files changed, 0 insertions, 0 deletions