| 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 |
|
|
}
|