package jasmin

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Jasmin.EvaluatorSource

Sourceexception Eval_error of Expr.instr_info * Utils0.error
Sourceval initial_memory : Wsize.wsize -> Z.t -> (Z.t * Z.t) list -> Low_memory.Memory.mem Utils0.exec
Sourceval run : (module Arch_full.Arch with type asm_op = 'asm_op and type cond = 'cond and type extra_op = 'extra_op and type reg = 'reg and type regx = 'regx and type rflag = 'rflag and type xreg = 'xreg) -> ('reg, 'regx, 'xreg, 'rflag, 'cond, 'asm_op, 'extra_op) Arch_extra.extended_op Expr.uprog -> Expr.instr_info -> CoreIdent.funname -> Values.value list -> Low_memory.Memory.mem -> Low_memory.Memory.mem * Values.values
Sourceval pp_val : Format.formatter -> Values.value -> unit
Sourceval pp_error : Format.formatter -> Utils0.error -> unit