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=63ada71fa4f602bd679174dc6bf780d54aeded40ad4ec20d256df15886e3d2d5

md5=b8b1aff8c6846f2213eafc54de07b304

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 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