Module Concrete.Bitvector_Interp

type bitvector = Z.t
type boolean = bool
val biadd : size:int -> nsw:bool -> nuw:bool -> nusw:bool -> bitvector -> bitvector -> bitvector

Bitvector Integer ADDition.

val bisub : size:int -> nsw:bool -> nuw:bool -> nusw:bool -> bitvector -> bitvector -> bitvector

Bitvector Integer SUBtraction.

val bimul : size:int -> nsw:bool -> nuw:bool -> bitvector -> bitvector -> bitvector

Bitvector Integer MULtiplication.

val bshl : size:int -> nsw:bool -> nuw:bool -> bitvector -> bitvector -> bitvector
val bashr : size:int -> bitvector -> bitvector -> bitvector
val blshr : size:int -> bitvector -> bitvector -> bitvector
val beq : size:int -> bitvector -> bitvector -> boolean
val bisle : size:int -> bitvector -> bitvector -> boolean
val biule : size:int -> bitvector -> bitvector -> boolean
val bconcat : size1:int -> size2:int -> bitvector -> bitvector -> bitvector
val bextract : size:int -> index:int -> oldsize:int -> bitvector -> bitvector
val band : size:int -> bitvector -> bitvector -> bitvector
val bor : size:int -> bitvector -> bitvector -> bitvector
val bxor : size:int -> bitvector -> bitvector -> bitvector
val buext : size:int -> oldsize:int -> bitvector -> bitvector
val bsext : size:int -> oldsize:int -> bitvector -> bitvector
val bisdiv : size:int -> bitvector -> bitvector -> bitvector
val bismod : size:int -> bitvector -> bitvector -> bitvector
val biudiv : size:int -> bitvector -> bitvector -> bitvector
val biumod : size:int -> bitvector -> bitvector -> bitvector
val bofbool : size:int -> boolean -> bitvector
val biconst : size:int -> Z.t -> bitvector