package asli

You can search for identifiers within the package.

in-package search v0.2.0

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