this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Xavier.Rival@ens.fr"
3authors: "Xavier Rival et. al."
4homepage: "https://www.di.ens.fr/~rival/memcad.html"
5bug-reports: "https://gitlab.inria.fr/memcad/memcad/-/issues"
6dev-repo: "git+https://gitlab.inria.fr/memcad/memcad.git"
7license: "GPL-3.0-only"
8build: [
9 ["dune" "subst"] {dev}
10 [
11 "dune"
12 "build"
13 "-p"
14 name
15 "-j"
16 jobs
17 "@install"
18 "@runtest" {with-test}
19 "@doc" {with-doc}
20 ]
21]
22depends: [
23 "ocaml" {>= "4.08.0"}
24 "apron" {>= "v0.9.12"}
25 "base-unix"
26 "bdd"
27 "clangml" {>= "4.4.0"}
28 "clangml-transforms" {>= "0.26"}
29 "conf-graphviz"
30 "dune" {>= "1.3"}
31 "ounit"
32 "parmap"
33 "qtest"
34 "mlbdd" {>= "0.5"}
35 "setr" {>= "0.1.1"}
36]
37synopsis: "The MemCAD analyzer"
38description: """
39MemCAD is an abstract interpreter for shape analysis.
40MemCAD can analyze C programs manipulating complex data structures."""
41url {
42 src: "https://gitlab.inria.fr/memcad/memcad/-/archive/v1.1.0/memcad-v1.1.0.tar.gz"
43 checksum: "sha512=7e37933fb3c2b67d166906f1ac38855b6819d4ce8f015f84b98012a513cf254eea5081b5d37fe69689dead565f8a1973418a023c9cee76426a5bdb93815c681f"
44}