Vous avez reçu un message "Your GitLab account has been locked ..." ? Pas d'inquiétude : lisez cet article https://docs.gricad-pages.univ-grenoble-alpes.fr/help/unlock/

lurette.prj 9.71 KB
Newer Older
1
2
;; -*- Prcs -*-
(Created-By-Prcs-Version 1 3 3)
3
(Project-Description "Lurette")
4
5
(Project-Version lurette 0 126)
(Parent-Version lurette 0 125)
6
(Version-Log "
7

8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

source/command_line_luc_exe.ml:
source/command_line_luc_exe.mli:
source/command_line.ml:
source/command_line.mli:
source/luc_exe.ml:
source/lurette.ml:
source/lurettetop.ml:
   Add the possibility to set the precision from lucky and lurette command lines.

   Remove the draw-vertices stuff.


source/command_line_luc_exe.ml:
source/command_line_luc_exe.mli:
source/luc_exe.ml:
   Also add the --edges and the inside options for lucky. 

26
source/parse_env.ml:
27
28
29
30
  Allow to forget empty fields in the automata format.

source/store.ml:
   Plug the new drawing heuristic
31

32
33
34
")
(New-Version-Log ""
)
35
(Checkin-Time "Fri, 21 Feb 2003 18:49:20 +0100")
36
37
38
39
40
(Checkin-Login jahier)
(Populate-Ignore ())
(Project-Keywords)
(Files

41
42
43

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

44

45
46
;; Sources files for luc_exe
  (source/luc_exe.mli (lurette/b/31_ima_exe.ml 1.2 644))
47
  (source/luc_exe.ml (lurette/b/32_ima_exe.ml 1.25 644))
48

49
50
  (source/command_line_luc_exe.ml (lurette/b/33_command_li 1.10 644))
  (source/command_line_luc_exe.mli (lurette/b/34_command_li 1.7 644))
51
52

;; Sources files for lurette only
53
  (source/lurette.mli (lurette/11_lurette.ml 1.12 644))
54
  (source/lurette.ml (lurette/12_lurette.ml 1.62 644))
55

56
57
  (source/command_line.ml (lurette/b/20_command_li 1.11 644))
  (source/command_line.mli (lurette/b/21_command_li 1.10 644))
58

59
;; Sources files common to lurette and luc_exe
60
61
  (source/graph.mli (lurette/13_graph.mli 1.10 644))
  (source/graph.ml (lurette/14_graph.ml 1.8 644))
62

63
  (source/env.mli (lurette/15_env.mli 1.17 644))
64
  (source/env.ml (lurette/16_env.ml 1.29 644))
65

66
  (source/util.ml (lurette/35_util.ml 1.40 444))
67

68
  (source/solver.mli (lurette/38_solver.mli 1.13 644))
69
  (source/solver.ml (lurette/39_solver.ml 1.43 644))
70

71
  (source/polyhedron.ml (lurette/d/25_polyhedron 1.3 644))
72
  (source/polyhedron.mli (lurette/d/26_polyhedron 1.1 644))
73

74
75
  (source/store.mli (lurette/b/26_rnumsolver 1.15 644))
  (source/store.ml (lurette/b/27_rnumsolver 1.22 644))
76
77
78

  (source/pnumsolver.ml (lurette/d/23_pnumsolver 1.2 644))
  (source/pnumsolver.mli (lurette/d/24_pnumsolver 1.2 644))
79

80
  (source/parse_env.mli (lurette/40_parse_env. 1.12 644))
81
  (source/parse_env.ml (lurette/41_parse_env. 1.38 644))
82

83
  (source/show_env.mli (lurette/42_show_env.m 1.8 644))
84
  (source/show_env.ml (lurette/43_show_env.m 1.16 644))
85

86
  (source/formula.mli (lurette/44_formula.ml 1.21 644))
87
  (source/formula.ml (lurette/45_formula.ml 1.27 644))
88

89
90
  (source/print.mli (lurette/46_print.mli 1.13 644))
  (source/print.ml (lurette/47_print.ml 1.22 644))
91

92
93
  (source/eval.mli (lurette/48_eval.mli 1.10 644))
  (source/eval.ml (lurette/49_eval.ml 1.13 644))
94

95
96
  (source/env_state.mli (lurette/50_env_state. 1.26 644))
  (source/env_state.ml (lurette/51_env_state. 1.38 644))
97

98
  (source/automata.mli (lurette/b/46_automata.m 1.3 644))
99
  (source/automata.ml (lurette/b/47_automata.m 1.6 644))
100

101
  (source/sim2chro.mli (lurette/b/23_sim2chro.m 1.6 644))
102
  (source/sim2chro.ml (lurette/b/24_sim2chro.m 1.14 644))
103

104
105
  (source/gne.mli (lurette/b/36_gne.mli 1.4 644))
  (source/gne.ml (lurette/b/37_gne.ml 1.4 644))
106

107
  (source/lurettetop.ml (lurette/c/1_lurettetop 1.25 644))
108
  (source/gen_stubs.ml (lurette/24_generate_l 1.41 644))
109

110
111
  (source/control.mli (lurette/c/3_control.ml 1.3 644))
  (source/control.ml (lurette/c/4_control.ml 1.4 644))
112

113
114
  (source/constraint.mli (lurette/c/18_constraint 1.5 644))
  (source/constraint.ml (lurette/c/19_constraint 1.6 644))
115

116
  (source/ne.ml (lurette/c/21_ne.ml 1.5 644))
117
  (source/ne.mli (lurette/c/22_ne.mli 1.5 644))
118

119
  (source/value.ml (lurette/c/23_value.ml 1.3 644))
120
  (source/value.mli (lurette/c/24_value.mli 1.1 644))
121

122
123
  (source/prevar.ml (lurette/d/18_prevar.ml 1.1 644))
  (source/prevar.mli (lurette/d/19_prevar.mli 1.1 644))
124
125
126
127

  (source/parse_poc.ml (lurette/d/15_parse_poc. 1.1 644))
  (source/gen_fake_lutin.ml (lurette/d/16_gen_fake_l 1.1 644))

128
; little script that sets env vars and starts the lurette build
129
  (make_lurette (lurette/27_make_luret 1.17 755))
130
131

;; Make files
132
  (configure.in (lurette/d/11_configure. 1.1 644))
133
  (Makefile.common.in (lurette/d/12_Makefile.c 1.2 644))
134
  (OcamlMakefile (lurette/17_OcamlMakef 1.47 644))
135
  (Makefile.lurette (lurette/b/38_Makefile.l 1.16 644))
136
  (user-rules (lurette/c/14_myrules 1.25 644))
137
  (user-rules.skel (lurette/c/25_user-rules 1.2 644))
138
  (Makefile (lurette/d/13_Makefile 1.1 644))
139

140
  (source/Makefile.lurettetop (lurette/d/14_Makefile.l 1.2 644))
141
  (source/Makefile.gen_fake_lutin (lurette/d/17_Makefile.g 1.1 644))
142
  (source/Makefile.show_luc (lurette/b/40_Makefile.s 1.8 644))
143
  (source/Makefile.lucky (lurette/b/41_Makefile.i 1.14 644))
144
  (source/Makefile.gen_stubs (lurette/b/42_Makefile.g 1.5 644))
145
  (source/Makefile.lurette_lib (lurette/c/2_Makefile.l 1.14 644))
146
  (source/Makefile (lurette/c/20_Makefile 1.10 644))
147
148
149
150

;; Documentation
  (doc/Interface_draft (lurette/19_Interface_ 1.1 644))
  (doc/archi.fig (lurette/20_archi.fig 1.1 644))
151
152
  (doc/synthese (lurette/b/2_synthese 1.1 644))
  (doc/automata_format (lurette/b/3_automata_f 1.1 644))
153
154
  (doc/ocamldoc.sty (lurette/b/12_ocamldoc.s 1.1 644))
  (doc/ocamldoc.hva (lurette/b/13_ocamldoc.h 1.1 644))
155
156

;; Misc
157
  (README (lurette/10_README 1.5 644))  
158
  (ID_EN_VRAC (lurette/0_ID_EN_VRAC 1.1 644))
159
160
  (lurette.dep.dot (lurette/b/4_lurette.de 1.2 644))
  (lurette.depfull.dot (lurette/b/5_lurette.de 1.2 644))
161
  (TAGS (lurette/21_TAGS 1.6 644))
162

163
164
165
166
  (test/time-ossau.exp (lurette/b/48_time.exp 1.31 644))
  (test/time-ossau.res (lurette/b/49_time.res 1.34 644))
  (test/time-ecrins.res (lurette/d/20_time-ecrin 1.8 644))
  (test/time-ecrins.exp (lurette/d/21_time-ecrin 1.8 644))
167

168
;; Various files used for testing purposes
169
170
171
172
173
174
  (test/usager.luc (lurette/b/14_usager.env 1.10 644))
  (test/tram.luc (lurette/b/15_tram.env 1.9 644))
  (test/porte.luc (lurette/b/16_porte.env 1.9 644))
  (test/passerelle.luc (lurette/b/17_passerelle 1.9 644))
  (test/temp_int.luc (lurette/b/50_temp_int.e 1.4 644))
  (test/temp_float.luc (lurette/b/51_temp_float 1.5 644))
175

176
177
  (test/ControleurPorte.h (lurette/b/18_Controleur 1.1 644))
  (test/ControleurPorte.c (lurette/b/19_Controleur 1.1 644))
178
  (test/ControleurPorte.lus (lurette/c/17_Controleur 1.1 644))
179

180
181
182
  (test/vrai_tram.lus (lurette/b/6_vrai_tram. 1.2 644))
  (test/vrai_tram.h (lurette/b/7_vrai_tram. 1.3 644))
  (test/vrai_tram.c (lurette/b/8_vrai_tram. 1.3 644))
183
  (test/tram_simple.h (lurette/b/25_tram_simpl 1.1 644))
184

185
186
  (test/heater_int.rif.exp (lurette/b/28_heater_int 1.10 644))
  (test/ControleurPorte.rif.exp (lurette/b/29_Controleur 1.11 644))
187
  (test/heater_float.rif.exp (lurette/b/30_heater_flo 1.12 644))
188
  (test/heater_int.lus (lurette/b/43_heater_int 1.1 644))
189
  (test/heater_float.lus (lurette/b/44_heater_flo 1.2 644))
190
  (test/test_gen_stubs.h (lurette/b/45_test_gen_s 1.1 644))
191

192
  (test/giro/allocator.lus (lurette/c/5_allocator. 1.1 644))
193
  (test/giro/giro.luc (lurette/c/6_giro.ima 1.4 644))
194
195
196
197
198
  (test/giro/onlyroll.lus (lurette/c/7_onlyroll.l 1.1 644))

  (demo/chaudiere/chaudiere_oracle.lus (lurette/c/8_chaudiere_ 1.1 644))
  (demo/chaudiere/chaudiere_ctrl.lus (lurette/c/9_chaudiere_ 1.1 644))
  (demo/chaudiere/buggy_chaudiere_ctrl.lus (lurette/c/10_buggy_chau 1.1 644))
199
  (demo/chaudiere/chaudiere.luc (lurette/c/11_chaudiere. 1.5 644))
200

201
  (test/Makefile (lurette/c/0_Makefile 1.8 644))
202
203

;; xlurette
204
  (ihm/xlurette/xlurette_glade_main.ml (lurette/c/12_xlurette_g 1.15 644))
205
206
  (ihm/xlurette/xlurette.glade (lurette/c/13_xlurette.g 1.9 644))
  (ihm/xlurette/xlurette_glade_interface.ml (lurette/c/15_xlurette_g 1.8 644))
207
  (ihm/xlurette/makefile (lurette/c/16_makefile 1.7 644))
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252


;; cudaux 
  (cuddaux/cuddauxTDGenCof.c (lurette/c/26_cuddauxTDG 1.1 644))
  (cuddaux/cuddauxMisc.c (lurette/c/27_cuddauxMis 1.1 644))
  (cuddaux/cuddauxInt.h (lurette/c/28_cuddauxInt 1.1 644))
  (cuddaux/cuddauxGenCof.c (lurette/c/29_cuddauxGen 1.1 644))
  (cuddaux/cuddauxCompose.c (lurette/c/30_cuddauxCom 1.1 644))
  (cuddaux/cuddauxBridge.c (lurette/c/31_cuddauxBri 1.1 644))
  (cuddaux/cuddauxAddIte.c (lurette/c/32_cuddauxAdd 1.1 644))
  (cuddaux/cuddaux.h (lurette/c/33_cuddaux.h 1.1 644))
  (cuddaux/README (lurette/c/34_README 1.1 644))
  (cuddaux/Makefile (lurette/c/35_Makefile 1.1 644))
  (cuddaux/Changes (lurette/c/36_Changes 1.1 644))


;; mlcuddidl
  (mlcuddidl/session.ml (lurette/c/37_session.ml 1.1 644))
  (mlcuddidl/sedscript (lurette/c/38_sedscript 1.1 644))
  (mlcuddidl/rdd_caml.c (lurette/c/39_rdd_caml.c 1.1 640))
  (mlcuddidl/rdd.mli (lurette/c/40_rdd.mli 1.1 640))
  (mlcuddidl/rdd.ml (lurette/c/41_rdd.ml 1.1 640))
  (mlcuddidl/rdd.idl (lurette/c/42_rdd.idl 1.1 644))
  (mlcuddidl/mtbdd.mli (lurette/c/43_mtbdd.mli 1.1 644))
  (mlcuddidl/mtbdd.ml (lurette/c/44_mtbdd.ml 1.1 644))
  (mlcuddidl/manager_caml.c (lurette/c/45_manager_ca 1.1 640))
  (mlcuddidl/manager.mli (lurette/c/46_manager.ml 1.1 640))
  (mlcuddidl/manager.ml (lurette/c/47_manager.ml 1.1 640))
  (mlcuddidl/manager.idl (lurette/c/48_manager.id 1.1 644))
  (mlcuddidl/macros.m4 (lurette/c/49_macros.m4 1.1 644))
  (mlcuddidl/idd_caml.c (lurette/c/50_idd_caml.c 1.1 640))
  (mlcuddidl/idd.mli (lurette/c/51_idd.mli 1.1 640))
  (mlcuddidl/idd.ml (lurette/d/0_idd.ml 1.1 640))
  (mlcuddidl/idd.idl (lurette/d/1_idd.idl 1.1 644))
  (mlcuddidl/cudd_caml.h (lurette/d/2_cudd_caml. 1.1 644))
  (mlcuddidl/cudd_caml.c (lurette/d/3_cudd_caml. 1.1 644))
  (mlcuddidl/bdd_caml.c (lurette/d/4_bdd_caml.c 1.1 640))
  (mlcuddidl/bdd.mli (lurette/d/5_bdd.mli 1.1 640))
  (mlcuddidl/bdd.ml (lurette/d/6_bdd.ml 1.1 640))
  (mlcuddidl/bdd.idl (lurette/d/7_bdd.idl 1.1 644))
  (mlcuddidl/README (lurette/d/8_README 1.1 644))
  (mlcuddidl/Makefile (lurette/d/9_Makefile 1.1 644))
  (mlcuddidl/Changes (lurette/d/10_Changes 1.1 644))


253
  (TODO (lurette/d/22_TODO 1.6 644))
254

255
256
257
)
(Merge-Parents)
(New-Merge-Parents)