package bap-primus-support

You can search for identifiers within the package.

in-package search v0.2.0

Provides supporting components for Primus

Install

sha256=631fc58628418e4856709a0cfc923a65e00c9494fbd28d444c633d11194831de

md5=3db9deac8d429b9b8a8ec9aec54987b1

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