package bap-primus-greedy-scheduler

You can search for identifiers within the package.

in-package search v0.2.0

Evaluates all machines in the DFS order

Install

dune-project

Dependency

sha256=9c126781385d2fa9b8edab22e62b25c70bf2f99f6ec78abb7e5e36d63cfa4174

md5=5abd9b3628b43f797326034f31ca574f

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