this repo has no description
Merge pull request #25923 from daniel-larraz/opam-publish-kind2.2.2.0
Package kind2.2.2.0
authored by
Marcello Seri
and committed by
GitHub
6d8bf9dd
7f4efa6e
+49
+49
packages/kind2/kind2.2.2.0/opam
+49
packages/kind2/kind2.2.2.0/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis:
4
+
"Multi-engine, parallel, SMT-based automatic model checker for safety properties of Lustre programs"
5
+
description: """
6
+
Kind 2 is an open-source, multi-engine, SMT-based automatic model checker for safety properties of finite-state
7
+
or infinite-state synchronous reactive systems expressed as in an extension of the Lustre language.
8
+
In its basic configuration it takes as input a Lustre file annotated with properties to be proven invariant,
9
+
and outputs for each property either a confirmation or a counterexample, i.e., a sequence inputs that falsifies the property.
10
+
More advanced features include contract-based compositional verification, proof generation for proven properties, and contract-based test generation."""
11
+
maintainer: ["Daniel Larraz <daniel-larraz@uiowa.edu>"]
12
+
authors: ["The Kind 2 development team"]
13
+
license: "Apache-2.0"
14
+
homepage: "https://kind2-mc.github.io/kind2"
15
+
doc: "https://kind.cs.uiowa.edu/kind2_user_doc"
16
+
bug-reports: "https://github.com/kind2-mc/kind2/issues"
17
+
depends: [
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
+
]
28
+
build: [
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
+
]
42
+
dev-repo: "git+https://github.com/kind2-mc/kind2.git"
43
+
url {
44
+
src: "https://github.com/kind2-mc/kind2/archive/refs/tags/v2.2.0.tar.gz"
45
+
checksum: [
46
+
"md5=ecbec663727d92669cd9c176e16ec26b"
47
+
"sha512=a3ce509a28d9029bb8f67be71822f6008d541f3ac085d6728184edbe55b36016f0603ae9d833468fca3aeb729147aa88e3e9e56d92954038806aa84bb2299fb4"
48
+
]
49
+
}