diff options
Diffstat (limited to 'model/riscv_insts_begin.sail')
| -rw-r--r-- | model/riscv_insts_begin.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/model/riscv_insts_begin.sail b/model/riscv_insts_begin.sail index b007246..b27711b 100644 --- a/model/riscv_insts_begin.sail +++ b/model/riscv_insts_begin.sail @@ -6,7 +6,7 @@ scattered union ast /* returns whether an instruction was retired, used for computing minstret */ -val execute : ast -> Retired effect {escape, wreg, rreg, wmv, wmvt, eamem, rmem, barr, exmem} +val execute : ast -> Retired effect {escape, wreg, rreg, wmv, wmvt, eamem, rmem, rmemt, barr, exmem, undef} scattered function execute val assembly : ast <-> string |