Project

General

Profile

Download (1.26 KB) Statistics
| Branch: | Tag: | Revision:
1
(lang dune 2.8)
2

    
3
(name lustrec)
4
(version 1.7)
5

    
6
(using dune_site 0.1)
7
(using menhir 2.0)
8
(generate_opam_files true)
9

    
10
(license LGPL)
11
(authors "Pierre-Loic Garoche <ploc@garoche.net>"
12
         "Xavier Thirioux <thirioux@enseeiht.fr>")
13
(maintainers "Pierre-Loic Garoche <ploc@garoche.net>")
14
(source (uri git+https://cavale.enseeiht.fr/git/lustrec#unstable))
15
(bug_reports https://cavale.enseeiht.fr/redmine/projects/lustrec/issues)
16
(homepage https://cavale.enseeiht.fr/redmine/projects/lustrec/)
17

    
18
(package
19
 (name lustrec)
20
 (sites
21
  (lib plugins)
22
  (lib verifiers)
23
  (lib include)
24
  (share testgen))
25
 (synopsis "A Lustre compiler toolset")
26
 (description
27
   "lustrec is structured around the modular compilation scheme proposed by \
28
    Biernacki, Colaço, Hamon, and Pouzet at LCTES'08.  It is an open source \
29
    lustre compiler that provides verification capabilities. It is currently \
30
    mainly used through the CocoSim platform, a Matlab toolbox to perform V&V \
31
    of Simulink models. Within CocoSim, the Lustre language is used as an \
32
    intermediate representation and relies mainly on lustrec to produce code \
33
    or verification artifacts.")
34
 (depends
35
    conf-gmp
36
    ocamlgraph
37
    menhir
38
    zarith
39
    yojson
40
    ppx_deriving_yojson
41
    ; cmdliner
42
    dune-site)
43
 (depopts z3))
(17-17/19)