Primus_greedy_main.Greedy.Eval · bap-primus-greedy-scheduler 2.5.0

type 'a m = 'a Machine.t

val time : Bap_primus.Std.Primus.Time.t m

val halt : Core_kernel.never_returns m

val interrupt : int -> unit m

val pc : Bap.Std.addr m

val pos : Bap_primus.Std.Primus.pos m

val sub : Bap.Std.sub Bap.Std.term -> unit m

val blk : Bap.Std.blk Bap.Std.term -> unit m

val exp : Bap.Std.exp -> Bap_primus.Std.Primus.value m

val get : Bap.Std.var -> Bap_primus.Std.Primus.value m

val set : Bap.Std.var -> Bap_primus.Std.Primus.value -> unit m

val assign : Bap.Std.exp -> Bap_primus.Std.Primus.value -> unit m

val binop : 
  Bap.Std.binop ->
  Bap_primus.Std.Primus.value ->
  Bap_primus.Std.Primus.value ->
  Bap_primus.Std.Primus.value m

val unop : 
  Bap.Std.unop ->
  Bap_primus.Std.Primus.value ->
  Bap_primus.Std.Primus.value m

val cast : 
  Bap.Std.cast ->
  int ->
  Bap_primus.Std.Primus.value ->
  Bap_primus.Std.Primus.value m

val concat : 
  Bap_primus.Std.Primus.value ->
  Bap_primus.Std.Primus.value ->
  Bap_primus.Std.Primus.value m

val extract : 
  hi:int ->
  lo:int ->
  Bap_primus.Std.Primus.value ->
  Bap_primus.Std.Primus.value m

val const : Bap.Std.word -> Bap_primus.Std.Primus.value m

val ite : 
  Bap_primus.Std.Primus.value ->
  Bap_primus.Std.Primus.value ->
  Bap_primus.Std.Primus.value ->
  Bap_primus.Std.Primus.value m

val load : 
  Bap_primus.Std.Primus.value ->
  Bap.Std.endian ->
  Bap.Std.size ->
  Bap_primus.Std.Primus.value m

val store : 
  Bap_primus.Std.Primus.value ->
  Bap_primus.Std.Primus.value ->
  Bap.Std.endian ->
  Bap.Std.size ->
  unit m

val branch : Bap_primus.Std.Primus.value -> 'a m -> 'a m -> 'a m

val repeat : 
  Bap_primus.Std.Primus.value m ->
  'a m ->
  Bap_primus.Std.Primus.value m