diff options
Diffstat (limited to 'riscv/riscv_insts_end.sail')
| -rw-r--r-- | riscv/riscv_insts_end.sail | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/riscv/riscv_insts_end.sail b/riscv/riscv_insts_end.sail deleted file mode 100644 index 144f06e3..00000000 --- a/riscv/riscv_insts_end.sail +++ /dev/null @@ -1,15 +0,0 @@ -/* End definitions */ -end ast -end execute -end assembly -end encdec -end encdec_compressed - -val cast print_insn : ast -> string -function print_insn insn = assembly(insn) - -val decode : bits(32) -> option(ast) effect pure -function decode bv = Some(encdec(bv)) - -val decodeCompressed : bits(16) -> option(ast) effect pure -function decodeCompressed bv = Some(encdec_compressed(bv)) |