diff options
Diffstat (limited to 'model/riscv_insts_end.sail')
| -rw-r--r-- | model/riscv_insts_end.sail | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/model/riscv_insts_end.sail b/model/riscv_insts_end.sail index e52f19d..f6223dd 100644 --- a/model/riscv_insts_end.sail +++ b/model/riscv_insts_end.sail @@ -29,9 +29,11 @@ end assembly end encdec end encdec_compressed -val cast print_insn : ast -> string +val print_insn : ast -> string function print_insn insn = assembly(insn) +overload to_str = {print_insn} + val decode : bits(32) -> ast effect pure function decode bv = encdec(bv) |