diff options
Diffstat (limited to 'src/lem_interp/interp_interface.lem')
| -rw-r--r-- | src/lem_interp/interp_interface.lem | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/lem_interp/interp_interface.lem b/src/lem_interp/interp_interface.lem index 00c22bbe..d102c1fe 100644 --- a/src/lem_interp/interp_interface.lem +++ b/src/lem_interp/interp_interface.lem @@ -36,10 +36,11 @@ type outcome = type event = | E_read_mem of read_kind * value -| E_write_mem of write_kind * value +| E_write_mem of write_kind * value * value | E_barrier of barrier_kind | E_read_reg of reg_name -| E_write_reg of reg_name +| E_write_reg of reg_name * value +| E_error of string (* Should not happen, but may if the symbolic evaluation doesn't work out*) (*Should multiple memory accesses be represented with a special form to denote this or potentially merged into one read or left in place*) |