|
1
|
(lang dune 2.8)
|
|
2
|
(name lustrec)
|
|
3
|
(version 1.7)
|
|
4
|
|
|
5
|
(using dune_site 0.1)
|
|
6
|
(using menhir 2.0)
|
|
7
|
(generate_opam_files true)
|
|
8
|
|
|
9
|
(license LGPL)
|
|
10
|
(authors "Pierre-Loic Garoche <ploc@garoche.net>"
|
|
11
|
"Xavier Thirioux <thirioux@enseeiht.fr>")
|
|
12
|
(maintainers "Pierre-Loic Garoche <ploc@garoche.net>")
|
|
13
|
(source (uri git+https://cavale.enseeiht.fr/git/lustrec#unstable))
|
|
14
|
(bug_reports https://cavale.enseeiht.fr/redmine/projects/lustrec/issues)
|
|
15
|
(homepage https://cavale.enseeiht.fr/redmine/projects/lustrec/)
|
|
16
|
|
|
17
|
(package
|
|
18
|
(name lustrec)
|
|
19
|
(sites
|
|
20
|
(lib plugins)
|
|
21
|
(lib verifiers))
|
|
22
|
(synopsis "A Lustre compiler toolset")
|
|
23
|
(description
|
|
24
|
"lustrec is structured around the modular compilation scheme proposed by \
|
|
25
|
Biernacki, Colaço, Hamon, and Pouzet at LCTES'08. It is an open source \
|
|
26
|
lustre compiler that provides verification capabilities. It is currently \
|
|
27
|
mainly used through the CocoSim platform, a Matlab toolbox to perform V&V \
|
|
28
|
of Simulink models. Within CocoSim, the Lustre language is used as an \
|
|
29
|
intermediate representation and relies mainly on lustrec to produce code \
|
|
30
|
or verification artifacts.")
|
|
31
|
(depends
|
|
32
|
conf-gmp
|
|
33
|
ocamlgraph
|
|
34
|
menhir
|
|
35
|
zarith
|
|
36
|
yojson
|
|
37
|
ppx_deriving_yojson
|
|
38
|
; cmdliner
|
|
39
|
dune-site)
|
|
40
|
(depopts z3))
|