binsec.sse
Script.Pexpr
binsec
binsec.amd64decoder
binsec.armv7decoder
binsec.armv8decoder
binsec.smt
binsec.sse_register
libformula
libterm
type t =
| Int of Z.t
| Expr of Expr.t
include Binsec.Sigs.ARITHMETIC with type t := t
val add : t -> t -> t
val sub : t -> t -> t
val mul : t -> t -> t
val neg : t -> t
val udiv : t -> t -> t
val umod : t -> t -> t
val urem : t -> t -> t
val sdiv : t -> t -> t
val smod : t -> t -> t
val srem : t -> t -> t
include Binsec.Sigs.COMPARISON with type t := t and type boolean := t
val equal : t -> t -> t
val diff : t -> t -> t
val ule : t -> t -> t
val uge : t -> t -> t
val ult : t -> t -> t
val ugt : t -> t -> t
val sle : t -> t -> t
val sge : t -> t -> t
val slt : t -> t -> t
val sgt : t -> t -> t
include Binsec.Sigs.EXTENDED_LOGICAL with type t := t
include Binsec.Sigs.LOGICAL with type t := t
val logand : t -> t -> t
val logor : t -> t -> t
val lognot : t -> t
val logxor : t -> t -> t
val shift_left : t -> t -> t
val shift_right : t -> t -> t
val shift_right_signed : t -> t -> t
val rotate_left : t -> t -> t
val rotate_right : t -> t -> t
val sext : int -> t -> t
val uext : int -> t -> t
val restrict : int -> int -> t -> t
val append : t -> t -> t
val ite : Expr.t -> t -> t -> t
val to_bool : t -> Expr.t
val to_expr : int -> t -> Expr.t