Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / opam @ efe57954

History | View | Annotate | Download (1.36 KB)

1
opam-version: "2.0"
2
name: "lustrec"
3
version: "1.6"
4
maintainer: "Pierre-Loic Garoche <ploc@garoche.net>"
5
authors: ["Pierre-Loic Garoche <ploc@garoche.net>" "Xavier Thirioux <thirioux@enseeiht.fr>"]
6
homepage: "https://cavale.enseeiht.fr/redmine/projects/lustrec/"
7
bug-reports: "https://cavale.enseeiht.fr/redmine/projects/lustrec/issues"
8
license: "LGPL"
9
dev-repo: "git+https://cavale.enseeiht.fr/git/lustrec#unstable"
10
build: [
11
  ["autoconf"]
12
  ["./configure" "--prefix=%{prefix}%"]
13
  [make]
14
]
15
install: [make "install"]
16
remove: [make "uninstall"]
17
depends: [
18
  "ocamlfind"
19
  "yojson"
20
  "cmdliner"
21
  "fmt"
22
  "ppx_deriving_yojson"
23
  "ppx_traverse_builtins"
24
  "ppxlib"
25
  "menhir"
26
  "ocamlgraph"
27
  "logs"
28
  "z3"
29
  "num"
30
]
31
synopsis: "A Lustre compiler toolset"
32
description: """
33
lustrec is structured around the modular compilation scheme proposed
34
by Biernacki, Colaço, Hamon, and Pouzet at LCTES'08.  It is an open
35
source lustre compiler that provides verification capabilities.
36
It is currently mainly used through the CocoSim platform, a Matlab
37
toolbox to perform V&V of Simulink models. Within CocoSim, the Lustre
38
language is used as an intermediate representation and relies mainly
39
on lustrec to produce code or verification artifacts.
40
"""
41
url {
42
  src: "https://cavale.enseeiht.fr/redmine/attachments/download/114/lustrec-1.5-Xia-Shao-Kang-src.tgz"
43
  checksum: "md5=f06e87d5fbb24c91894bdc55bf6cc496"
44
}