bap-primus-greedy-scheduler

Evaluates all machines in the DFS order
Library primus_greedy_scheduler_plugin
type 'a m = 'a Machine.t
val interrupt : int -> unit m
val pc : Bap.Std.addr m
val sub : Bap.Std.sub Bap.Std.term -> unit m
val blk : Bap.Std.blk Bap.Std.term -> unit m
val assign : Bap.Std.exp -> Bap_primus.Std.Primus.value -> unit m
val extract : hi:int -> lo:int -> Bap_primus.Std.Primus.value -> Bap_primus.Std.Primus.value m
val branch : Bap_primus.Std.Primus.value -> 'a m -> 'a m -> 'a m