Project

General

Profile

Download (1.36 KB) Statistics
| Branch: | Tag: | Revision:
1 efe57954 ploc
opam-version: "2.0"
2
name: "lustrec"
3 a7ce880f ploc
version: "1.7"
4 efe57954 ploc
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 222db658 ploc
  src: "https://cavale.enseeiht.fr/redmine/attachments/download/117/lustrec-1.6-Xia-Zhu-src.tgz"
43 efe57954 ploc
  checksum: "md5=f06e87d5fbb24c91894bdc55bf6cc496"
44
}