this repo has no description
Merge pull request #27508 from daniel-larraz/opam-publish-kind2.2.3.0
Package kind2.2.3.0
authored by
Marcello Seri
and committed by
GitHub
0cc23935
7a64698f
+50
+50
packages/kind2/kind2.2.3.0/opam
+50
packages/kind2/kind2.2.3.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
+
available: os != "win32"
43
+
dev-repo: "git+https://github.com/kind2-mc/kind2.git"
44
+
url {
45
+
src: "https://github.com/kind2-mc/kind2/archive/refs/tags/v2.3.0.tar.gz"
46
+
checksum: [
47
+
"md5=5b5edead12973bbde03b7f3481bf6713"
48
+
"sha512=74593684a98f65b0832fe13b285010a5002479f77455ef1c4c3e80112ba4e0b7e2d51fa929430c47a262b56799961f3164ad93a469c7c4c6436a46908522dad9"
49
+
]
50
+
}