Opcode (big-endian)
Bytes (little-endian)
Arm64 assembly (experimental)
Additional options Flags Use vectoriser Debug output minimal stack trace stack trace, variables stack trace, variables, residual programs
Flags Use vectoriser
Debug output minimal stack trace stack trace, variables stack trace, variables, residual programs
Semantics Loading...
Clear Share Copied!
Online partial evaluation simplifies the ARM specifications with respect to a specific opcode every time the semantics are requested. This is described in the Lift-off paper.
Download
Offline partial evaluation runs a pre-compiled lifter derived from the specification ahead of time. This is described in the Lift-offline paper.
ocaml5.2.1-aslp_web-0-unstable-2025-02-07 (7064561055881a6e09d1b00f6ea82bb406d9ec65) ocaml5.2.1-asli-0.3.0-unstable-2025-02-05 (d264ef3eb5adef7cc5ed65e4832ff17c4d355581)