calliversion

CaLLi : OCaml Library for Static Analysis of LLVM bitcode

AuthorSoyeon Baek <sy.baek28@gmail.com>
LicenseMIT
Published
Homepagehttps://github.com/cnu-ants/CaLLi
Issue Trackerhttps://github.com/cnu-ants/CaLLi/issues
MaintainerSoyeon Baek <sy.baek28@gmail.com>
Dependencies
Source [http] https://github.com/cnu-ants/CaLLi_analyzer/archive/refs/tags/0.1.tar.gz
md5=a8a2a047d4abec1277375276ee601432
sha512=c7d56afaed8aa6d6ca19aa515340fcbd7dccfd3308628030c5e53a3ed2a17e0c44c9f7496778a15b5dbc807c14db068f388585bca89f2c3f5cf433909fc942fa
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/calli/calli.0.1/opam
No package is dependent