electrod.opam

# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
synopsis: "Formal analysis for the Electrod formal pivot language"
description:
  "Electrod is a model finder that takes as input a model expressed in a mixture of relational first-order logic (RFOL) over bounded domains and linear temporal logic (LTL) over an unbounded time horizon. Then it compiles the model to a problem for a solver (currently the NuSMV and nuXmv model-checkers). Electrod is mainly meant to be used as a backend for the Alloy Analyzer 6."
maintainer: ["David Chemouil <david.chemouil+git@onera.fr>"]
authors: ["David Chemouil" "Julien Brunel"]
license: "MPL-2.0"
homepage: "https://github.com/grayswandyr/electrod"
bug-reports: "https://github.com/grayswandyr/electrod/issues"
depends: [
  "cmdliner" {<= "1.1.1"}
  "containers" {<= "3.10"}
  "containers-data" {<= "3.10"}
  "dune" {>= "3.5" & <= "3.5.0"}
  "dune-build-info" {<= "3.5.0"}
  "fmt" {<= "0.9.0"}
  "gen" {<= "1.0"}
  "hashcons" {<= "1.3"}
  "iter" {<= "1.6"}
  "logs" {<= "0.7.0"}
  "mdx" {with-test}
  "menhir" {<= "20220210"}
  "mtime" {<= "1.4.0"}
  "ocaml" {= "4.14.1"}
  "ocamlformat" {= "0.24.1"}
  "ocaml-lsp-server" {<= "1.14.2"}
  "ppx_deriving" {<= "5.2.1"}
  "ppx_expect" {<= "v0.16.0"}
  "ppx_inline_test" {<= "v0.16.1"}
  "printbox" {<= "0.6.1"}
  "printbox-text" {<= "0.6.1"}
  "stdcompat" {<= "19"}
  "stdlib-shims" {<= "0.3.0"}
  "utop" {<= "2.10.0"}
  "visitors" {<= "20210608"}
  "odoc" {with-doc}
]
build: [
  ["dune" "subst"] {dev}
  [
    "dune"
    "build"
    "-p"
    name
    "-j"
    jobs
    "@install"
    "@runtest" {with-test}
    "@doc" {with-doc}
  ]
]
dev-repo: "git+https://github.com/grayswandyr/electrod.git"