Project

General

Profile

Download (1.26 KB) Statistics
| Branch: | Tag: | Revision:
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
  (lib include_)
23
  (share testgen))
24
 (synopsis "A Lustre compiler toolset")
25
 (description
26
   "lustrec is structured around the modular compilation scheme proposed by \
27
    Biernacki, Colaço, Hamon, and Pouzet at LCTES'08.  It is an open source \
28
    lustre compiler that provides verification capabilities. It is currently \
29
    mainly used through the CocoSim platform, a Matlab toolbox to perform V&V \
30
    of Simulink models. Within CocoSim, the Lustre language is used as an \
31
    intermediate representation and relies mainly on lustrec to produce code \
32
    or verification artifacts.")
33
 (depends
34
    conf-gmp
35
    ocamlgraph
36
    menhir
37
    zarith
38
    yojson
39
    ppx_deriving_yojson
40
    ; cmdliner
41
    dune-site)
42
 (depopts z3))
(16-16/18)