bitvec

Fixed-size bitvectors and modular arithmetic, based on Zarith
Description
Install
Published
12 Dec 2021
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-patterns
< "2.5.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"