Skip to content
Permalink
Branch: master
Find file Copy path
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
29 lines (28 sloc) 925 Bytes
opam-version: "2.0"
maintainer: "Steven De Oliveira <de.oliveira.steven@gmail.com>"
authors: "Steven De Oliveira <de.oliveira.steven@gmail.com>"
homepage: "https://github.com/Stevendeo/Pilat/"
license: "LGPL-2.1-only"
dev-repo: "git+https://github.com/Stevendeo/Pilat.git"
bug-reports: "https://github.com/Stevendeo/Pilat/issues"
build: ["sh" "make.sh"]
install: ["sh" "install.sh"]
remove: ["ocamlfind" "remove" "pilat"]
depends: [
"ocaml" {> "4.02.3"}
"ocamlfind"
"lacaml"
"zarith"
"frama-c"
]
conflicts: ["frama-c" {>= "17.0"}]
synopsis: "A Frama-C polynomial invariant generator"
description: """
This tool generates invariants of linear and polynomial loops, with
deterministic and non deterministic assignments, as annotations in the initial
source code."""
flags: light-uninstall
url {
src: "https://github.com/Stevendeo/Pilat/archive/stable_1.1.zip"
checksum: "md5=aa4f9778e377a1931b46920e68ab7b1c"
}
You can’t perform that action at this time.