OCaml logo

bitvec

Fixed-size bitvectors and modular arithmetic, based on Zarith
Description
Install
https://github.com/BinaryAnalysisPlatform/bap/
Authors
Maintainers
Sources
v2.0.0.tar.gz 
md5=d2fd697735fda1adb80d6aa5643e7acd
Dependencies
zarith 
>= "1.4"
oasis 
build & >= "0.4.7"
ocaml 
>= "4.04.1" & < "4.08.0"
Reverse Dependencies
bap-core-theory 
< "2.1.0"
bap-primus-symbolic-executor 
< "2.2.0"
bap-std 
= "2.0.0"
bitvec-binprot 
< "2.2.0"
bitvec-order 
< "2.2.0"
bitvec-sexp 
< "2.2.0"