this repo has no description
anil.recoil.org
1# This file is generated by dune, edit dune-project instead
2opam-version: "2.0"
3synopsis:
4 "Multi-engine, parallel, SMT-based automatic model checker for safety properties of Lustre programs"
5description: """
6Kind 2 is an open-source, multi-engine, SMT-based automatic model checker for safety properties of finite-state
7or infinite-state synchronous reactive systems expressed as in an extension of the Lustre language.
8In its basic configuration it takes as input a Lustre file annotated with properties to be proven invariant,
9and outputs for each property either a confirmation or a counterexample, i.e., a sequence inputs that falsifies the property.
10More advanced features include contract-based compositional verification, proof generation for proven properties, and contract-based test generation."""
11maintainer: ["Daniel Larraz <daniel-larraz@uiowa.edu>"]
12authors: ["The Kind 2 development team"]
13license: "Apache-2.0"
14homepage: "https://kind2-mc.github.io/kind2"
15doc: "https://kind.cs.uiowa.edu/kind2_user_doc"
16bug-reports: "https://github.com/kind2-mc/kind2/issues"
17depends: [
18 "ocaml" {>= "4.09"}
19 "dune" {>= "2.7"}
20 "dune-build-info"
21 "menhir" {>= "20180523"}
22 "num"
23 "odoc" {with-doc}
24 "ounit2" {with-test}
25 "yojson"
26 "zmq" {>= "5.1.0"}
27]
28build: [
29 ["dune" "subst"] {dev}
30 [
31 "dune"
32 "build"
33 "-p"
34 name
35 "-j"
36 jobs
37 "@install"
38 "@runtest" {with-test}
39 "@doc" {with-doc}
40 ]
41]
42dev-repo: "git+https://github.com/kind2-mc/kind2.git"
43url {
44 src: "https://github.com/kind2-mc/kind2/archive/refs/tags/v2.0.0.tar.gz"
45 checksum: [
46 "md5=9085a72d288ff07567bc6819c9239de4"
47 "sha512=bb1464a645a499809bc563256541cd128a7c0db5874fe535472f2b61039eb14fb0aedaee99abce6e1b77727949c4933c111d1083eb126a223928f1275fd651dc"
48 ]
49}