Project

General

Profile

Download (356 Bytes) Statistics
| Branch: | Tag: | Revision:
1

    
2
(install
3
 (files 
4
    arrow.c
5
    arrow.cpp
6
    arrow.h
7
    arrow.hpp
8
    conv.c
9
    conv.lusi
10
    io_frontend.c
11
    io_frontend.h
12
    io_frontend.hpp
13
    lustrec_math.lusi
14
    lustrec_math.smt2
15
    mpfr_lustre.c
16
    mpfr_lustre.lusi
17
    simulink_math_fcn.c
18
    simulink_math_fcn.lusi
19
    StdIn.java
20
    z3librc.in
21
 )
22
 (section share)
23
 (package lustrec)
24
)
(8-8/18)