bitvecversion

Fixed-size bitvectors and modular arithmetic, based on Zarith

AuthorBAP Team
LicenseMIT
Published
Homepagehttps://github.com/BinaryAnalysisPlatform/bap/
Issue Trackerhttps://github.com/BinaryAnalysisPlatform/bap/issues
MaintainerIvan Gotovchits <ivg@ieee.org>
Dependencies
Source [http] https://github.com/BinaryAnalysisPlatform/bap/archive/v2.1.0.tar.gz
md5=3db9deac8d429b9b8a8ec9aec54987b1
StatisticsInstalled 382 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/bitvec/bitvec.2.1.0/opam