package jasmin

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

Module Jasmin.Psem_defs

val get_global_value : Global.glob_decl list -> Var0.Var.var -> Global.glob_value option
type 'syscall_state estate = {
  1. escs : 'syscall_state;
  2. emem : Low_memory.Memory.mem;
  3. evm : Varmap.Vm.t;
}
val with_scs : Sem_type.coq_WithSubWord -> 'a1 Sem_params.coq_EstateParams -> 'a1 estate -> 'a1 -> 'a1 estate
val syscall_sem__ : 'a1 Syscall.syscall_sem -> Wsize.coq_PointerData -> 'a1 Syscall.syscall_state_t -> Low_memory.Memory.mem -> BinNums.positive Syscall_t.syscall_t -> Values.values -> (('a1 Syscall.syscall_state_t * Low_memory.Memory.mem) * Values.values) Utils0.exec