this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "David Chemouil <david.chemouil+git@onera.fr>"
3authors: ["David Chemouil" "Julien Brunel"]
4homepage: "https://grayswandyr.github.io/electrod"
5bug-reports: "https://github.com/grayswandyr/electrod/issues"
6license: "MPL-2.0"
7dev-repo: "git+https://github.com/grayswandyr/electrod.git"
8doc: "https://grayswandyr.github.io/electrod/api"
9build: [
10 ["dune" "subst"] {dev}
11 ["dune" "build" "-p" name "-j" jobs]
12]
13depends: [
14 "ocaml" {>= "4.05"}
15 "dune" {>= "1.4"}
16 "dune-build-info"
17 "cmdliner"
18 "containers" {>= "2.0" & < "3.0"}
19 "fmt"
20 "gen"
21 "hashcons"
22 "logs"
23 "menhir" {< "20211215"}
24 "mtime" {< "2.0.0"}
25 "ppx_inline_test"
26 "printbox" {< "0.6"}
27 "iter"
28 "stdcompat"
29 "stdlib-shims"
30 "visitors" {>= "20190513"}
31]
32synopsis: "Formal analysis for the Electrod formal pivot language"
33description: """
34Electrod is a model finder inspired by Kodkod. It takes as input a
35model expressed in a mixture of relational first-order logic (RFOL)
36over bounded domains and linear temporal logic (LTL) over an unbounded
37time horizon. Then it compiles the model to a problem for a solver (currently
38the NuSMV and nuXmv tools) to produce example or counter-example traces.
39Electrod is primarily meant to be used as a backend for the Electrum formal method and tool.
40"""
41url {
42 src:
43 "https://github.com/grayswandyr/electrod/releases/download/0.2.3/electrod-0.2.3.tbz"
44 checksum: [
45 "sha256=7371c45e28b84a1955d117ef2c798d545febb87c74f596b6efe24965e4b28f31"
46 "sha512=e579db68ac05e30b0985f7d90080a82697de18c12e818d48bd7029cea8844571423f08d5881accbf8a0cbeb7df7de9b5b95ff5fe813330a6c92448a0901cdfe7"
47 ]
48}