package calli

  1. Overview
  2. No Docs
CaLLi : OCaml Library for Static Analysis of LLVM bitcode

Install

Dune Dependency

github.com Edit opam file Versions (2)

Authors

  1. S
    Soyeon Baek <sy.baek28@gmail.com>

Maintainers

  1. S
    Soyeon Baek <sy.baek28@gmail.com>

Sources

0.2.tar.gz
md5=bd68c856a1de7b742ba147275692e6e2
sha512=9e11baaee9056e4dfff45ddf898d1887840d9749dda82452ee2fce91dbabeeac377bc115dd0c35c55630c14d122c4f0cd065ecbc1baff8d36ef7033c06dbd27d

Description

Published: 06 Dec 2023

Dependencies (5)

  1. containers
  2. zarith
  3. llvm
  4. dune >= "2.9"
  5. ocaml >= "4.13"

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct