Update duopod spec so it has no address translation

Also update the main aarch64 (no_vector) spec with latest asl_parser

1 files changed, 7 insertions, 2 deletions

diff --git a/aarch64/main.sail b/aarch64/main.sail
index eaaf4f7f..fd590b2c 100644
--- a/aarch64/main.sail
+++ b/aarch64/main.sail
@@ -5,8 +5,13 @@ val fetch_and_execute : unit -> unit effect {escape, undef, wreg, rreg, rmem, wm
 
 function fetch_and_execute () =
   while true do {
-    let instr = aget_Mem(_PC, 4, AccType_IFETCH);
-    decode(instr);
+    try {
+      let instr = aget_Mem(_PC, 4, AccType_IFETCH);
+      decode(instr);
+    } catch {
+      Error_See("HINT") => (),
+      exn => throw(exn)
+    };
     if __BranchTaken then __BranchTaken = false else _PC = _PC + 4
   }