Revision ca7ff3f7
Added by Lélio Brun over 1 year ago
| src/dune | ||
|---|---|---|
| 1 | 1 |
(env |
| 2 | 2 |
(dev |
| 3 |
(flags (:standard -warn-error -A)))) |
|
| 3 |
(flags |
|
| 4 |
(:standard -warn-error -A)))) |
|
| 4 | 5 |
|
| 5 | 6 |
(include_subdirs unqualified) |
| 6 | 7 |
|
| ... | ... | |
| 8 | 9 |
(name lustrec_interface) |
| 9 | 10 |
(package lustrec) |
| 10 | 11 |
(modules |
| 11 |
lustre_types |
|
| 12 |
utils |
|
| 13 |
lustre_utils |
|
| 14 |
location |
|
| 15 |
dimension |
|
| 16 |
env |
|
| 17 |
real |
|
| 18 |
types |
|
| 19 |
options |
|
| 20 |
version |
|
| 21 |
clocks |
|
| 22 |
delay |
|
| 23 |
machine_code_types |
|
| 24 |
spec_types |
|
| 25 |
spec_common |
|
| 26 |
lustre_live |
|
| 27 |
scheduling_type |
|
| 28 |
log |
|
| 29 |
printers |
|
| 30 |
corelang |
|
| 31 |
basic_library |
|
| 32 |
type_predef |
|
| 33 |
clock_predef |
|
| 34 |
delay_predef |
|
| 35 |
error |
|
| 36 |
global |
|
| 37 |
annotations |
|
| 38 |
machine_code_common |
|
| 39 |
arrow |
|
| 40 |
options_management |
|
| 41 |
stateless |
|
| 42 |
c_backend_common |
|
| 43 |
typing |
|
| 44 |
ocaml_utils |
|
| 45 |
backends |
|
| 46 |
lustrec_mpfr |
|
| 47 |
normalization |
|
| 48 |
machine_types |
|
| 49 |
splitting |
|
| 50 |
compiler_common |
|
| 51 |
parse parser_lustre parser_lustre_table parser_lustre_messages |
|
| 52 |
lexer_lustre lexerLustreSpec |
|
| 53 |
automata |
|
| 54 |
clock_calculus |
|
| 55 |
) |
|
| 12 |
lustre_types |
|
| 13 |
utils |
|
| 14 |
lustre_utils |
|
| 15 |
location |
|
| 16 |
dimension |
|
| 17 |
env |
|
| 18 |
real |
|
| 19 |
types |
|
| 20 |
options |
|
| 21 |
version |
|
| 22 |
clocks |
|
| 23 |
delay |
|
| 24 |
machine_code_types |
|
| 25 |
spec_types |
|
| 26 |
spec_common |
|
| 27 |
lustre_live |
|
| 28 |
scheduling_type |
|
| 29 |
log |
|
| 30 |
printers |
|
| 31 |
corelang |
|
| 32 |
basic_library |
|
| 33 |
type_predef |
|
| 34 |
clock_predef |
|
| 35 |
delay_predef |
|
| 36 |
error |
|
| 37 |
global |
|
| 38 |
annotations |
|
| 39 |
machine_code_common |
|
| 40 |
arrow |
|
| 41 |
options_management |
|
| 42 |
stateless |
|
| 43 |
c_backend_common |
|
| 44 |
typing |
|
| 45 |
ocaml_utils |
|
| 46 |
backends |
|
| 47 |
lustrec_mpfr |
|
| 48 |
normalization |
|
| 49 |
machine_types |
|
| 50 |
splitting |
|
| 51 |
compiler_common |
|
| 52 |
parse |
|
| 53 |
parser_lustre |
|
| 54 |
parser_lustre_table |
|
| 55 |
parser_lustre_messages |
|
| 56 |
lexer_lustre |
|
| 57 |
lexerLustreSpec |
|
| 58 |
automata |
|
| 59 |
clock_calculus) |
|
| 56 | 60 |
(wrapped false) |
| 57 | 61 |
(libraries sites ocamlgraph zarith unix str menhirLib)) |
| 58 | 62 |
|
| ... | ... | |
| 80 | 84 |
(name lustrec_lib) |
| 81 | 85 |
(package lustrec) |
| 82 | 86 |
(modules |
| 83 |
lusic |
|
| 84 |
c_backend_header c_backend_spec c_backend_makefile |
|
| 85 |
c_backend_mauve c_backend_src |
|
| 86 |
ada_backend ada_printer ada_backend_common ada_backend_ads ada_backend_adb |
|
| 87 |
ada_backend_wrapper |
|
| 88 |
horn_backend horn_backend_common horn_backend_printers |
|
| 89 |
Horn_backend_collecting_sem horn_backend_traces |
|
| 90 |
EMF_backend EMF_common EMF_library_calls |
|
| 91 |
misc_lustre_function misc_printer |
|
| 92 |
machine_code |
|
| 93 |
causality |
|
| 94 |
scheduling |
|
| 95 |
liveness |
|
| 96 |
compiler_stages |
|
| 97 |
modules |
|
| 98 |
sortProg |
|
| 99 |
inliner |
|
| 100 |
access |
|
| 101 |
algebraicLoop |
|
| 102 |
optimize_prog |
|
| 103 |
optimize_machine |
|
| 104 |
spec |
|
| 105 |
c_backend c_backend_main |
|
| 106 |
plugins |
|
| 107 |
) |
|
| 87 |
lusic |
|
| 88 |
c_backend_header |
|
| 89 |
c_backend_spec |
|
| 90 |
c_backend_makefile |
|
| 91 |
c_backend_mauve |
|
| 92 |
c_backend_src |
|
| 93 |
ada_backend |
|
| 94 |
ada_printer |
|
| 95 |
ada_backend_common |
|
| 96 |
ada_backend_ads |
|
| 97 |
ada_backend_adb |
|
| 98 |
ada_backend_wrapper |
|
| 99 |
horn_backend |
|
| 100 |
horn_backend_common |
|
| 101 |
horn_backend_printers |
|
| 102 |
Horn_backend_collecting_sem |
|
| 103 |
horn_backend_traces |
|
| 104 |
EMF_backend |
|
| 105 |
EMF_common |
|
| 106 |
EMF_library_calls |
|
| 107 |
misc_lustre_function |
|
| 108 |
misc_printer |
|
| 109 |
machine_code |
|
| 110 |
causality |
|
| 111 |
scheduling |
|
| 112 |
liveness |
|
| 113 |
compiler_stages |
|
| 114 |
modules |
|
| 115 |
sortProg |
|
| 116 |
inliner |
|
| 117 |
access |
|
| 118 |
algebraicLoop |
|
| 119 |
optimize_prog |
|
| 120 |
optimize_machine |
|
| 121 |
spec |
|
| 122 |
c_backend |
|
| 123 |
c_backend_main |
|
| 124 |
plugins) |
|
| 108 | 125 |
(wrapped false) |
| 109 | 126 |
(libraries sites lustrec_interface plugin_register)) |
| 110 | 127 |
|
| ... | ... | |
| 139 | 156 |
(public_name lustrei) |
| 140 | 157 |
(modules main_lustre_importer vhdl_deriving_yojson vhdl_json_lib) |
| 141 | 158 |
(libraries yojson ppx_deriving_yojson.runtime) |
| 142 |
(preprocess (pps ppx_deriving_yojson))) |
|
| 159 |
(preprocess |
|
| 160 |
(pps ppx_deriving_yojson))) |
|
| 143 | 161 |
|
| 144 | 162 |
(library |
| 145 | 163 |
(name tools_lib) |
| ... | ... | |
| 152 | 170 |
(name sf_sem) |
| 153 | 171 |
(public_name lustresf) |
| 154 | 172 |
(modules |
| 155 |
sf_sem
|
|
| 156 |
model_simple
|
|
| 157 |
model_stopwatch
|
|
| 158 |
CPS_ccode_generator
|
|
| 159 |
CPS_transformer
|
|
| 160 |
CPS_interpreter
|
|
| 161 |
CPS_lustre_generator
|
|
| 162 |
CPS
|
|
| 163 |
theta
|
|
| 164 |
memo)
|
|
| 173 |
sf_sem |
|
| 174 |
model_simple |
|
| 175 |
model_stopwatch |
|
| 176 |
CPS_ccode_generator |
|
| 177 |
CPS_transformer |
|
| 178 |
CPS_interpreter |
|
| 179 |
CPS_lustre_generator |
|
| 180 |
CPS |
|
| 181 |
theta |
|
| 182 |
memo) |
|
| 165 | 183 |
(libraries tools_lib)) |
| 166 | 184 |
|
| 167 |
|
|
| 168 |
|
|
| 169 | 185 |
; (executable |
| 170 | 186 |
; (name main_parse_json_file) |
| 171 | 187 |
; (public_name json-parser) |
Also available in: Unified diff
reformatting