this repo has no description
Merge pull request #26122 from caisar-platform/release-caisar-2.0
[new release] caisar (2.0)
authored by
Marcello Seri
and committed by
GitHub
ecb65d5a
9ddad6a9
+64
+64
packages/caisar/caisar.2.0/opam
+64
packages/caisar/caisar.2.0/opam
···
1
+
opam-version: "2.0"
2
+
synopsis:
3
+
"A platform for characterizing the safety and robustness of artificial intelligence based software"
4
+
maintainer: ["AISER team, Software Safety and Security Laboratory, CEA-List"]
5
+
authors: ["AISER team, Software Safety and Security Laboratory, CEA-List"]
6
+
license: "LGPL-2.1-only"
7
+
homepage: "https://git.frama-c.com/pub/caisar"
8
+
doc: "https://git.frama-c.com/pub/caisar"
9
+
bug-reports: "https://git.frama-c.com/pub/caisar/issues"
10
+
depends: [
11
+
"dune" {>= "3.8"}
12
+
"ocaml" {>= "4.13"}
13
+
"dune-site" {>= "2.9.0"}
14
+
"piqi" {>= "0.7.6"}
15
+
"piqilib" {>= "0.6.14"}
16
+
"zarith" {>= "1.7"}
17
+
"ocplib-endian" {>= "1.0"}
18
+
"base" {>= "v0.15.1" & < "v0.17.0"}
19
+
"stdio" {>= "v0.14.0"}
20
+
"cmdliner" {>= "1.1.1"}
21
+
"fmt" {>= "0.8.9"}
22
+
"logs" {>= "0.7.0"}
23
+
"yojson" {>= "1.7.0"}
24
+
"menhirLib" {>= "20210310"}
25
+
"csv" {>= "2.4"}
26
+
"why3" {= "1.6.0"}
27
+
"re" {>= "1.10.4"}
28
+
"fpath" {>= "0.7.3"}
29
+
"yaml" {>= "3.1.0"}
30
+
"ocaml-protoc-plugin" {>= "4.2.0"}
31
+
"stdio" {>= "v0.14.0"}
32
+
"ocamlgraph" {>= "1.8.8"}
33
+
"ppx_deriving" {>= "5.1"}
34
+
"ppx_inline_test" {>= "0.12.0"}
35
+
"ppx_deriving_yojson" {>= "3.6.1"}
36
+
"odoc" {with-doc}
37
+
"conf-python-3" {with-test}
38
+
]
39
+
build: [
40
+
["dune" "subst"] {dev}
41
+
[
42
+
"dune"
43
+
"build"
44
+
"-p"
45
+
name
46
+
"-j"
47
+
jobs
48
+
"--promote-install-files=false"
49
+
"@install"
50
+
# "@runtest" {with-test} # tests require py-onnx
51
+
"@doc" {with-doc}
52
+
]
53
+
["dune" "install" "-p" name "--create-install-files" name]
54
+
]
55
+
dev-repo: "git+https://git.frama-c.com/pub/caisar.git"
56
+
url {
57
+
src:
58
+
"https://git.frama-c.com/api/v4/projects/1082/packages/generic/caisar/2.0/caisar-2.0.tbz"
59
+
checksum: [
60
+
"sha256=3d24d2940eed0921acba158a8970687743c401c6a99d0aac8ed6dcfedca1429c"
61
+
"sha512=0b4484c0e080b8ba22722fe9d5665f9015ebf1648ac89c566a978dd54e3e061acb63edd92e078eed310e26f3e8ad2c48f3682a24af2acb1f0633da12f7966a38"
62
+
]
63
+
}
64
+
x-commit-hash: "5f1174cb642ca19b5ffb633de1f4e5fbce35d7f9"