package salto-analyzer

You can search for identifiers within the package.

in-package search v0.2.0

Salto static analyzer for OCaml programs

Install

Dune Dependency

salto.gitlabpages.inria.fr Readme Changelog LGPL-3.0-or-later License Edit opam file Versions (1)

Authors

Maintainers

Sources

salto-analyzer-0.1.tbz

sha256=dec936314e9d44dffdf10d9654bf37e631cdf32fa03052c9f4d4aa992c10b247

sha512=6efc54d9ff97fc5654c28a6c8f96d814be44cf53e03d301c907b5b2178813a0f7837e341272891b92417cc98529acc8a66062002e16e705c781a3ec2a3db5f16

CHANGES.md.html

0.1

first public release