Add an event for system register writes

rems-project · Jul 11, 2024 · 5194029 · 5194029
1 parent 09ac4b2
commit 5194029
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 0 deletions.
diff --git a/lib/concurrency_interface/exception.sail b/lib/concurrency_interface/exception.sail
@@ -84,4 +84,9 @@ outcome sail_return_exception : 'pa -> unit
     impl emulator(_) = ()
 }
 
+outcome sail_system_register_write : unit -> unit
+= {
+    impl emulator() = ()
+}
+
 $endif
diff --git a/src/lib/parser.mly b/src/lib/parser.mly
@@ -1207,6 +1207,8 @@ let_def:
     { $2 }
 
 outcome_spec_def:
+  | Outcome id Colon typschm
+    { mk_outcome (OV_outcome ($2, $4, [])) $startpos $endpos }
   | Outcome id Colon typschm With separated_nonempty_list(Comma, param_kopt)
     { mk_outcome (OV_outcome ($2, $4, $6)) $startpos $endpos }