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: [
5 "LAISER team, Software Safety and Security Laboratory, CEA-List"
6]
7authors: ["LAISER team, Software Safety and Security Laboratory, CEA-List"]
8license: "LGPL-2.1-only"
9homepage: "https://git.frama-c.com/pub/caisar"
10doc: "https://git.frama-c.com/pub/caisar"
11bug-reports: "https://git.frama-c.com/pub/caisar/issues"
12depends: [
13 "dune" {>= "2.9"}
14 "ocaml" {>= "4.13"}
15 "dune-site" {>= "2.9.0"}
16 "piqi" {>= "0.7.6"}
17 "piqilib" {>= "0.6.14"}
18 "zarith" {>= "1.7"}
19 "ocplib-endian" {>= "1.0"}
20 "base" {>= "v0.14.0" & < "v0.17" }
21 "stdio" {>= "v0.14.0"}
22 "cmdliner" {>= "1.1.1"}
23 "fmt" {>= "0.8.9"}
24 "logs" {>= "0.7.0"}
25 "ppx_deriving" {>= "5.1"}
26 "yojson" {>= "1.7.0"}
27 "menhirLib" {>= "20210310"}
28 "ppx_deriving_yojson" {>= "3.6.1"}
29 "csv" {>= "2.4"}
30 "why3" {>= "1.5.0" & < "1.6~"}
31 "re" {>= "1.10.4" & < "1.12.0"}
32 "caisar-nnet" {= version}
33 "caisar-ovo" {= version}
34 "caisar-onnx" {= version}
35 "odoc" {with-doc}
36]
37build: [
38 ["dune" "subst"] {dev}
39 [
40 "dune"
41 "build"
42 "-p"
43 name
44 "-j"
45 jobs
46 "--promote-install-files=false"
47 "@install"
48 "@runtest" {with-test}
49 "@doc" {with-doc}
50 ]
51 ["dune" "install" "-p" name "--create-install-files" name]
52]
53dev-repo: "git+https://git.frama-c.com/pub/caisar.git"
54url {
55 src:
56 "https://git.frama-c.com/api/v4/projects/1082/packages/generic/caisar/0.1/caisar-0.1.tbz"
57 checksum: [
58 "sha256=f41febdf9faa14c6ed1504791e7e96172997ca0bc26f421ad68a6c18893e92c4"
59 "sha512=364bc4d3a8dd7c8245ace10118c48db30a10749040bd655092e79c323c10bcdfc660a9b687335800988da0308d5fa1f1a8cb822eb8bcf857092e583bf94cce4d"
60 ]
61}
62x-commit-hash: "3d60c1bc15226e6613e3ba136ce99bb68338df7d"