Module LibASL.CpuSource

Sourcetype cpu = {
  1. env : Eval.Env.t;
  2. reset : unit -> unit;
  3. step : unit -> unit;
  4. getPC : unit -> Primops.bigint;
  5. setPC : Primops.bigint -> unit;
  6. elfwrite : Int64.t -> char -> unit;
  7. opcode : string -> Primops.bigint -> unit;
}
Sourceval mkCPU : Eval.Env.t -> cpu