package asli

You can search for identifiers within the package.

in-package search v0.2.0

Interpreter for Arm's Architecture Specification Language (ASL)

Install

Dune Dependency

github.com Readme Changelog Edit opam file Versions (2)

Authors

A

Alastair Reid

Maintainers

A

Alastair Reid <alastair.d.reid@gmail.com>

Sources

md5=f4581fd209256823fa4d569ac96c8cee

sha512=fd4a74294beb9eeeafa80c9224b5dc30f5e5ebde4d53fa601929d283b6ca72154de313874321774914f738ac6f0d640e59452f7d03cb1db7b3a019b48b82e0d4

doc/asli.libASL/LibASL/Cpu/index.html

Module `LibASL.Cpu`Source

Sourcetype cpu = {

env : Eval.Env.t;
reset : unit -> unit;
step : unit -> unit;
getPC : unit -> Primops.bigint;
setPC : Primops.bigint -> unit;
elfwrite : Int64.t -> char -> unit;
opcode : string -> Primops.bigint -> unit;

}

Sourceval mkCPU : Eval.Env.t -> cpu