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 (1)

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.1.tbz
sha256=dec936314e9d44dffdf10d9654bf37e631cdf32fa03052c9f4d4aa992c10b247
sha512=6efc54d9ff97fc5654c28a6c8f96d814be44cf53e03d301c907b5b2178813a0f7837e341272891b92417cc98529acc8a66062002e16e705c781a3ec2a3db5f16

doc/index.html

salto-analyzer