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" {>= "3.8"}
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.1" & < "v0.17" }
21 "stdio" {>= "v0.14.0"}
22 "cmdliner" {>= "1.1.1"}
23 "fmt" {>= "0.8.9"}
24 "logs" {>= "0.7.0"}
25 "yojson" {>= "1.7.0"}
26 "menhirLib" {>= "20210310"}
27 "csv" {>= "2.4"}
28 "why3" {>= "1.6.0" & < "1.7~"}
29 "re" {>= "1.10.4" & < "1.12.0"}
30 "fpath" {>= "0.7.3"}
31 "yaml" {>= "3.1.0"}
32 "ocaml-protoc-plugin" {>= "4.2.0"}
33 "stdio" {>= "v0.14.0"}
34 "ocamlgraph" {>= "1.8.8"}
35 "ppx_deriving" {>= "5.1"}
36 "ppx_inline_test" {>= "0.12.0"}
37 "ppx_deriving_yojson" {>= "3.6.1"}
38 "odoc" {with-doc}
39]
40build: [
41 ["dune" "subst"] {dev}
42 [
43 "dune"
44 "build"
45 "-p"
46 name
47 "-j"
48 jobs
49 "--promote-install-files=false"
50 "@install"
51 "@runtest" {with-test}
52 "@doc" {with-doc}
53 ]
54 ["dune" "install" "-p" name "--create-install-files" name]
55]
56dev-repo: "git+https://git.frama-c.com/pub/caisar.git"
57url {
58 src:
59 "https://git.frama-c.com/api/v4/projects/1082/packages/generic/caisar/0.2.1/caisar-0.2.1.tbz"
60 checksum: [
61 "sha256=a9a704f1e4e255eee2e9b0333e6c7b0e3e002293ce0068faa1c3d7c18d209997"
62 "sha512=7e35bd5527f82c5c6f62452c88e2971907a4eab89fd4efb699b99eb95f730d752908d51c47e104dcff5ceb58cf24c87d3399cb42e09a47691440927463168abb"
63 ]
64}
65x-commit-hash: "1636bc847f29c3243b26af91240ed10b4e848b09"