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.15.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.6.0" & < "1.7~"}
31 "re" {>= "1.10.4" & < "1.12.0"}
32 "fpath" {>= "0.7.3"}
33 "yaml" {>= "3.1.0"}
34 "caisar-nnet" {= version}
35 "caisar-ovo" {= version}
36 "caisar-onnx" {= version}
37 "caisar-ir" {= version}
38 "caisar-xgboost" {= version}
39 "odoc" {with-doc}
40]
41build: [
42 ["dune" "subst"] {dev}
43 [
44 "dune"
45 "build"
46 "-p"
47 name
48 "-j"
49 jobs
50 "--promote-install-files=false"
51 "@install"
52 "@runtest" {with-test}
53 "@doc" {with-doc}
54 ]
55 ["dune" "install" "-p" name "--create-install-files" name]
56]
57dev-repo: "git+https://git.frama-c.com/pub/caisar.git"
58url {
59 src:
60 "https://git.frama-c.com/api/v4/projects/1082/packages/generic/caisar/0.2/caisar-0.2.tbz"
61 checksum: [
62 "sha256=e56829b9e2564c1cd0ab01798cc2b3c9b8887be0180b1e260b6e93940bf5e069"
63 "sha512=fcd1b1bf4b32d4ece982acab59710c8f1fe33784f5e4a15bd85a14cd1b7db450f529a0bfca31009a919008312149a25c6ea7ec3272d524a1e4c026eeeff7d5a3"
64 ]
65}
66x-commit-hash: "c056742afad31eed9fdea0f89f8143f0f0cb382e"