Skip to content
Permalink
Fetching contributors…
Cannot retrieve contributors at this time
30 lines (27 sloc) 1.04 KB
opam-version: "2.0"
maintainer: "Vincent Jacques <vincent@russian-dolls-sunflowers.com>"
authors: [
"Luc Maranget <Luc.Maranget@inria.fr>"
"Jade Alglave <j.alglave@ucl.ac.uk>"
"Vincent Jacques <vincent@russian-dolls-sunflowers.com>"
]
homepage: "http://diy.inria.fr/"
bug-reports: "http://github.com/herd/herdtools7/issues/"
doc: "http://diy.inria.fr/doc/index.html"
dev-repo: "git+https://github.com/herd/herdtools7.git"
build: ["./build.sh" "%{prefix}%"]
install: ["./install.sh" "%{prefix}%"]
remove: ["./uninstall.sh" "%{prefix}%"]
depends: [
"ocaml" {>= "4.02.0"}
"ocamlbuild" {build}
]
synopsis: "herdtools7, a tool suite for shared memory models."
description: """
herdtools7 is a tool suite for testing shared memory models.
We provide several tools, litmus7 for running tests, diy7 generators for producing tests from concise specifications, and herd7 for simulating memory models.
See also <http://diy.inria.fr/>"""
url {
src: "https://github.com/herd/herdtools7/archive/7.44.tar.gz"
checksum: "md5=e3e0a250412fab3370aead62d3edc468"
}
You can’t perform that action at this time.