path: root/aarch64/no_vector.isail

:unload
:load prelude.sail no_vector/spec.sail decode_start.sail no_vector/decode.sail decode_end.sail main.sail
initialize_registers()
:run