[new release] salto-analyzer (0.2)

packages/salto-analyzer/salto-analyzer.0.2/opam

@@ -0,0 +1,64 @@
+opam-version: "2.0"
+synopsis: "Salto static analyzer for OCaml programs"
+description: """
+Static analyzer for OCaml programs, that infers possible
+   output values for every part of a program, as well as exceptions that
+   might be raised. It is based on the theory of abstract interpretation."""
+maintainer: [
+  "Pierre Lermusiaux <[email protected]>"
+  "Benoît Montagu <[email protected]>"
+]
+authors: [
+  "Pierre Lermusiaux <[email protected]>"
+  "Benoît Montagu <[email protected]>"
+]
+license: "LGPL-3.0-or-later"
+homepage: "https://salto.gitlabpages.inria.fr/"
+bug-reports: "https://gitlab.inria.fr/salto/salto-analyzer/-/issues"
+depends: [
+  "dune" {>= "3.18"}
+  "saltoIL" {>= "0.2.0" & < "0.3"}
+  "base" {>= "v0.16.3"}
+  "cmdliner" {>= "1.2.0"}
+  "dmap" {>= "0.5"}
+  "hashcons" {>= "1.3"}
+  "hashset" {>= "1.0.0"}
+  "ppx_import" {build & >= "1.9.0"}
+  "ppx_deriving" {build & >= "5.2.1"}
+  "ppx_expect" {>= "v0.16.0"}
+  "ptset" {>= "1.0.1"}
+  "zarith" {>= "1.13"}
+  "ezjs_ace" {>= "0.1.1"}
+  "js_of_ocaml" {>= "5.4.0" & <= "5.9.1"}
+  "js_of_ocaml-ppx" {build & >= "5.4.0"}
+  "js_of_ocaml-tyxml" {>= "5.4.0"}
+  "zarith_stubs_js" {>= "v0.16.1"}
+  "csexp" {>= "1.5.2"}
+  "ez_dune_describe" {>= "0.1"}
+  "odoc" {with-doc}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
+dev-repo: "git+https://gitlab.inria.fr/salto/salto-analyzer"
+x-maintenance-intent: ["(latest)"]
+url {
+  src:
+    "https://salto.gitlabpages.inria.fr/salto-analyzer/releases/salto-analyzer-0.2.tbz"
+  checksum: [
+    "sha256=e69d884bbd9a13a71345a295098fb7ae36dfc8aaa7f7197c02a0dbc87450ecc6"
+    "sha512=02662eb4d015e3ab5d802ce11c62e1bcf8624e455b9229f958fe678c73ab91c20b1a5e4cab532b7377e472826ff0d49a9a753592af9a79e4c8ba438e04d5e867"
+  ]
+}
+x-commit-hash: "c1bf48248ef1b78ce20dbe90f4cfeb45b2be5459"