package salto-analyzer

  1. Overview
  2. Docs
Salto static analyzer for OCaml programs

Install 

dune-project
 Dependency

salto.gitlabpages.inria.fr Readme Changelog Edit opam file Versions (2)

Authors

  1. P
    Pierre Lermusiaux <pierre.lermusiaux@inria.fr>
  2. B
    Benoît Montagu <benoit.montagu@inria.fr>

Maintainers

  1. P
    Pierre Lermusiaux <pierre.lermusiaux@inria.fr>
  2. B
    Benoît Montagu <benoit.montagu@inria.fr>

Sources

salto-analyzer-0.2.tbz
sha256=e69d884bbd9a13a71345a295098fb7ae36dfc8aaa7f7197c02a0dbc87450ecc6
sha512=02662eb4d015e3ab5d802ce11c62e1bcf8624e455b9229f958fe678c73ab91c20b1a5e4cab532b7377e472826ff0d49a9a753592af9a79e4c8ba438e04d5e867

doc/index.html

salto-analyzer