bitvec

Fixed-size bitvectors and modular arithmetic, based on Zarith
Description
Install
Authors
Sources
v2.4.0.tar.gz
md5=b8b1aff8c6846f2213eafc54de07b304
Dependencies
zarith
>= "1.4"
oasis
build & >= "0.4.7"
ocaml
>= "4.08.0"
Reverse Dependencies
bap-analyze
>= "2.4.0"
bap-arm
>= "2.4.0"
bap-bil
>= "2.4.0"
bap-mc
>= "2.4.0"
bap-objdump
>= "2.4.0"
bap-powerpc
>= "2.4.0"
bap-primus
>= "2.4.0"
bap-primus-symbolic-executor
< "2.2.0" | >= "2.4.0"
bap-radare2
>= "2.4.0"
bap-std
>= "2.4.0"
bap-systemz
>= "2.4.0"
bap-thumb
>= "2.4.0"
bap-x86
>= "2.4.0"
bitvec-binprot
< "2.2.0" | >= "2.4.0"
bitvec-order
< "2.2.0" | >= "2.4.0"
bitvec-sexp
< "2.2.0" | >= "2.4.0"