this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis:
3 "A platform for characterizing the safety and robustness of artificial intelligence based software"
4maintainer: ["AISER team, Software Safety and Security Laboratory, CEA-List"]
5authors: ["AISER team, Software Safety and Security Laboratory, CEA-List"]
6license: "LGPL-2.1-only"
7homepage: "https://git.frama-c.com/pub/caisar"
8doc: "https://git.frama-c.com/pub/caisar"
9bug-reports: "https://git.frama-c.com/pub/caisar/issues"
10depends: [
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" & < "1.12.0"}
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]
39build: [
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]
55dev-repo: "git+https://git.frama-c.com/pub/caisar.git"
56url {
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}
64x-commit-hash: "5f1174cb642ca19b5ffb633de1f4e5fbce35d7f9"