1
|
(env
|
2
|
(dev
|
3
|
(flags
|
4
|
(:standard -warn-error -A))))
|
5
|
|
6
|
(include_subdirs unqualified)
|
7
|
|
8
|
(library
|
9
|
(name lustrec_interface)
|
10
|
(package lustrec)
|
11
|
(modules
|
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)
|
60
|
(wrapped false)
|
61
|
(libraries sites ocamlgraph zarith unix str menhirLib))
|
62
|
|
63
|
(library
|
64
|
(name plugin_register)
|
65
|
(package lustrec)
|
66
|
(wrapped false)
|
67
|
(modules pluginList pluginType)
|
68
|
(libraries lustrec_interface))
|
69
|
|
70
|
(generate_sites_module
|
71
|
(module sites)
|
72
|
; (sites lustrec)
|
73
|
(plugins
|
74
|
(lustrec plugins)
|
75
|
(lustrec verifiers)))
|
76
|
|
77
|
(library
|
78
|
(name sites)
|
79
|
(package lustrec)
|
80
|
(modules sites)
|
81
|
(libraries dune-site dune-site.plugins))
|
82
|
|
83
|
(library
|
84
|
(name lustrec_lib)
|
85
|
(package lustrec)
|
86
|
(modules
|
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)
|
125
|
(wrapped false)
|
126
|
(libraries sites lustrec_interface plugin_register))
|
127
|
|
128
|
(executable
|
129
|
(name main_lustre_compiler)
|
130
|
(public_name lustrec)
|
131
|
(modules main_lustre_compiler)
|
132
|
(package lustrec)
|
133
|
(libraries lustrec_lib lustrec.scopes))
|
134
|
|
135
|
(executable
|
136
|
(name main_lustre_testgen)
|
137
|
(public_name lustret)
|
138
|
(modules main_lustre_testgen mutation mmap pathConditions)
|
139
|
(libraries lustrec_lib))
|
140
|
|
141
|
(library
|
142
|
(name verifier_register)
|
143
|
(package lustrec)
|
144
|
(wrapped false)
|
145
|
(modules verifierList verifierType)
|
146
|
(libraries lustrec_interface))
|
147
|
|
148
|
(executable
|
149
|
(name main_lustre_verifier)
|
150
|
(public_name lustrev)
|
151
|
(modules main_lustre_verifier verifiers)
|
152
|
(libraries lustrec_lib verifier_register lustrec.scopes))
|
153
|
|
154
|
(executable
|
155
|
(name main_lustre_importer)
|
156
|
(public_name lustrei)
|
157
|
(modules main_lustre_importer vhdl_deriving_yojson vhdl_json_lib)
|
158
|
(libraries yojson ppx_deriving_yojson.runtime)
|
159
|
(preprocess
|
160
|
(pps ppx_deriving_yojson)))
|
161
|
|
162
|
(library
|
163
|
(name tools_lib)
|
164
|
(package lustrec)
|
165
|
(wrapped false)
|
166
|
(modules basetypes datatype activeStates)
|
167
|
(libraries lustrec_lib))
|
168
|
|
169
|
(executable
|
170
|
(name sf_sem)
|
171
|
(public_name lustresf)
|
172
|
(modules
|
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)
|
183
|
(libraries tools_lib))
|
184
|
|
185
|
; (executable
|
186
|
; (name main_parse_json_file)
|
187
|
; (public_name json-parser)
|
188
|
; (modules main_parse_json_file json_parser)
|
189
|
; (libraries tools_lib cmdliner))
|
190
|
|
191
|
; (executable
|
192
|
; (name test_json_parser_variables)
|
193
|
; (modules test_json_parser_variables json_parser)
|
194
|
; (libraries tools_lib))
|