this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Steven De Oliveira <de.oliveira.steven@gmail.com>"
3authors: "Steven De Oliveira <de.oliveira.steven@gmail.com>"
4homepage: "https://github.com/Stevendeo/Pilat/"
5license: "LGPL-2.1-only"
6dev-repo: "git+https://github.com/Stevendeo/Pilat.git"
7bug-reports: "https://github.com/Stevendeo/Pilat/issues"
8build: ["sh" "make.sh"]
9install: ["sh" "install.sh"]
10remove: ["ocamlfind" "remove" "pilat"]
11depends: [
12 "ocaml" {> "4.02.3"}
13 "ocamlfind"
14 "lacaml"
15 "zarith" {< "1.8"}
16 "frama-c"
17]
18conflicts: ["frama-c" {>= "17.0"}]
19synopsis: "A Frama-C polynomial invariant generator"
20description: """
21This tool generates invariants of linear and polynomial loops, with
22deterministic and non deterministic assignments, as annotations in the initial
23source code."""
24flags: light-uninstall
25url {
26 src: "https://github.com/Stevendeo/Pilat/archive/stable_1.1.zip"
27 checksum: [
28 "sha256=6843cd0783d7060494ab5d19d4c135b53e1ca1bfd27ad385ecd73c827188e830"
29 "md5=aa4f9778e377a1931b46920e68ab7b1c"
30 ]
31}