lurette.prj 42.9 KB
Newer Older
1 2
;; -*- Prcs -*-
(Created-By-Prcs-Version 1 3 3)
3
(Project-Description "Lurette")
4 5
(Project-Version lurette 1 45)
(Parent-Version lurette 1 44)
6
(Version-Log "
7
Fix an embarassing bug in the integer solver (in dimension 1).
8 9

")
10 11
(New-Version-Log ""
)
12
(Checkin-Time "Mon, 22 Sep 2008 18:20:01 +0200")
13 14 15 16 17
(Checkin-Login jahier)
(Populate-Ignore ())
(Project-Keywords)
(Files

18 19 20

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

21

22
;; Sources files for luc_exe
23
  (source/luc_exe.mli (lurette/b/31_ima_exe.ml 1.5 644))
24
  (source/luc_exe.ml (lurette/b/32_ima_exe.ml 1.60 644))
25

26 27
  (source/command_line_luc_exe.ml (lurette/b/33_command_li 1.31 644))
  (source/command_line_luc_exe.mli (lurette/b/34_command_li 1.20 644))
28 29

;; Sources files for lurette only
30
  (source/lurette.mli (lurette/11_lurette.ml 1.17 644))
31
  (source/lurette.ml (lurette/12_lurette.ml 1.101 644))
32

33 34
  (source/command_line.ml (lurette/b/20_command_li 1.24 644))
  (source/command_line.mli (lurette/b/21_command_li 1.20 644))
35

36
;; Sources files common to lurette and luc_exe
37
  (source/graph.mli (lurette/13_graph.mli 1.15 644))
38
  (source/graph.ml (lurette/14_graph.ml 1.14 644))
39

40
  (source/lucky.mli (lurette/15_env.mli 1.26 644))
41
  (source/lucky.ml (lurette/16_env.ml 1.48 644))
42

43
  (source/util.ml (lurette/35_util.ml 1.81 644))
44

45
  (source/formula_to_bdd.ml (lurette/g/34_formula_to 1.14 644))
46
  (source/formula_to_bdd.mli (lurette/g/35_formula_to 1.9 644))
47

48 49 50 51
  (source/fair_bddd.ml (lurette/g/38_fair_bddd. 1.12 644))
  (source/fair_bddd.mli (lurette/g/39_fair_bddd. 1.9 644))
  (source/bddd.ml (lurette/g/36_bddd.ml 1.14 644))
  (source/bddd.mli (lurette/g/37_bddd.mli 1.12 644))
52

53
  (source/solver.mli (lurette/38_solver.mli 1.25 644))
54
  (source/solver.ml (lurette/39_solver.ml 1.68 644))
55

56
  (source/polyhedron.ml (lurette/d/25_polyhedron 1.22 644))
57
  (source/polyhedron.mli (lurette/d/26_polyhedron 1.11 644))
58

59
  (source/store.mli (lurette/b/26_rnumsolver 1.27 644))
60
  (source/store.ml (lurette/b/27_rnumsolver 1.47 644))
61

62
  (source/parse_luc.mli (lurette/40_parse_env. 1.28 644))
63
  (source/parse_luc.ml (lurette/41_parse_env. 1.72 644))
64

65
  (source/show_env.mli (lurette/42_show_env.m 1.14 644))
66
  (source/show_env.ml (lurette/43_show_env.m 1.24 644))
67

68 69
  (source/print.mli (lurette/46_print.mli 1.15 644))
  (source/print.ml (lurette/47_print.ml 1.27 644))
70

71
  (source/env_state.mli (lurette/50_env_state. 1.44 644))
72
  (source/env_state.ml (lurette/51_env_state. 1.65 644))
73

74 75
  (source/run_aut.mli (lurette/b/46_automata.m 1.15 644))
  (source/run_aut.ml (lurette/b/47_automata.m 1.33 644))
76

77
  (source/sim2chro.mli (lurette/b/23_sim2chro.m 1.12 644))
78
  (source/sim2chro.ml (lurette/b/24_sim2chro.m 1.29 644))
79

80
  (source/gne.mli (lurette/b/36_gne.mli 1.10 644))
81
  (source/gne.ml (lurette/b/37_gne.ml 1.10 644))
82

83
  (source/lurettetop.ml (lurette/c/1_lurettetop 1.63.2.3 644))
84

85
  (source/draw.mli (lurette/f/1_draw.mli 1.5 644))
86
  (source/draw.ml (lurette/f/2_draw.ml 1.8 644))
87

88
  (source/gen_stubs_poc.ml (lurette/f/3_gen_stubs_ 1.6 644))
89
  (source/gen_stubs_poc.mli (lurette/f/4_gen_stubs_ 1.4 644))
90 91
  (source/gen_stubs_scade.ml (lurette/f/5_gen_stubs_ 1.7 644))
  (source/gen_stubs_scade.mli (lurette/f/6_gen_stubs_ 1.4 644))
92
  (source/gen_stubs.ml (lurette/24_generate_l 1.63 644))
93
  (source/gen_stubs_common.ml (lurette/e/39_gen_stubs_ 1.9 644))
94
  (source/gen_stubs_common.mli (lurette/e/40_gen_stubs_ 1.5 644))
95
  (source/parse_c_scade.ml (lurette/e/41_parse_c_sc 1.10 644))
96
  (source/parse_c_scade.mli (lurette/e/42_parse_c_sc 1.5 644))
97

98 99
  (source/control.mli (lurette/c/3_control.ml 1.4 644))
  (source/control.ml (lurette/c/4_control.ml 1.6 644))
100

101
  (source/constraint.mli (lurette/c/18_constraint 1.11 644))
102
  (source/constraint.ml (lurette/c/19_constraint 1.14 644))
103

104 105
  (source/ne.ml (lurette/c/21_ne.ml 1.16 644))
  (source/ne.mli (lurette/c/22_ne.mli 1.12 644))
106

107 108
  (source/value.ml (lurette/c/23_value.ml 1.10 644))
  (source/value.mli (lurette/c/24_value.mli 1.9 644))
109

110 111
  (source/prevar.ml (lurette/d/18_prevar.ml 1.8 644))
  (source/prevar.mli (lurette/d/19_prevar.mli 1.7 644))
112

113
  (source/parse_poc.ml (lurette/d/15_parse_poc. 1.9 644))
114
  (source/parse_poc.mli (lurette/d/29_parse_poc. 1.5 644))
115
  (source/gen_fake_lutin.ml (lurette/d/16_gen_fake_l 1.9 644))
116

117
  (source/show_luc.ml (lurette/e/25_show_luc.m 1.13 644))
118
  (source/ocaml2c.idl (lurette/e/26_ocaml2c.id 1.3 644))
119
  (source/lurette_exe.c (lurette/e/27_lurette_ex 1.3.1.2 644))
120
  (source/call_lurette_main.c (lurette/e/28_call_luret 1.2 644))
121 122


123 124

;; Make files
125 126
  (utils/lucky.el (lurette/f/7_lucky.el 1.14 644))
  (install/config.guess (lurette/f/25_config.gue 1.1 755))
127
  (install/configure.in (lurette/d/11_configure. 1.28 644))
128
  (OcamlMakefile (lurette/17_OcamlMakef 1.56 644))
129
  (install/Makefile.lurette.in (lurette/b/38_Makefile.l 1.39 644))
130
  (user-rules (lurette/c/14_myrules 1.78 644))
131
  (Makefile (lurette/d/13_Makefile 1.15 644))
132

133 134
  (source/Makefile.lurettetop (lurette/d/14_Makefile.l 1.9 644))
  (source/Makefile.gen_fake_lutin (lurette/d/17_Makefile.g 1.6 644))
135
  (source/Makefile.show_luc (lurette/b/40_Makefile.s 1.20.1.1 644))
136
  (source/Makefile.lucky (lurette/b/41_Makefile.i 1.39.1.4 644))
137 138
  (source/Makefile.gen_stubs (lurette/b/42_Makefile.g 1.15.1.1 644))
  (source/Makefile.lurette_lib (lurette/c/2_Makefile.l 1.37 644))
139
  (source/Makefile (lurette/c/20_Makefile 1.54 644))
140 141 142

;; Documentation
  (doc/Interface_draft (lurette/19_Interface_ 1.1 644))
143 144
  (doc/synthese (lurette/b/2_synthese 1.1 644))
  (doc/automata_format (lurette/b/3_automata_f 1.1 644))
145
  (doc/ocamldoc.sty (lurette/b/12_ocamldoc.s 1.3 644))
146
  (doc/ocamldoc.hva (lurette/b/13_ocamldoc.h 1.1 644))
147 148 149

;; Misc
  (ID_EN_VRAC (lurette/0_ID_EN_VRAC 1.1 644))
150
  (RUN_ME (lurette/f/26_INSTALL 1.5 755))
151
  (TAGS (lurette/21_TAGS 1.6 644))
152
  (TODO (lurette/d/22_TODO 1.62 644))
153

154
  (test/time-rey.exp (lurette/h/13_time-rey.e 1.10 644))
155
  (test/time-rey.res (lurette/h/14_time-rey.r 1.11 644))
156
  (test/time-joly.exp (lurette/b/48_time.exp 1.75 644))
157
  (test/time-joly.res (lurette/b/49_time.res 1.83 644))
158 159
  (test/time-ecrins.res (lurette/d/20_time-ecrin 1.51 644))
  (test/time-ecrins.exp (lurette/d/21_time-ecrin 1.49 644))
160 161
  (test/time-moucherotte.exp (lurette/e/37_time-mouch 1.23 644))
  (test/time-moucherotte.res (lurette/e/38_time-mouch 1.24 644))
162

163

164
;; polka
165 166 167
  (polka/caml/poly.idl (lurette/d/33_poly.idl 1.3 600))
  (polka/caml/matrix.idl (lurette/d/34_matrix.idl 1.4 600))
  (polka/caml/vector.idl (lurette/d/35_vector.idl 1.4 600))
168
  (polka/caml/polka_caml.h (lurette/d/36_polka_caml 1.2 600))
169
  (polka/caml/polka_caml.c (lurette/d/37_polka_caml 1.3 600))
170 171 172 173
  (polka/caml/polka.mli (lurette/d/38_polka.mli 1.2 600))
  (polka/caml/polka.ml (lurette/d/39_polka.ml 1.2 600))
  (polka/caml/polka_parser.mly (lurette/d/40_polka_pars 1.1 600))
  (polka/caml/polka_lexer.mli (lurette/d/41_polka_lexe 1.1 600))
174
  (polka/caml/polka_lexer.mll (lurette/d/42_polka_lexe 1.2.2.1 600))
175 176
  (polka/caml/polkaIO.mli (lurette/d/43_polkaIO.ml 1.1 600))
  (polka/caml/polkaIO.ml (lurette/d/44_polkaIO.ml 1.2 600))
177
  (polka/caml/Makefile (lurette/d/45_Makefile 1.8 644))
178 179 180 181 182 183 184 185 186 187 188 189 190 191
  (polka/C/vector.h (lurette/d/47_vector.h 1.2 600))
  (polka/C/satmat.h (lurette/d/48_satmat.h 1.1 600))
  (polka/C/poly.h (lurette/d/49_poly.h 1.2 600))
  (polka/C/polka.h (lurette/d/50_polka.h 1.2 600))
  (polka/C/matrix.h (lurette/d/51_matrix.h 1.2 600))
  (polka/C/internal.h (lurette/e/0_internal.h 1.2 600))
  (polka/C/cherni.h (lurette/e/1_cherni.h 1.2 600))
  (polka/C/bit.h (lurette/e/2_bit.h 1.2 600))
  (polka/C/vector.c (lurette/e/3_vector.c 1.2 600))
  (polka/C/satmat.c (lurette/e/4_satmat.c 1.1 600))
  (polka/C/poly.c (lurette/e/5_poly.c 1.2 600))
  (polka/C/polka.c (lurette/e/6_polka.c 1.2 600))
  (polka/C/matrix.c (lurette/e/7_matrix.c 1.2 600))
  (polka/C/internal.c (lurette/e/8_internal.c 1.2 600))
192
  (polka/C/cherni.c (lurette/e/9_cherni.c 1.5 600))
193 194 195 196 197
  (polka/C/bit.c (lurette/e/10_bit.c 1.2 600))
  (polka/C/essai.c (lurette/e/11_essai.c 1.1 600))
  (polka/C/pkint.h (lurette/e/12_pkint.h 1.1 600))
  (polka/C/config.h (lurette/e/13_config.h 1.2 600))
  (polka/C/main.tex (lurette/e/14_main.tex 1.1 600))
198
  (polka/C/Makefile (lurette/e/15_Makefile 1.3 600))
199 200
  (polka/documentation/texinfo.tex (lurette/e/16_texinfo.te 1.1 600))
  (polka/documentation/polka.texi (lurette/e/17_polka.texi 1.2 600))
201
  (polka/documentation/Makefile (lurette/e/18_Makefile 1.2 600))
202
  (polka/README (lurette/e/19_README 1.1 600))
203 204
  (polka/Makefile.config (lurette/e/20_Makefile.c 1.10.1.2 644))
  (polka/Makefile (lurette/e/21_Makefile 1.3 600))
205
  (polka/Changes (lurette/e/22_Changes 1.2 600))
206 207


208 209 210
;; Files added by populate at Tue, 26 Aug 2003 15:45:55 +0200,
;; to version 0.143(w), by jahier:

211
  (source/gen_fake_lucky.ml (lurette/g/8_gen_fake_l 1.15 644))
212 213 214 215

;; Files added by populate at Tue, 26 Aug 2003 15:46:03 +0200,
;; to version 0.143(w), by jahier:

216
  (source/Makefile.gen_fake_lucky (lurette/g/9_Makefile.g 1.10 644))
217 218 219 220 221 222

;; Files added by populate at Mon, 08 Sep 2003 15:39:39 +0200,
;; to version 0.143(w), by jahier:

  (test/time-CHAILLOL.exp (lurette/g/10_time-CHAIL 1.1 644))
  (test/time-CHAILLOL.res (lurette/g/11_time-CHAIL 1.1 644))
223 224 225 226

;; Files added by populate at Mon, 08 Sep 2003 17:32:04 +0200,
;; to version 1.1(w), by jahier:

227
  (install/xlurette_sh.in (lurette/g/20_xlurette_s 1.2 644))
228 229
  (install/xlurette.sh.in (lurette/g/21_xlurette.s 1.4 644))
  (install/xlurette.bat.in (lurette/g/22_xlurette.b 1.4 644))
230
  (install/set_env_var.in (lurette/g/23_set_env_va 1.9.2.3 644))
231
  (install/lurettetop_sh.in (lurette/g/24_lurettetop 1.2 644))
232
  (install/lurettetop.sh.in (lurette/g/25_lurettetop 1.5 644))
233
  (install/lurettetop.bat.in (lurette/g/26_lurettetop 1.3.1.1 644))
234
  (install/gen_stubs.sh.in (lurette/g/29_gen_stubs. 1.4 644))
235

236 237


238 239 240 241 242 243 244 245
;; Files added by populate at Wed, 01 Oct 2003 13:55:49 +0200,
;; to version 1.6(w), by jahier:

  (test/test_losange-10d.lus (lurette/g/41_test_losan 1.1 644))

;; Files added by populate at Wed, 01 Oct 2003 13:55:59 +0200,
;; to version 1.6(w), by jahier:

246
  (test/losange-10d.luc (lurette/g/42_losange-10 1.4 644))
247 248 249 250

;; Files added by populate at Fri, 17 Oct 2003 12:22:17 +0200,
;; to version 1.7(w), by jahier:

251
  (source/poly_draw.ml (lurette/g/43_polyDraw.m 1.7 644))
252 253 254 255

;; Files added by populate at Fri, 17 Oct 2003 12:22:20 +0200,
;; to version 1.7(w), by jahier:

256
  (source/poly_draw.mli (lurette/g/44_polyDraw.m 1.5 644))
257 258 259 260 261


;; Files added by populate at Thu, 13 Nov 2003 16:59:39 +0100,
;; to version 1.8(w), by jahier:

262
  (source/lustreExp.ml (lurette/g/45_lustreExp. 1.14.2.2 644))
263 264 265 266

;; Files added by populate at Thu, 13 Nov 2003 16:59:41 +0100,
;; to version 1.8(w), by jahier:

267
  (source/lustreExp.mli (lurette/g/46_lustreExp. 1.13 644))
268 269 270 271

;; Files added by populate at Fri, 14 Nov 2003 14:32:47 +0100,
;; to version 1.8(w), by jahier:

272
  (source/exp.ml (lurette/g/47_exp.ml 1.14 644))
273 274 275 276

;; Files added by populate at Fri, 14 Nov 2003 14:32:49 +0100,
;; to version 1.8(w), by jahier:

277
  (source/exp.mli (lurette/g/48_exp.mli 1.8 644))
278 279 280 281

;; Files added by populate at Fri, 14 Nov 2003 14:32:53 +0100,
;; to version 1.8(w), by jahier:

282
  (source/var.ml (lurette/g/49_var.ml 1.14 644))
283 284 285 286

;; Files added by populate at Fri, 14 Nov 2003 14:32:55 +0100,
;; to version 1.8(w), by jahier:

287
  (source/var.mli (lurette/g/50_var.mli 1.14 644))
288 289 290 291

;; Files added by populate at Wed, 26 Nov 2003 08:47:27 +0100,
;; to version 1.10(w), by jahier:

292
  (source/thickness.ml (lurette/g/51_thickness. 1.5 644))
293

294 295 296
;; Files added by populate at Fri, 09 Jan 2004 09:50:40 +0100,
;; to version 1.18(w), by jahier:

297 298
  (source/type.mli (lurette/h/11_type.mli 1.4 644))
  (source/type.ml (lurette/h/12_type.ml 1.3 644))
299 300 301 302

;; Files added by populate at Wed, 04 Feb 2004 17:09:41 +0100,
;; to version 1.19(w), by jahier:

303
  (examples/xlurette/fault-tolerant-heater/degradable-sensors.luc (lurette/h/15_wearing-se 1.4 644))
304
  (examples/xlurette/fault-tolerant-heater/heater_control_env.luc (lurette/h/16_heater_con 1.4 644))
305
  (examples/xlurette/fault-tolerant-heater/heater_control.lus (lurette/h/17_heater_con 1.4.1.1 644))
306
  (examples/xlurette/fault-tolerant-heater/sensors.luc (lurette/h/18_sensors.lu 1.4 644))
307 308 309 310

;; Files added by populate at Mon, 08 Mar 2004 14:02:46 +0100,
;; to version 1.22(w), by jahier:

311
  (source/parser.mly (lurette/h/19_parser.mly 1.5 644))
312 313 314 315

;; Files added by populate at Mon, 08 Mar 2004 14:03:00 +0100,
;; to version 1.22(w), by jahier:

316
  (source/lexer.mll (lurette/h/20_lexer.mll 1.2 644))
317 318 319 320 321 322 323 324 325 326

;; Files added by populate at Mon, 08 Mar 2004 14:04:19 +0100,
;; to version 1.22(w), by jahier:

  (source/lexeme.mli (lurette/h/21_lexeme.mli 1.1 644))
  (source/lexeme.ml (lurette/h/22_lexeme.ml 1.1 644))

;; Files added by populate at Mon, 08 Mar 2004 14:05:02 +0100,
;; to version 1.22(w), by jahier:

327
  (source/genlex.mli (lurette/h/23_genlex.mli 1.2 644))
328
  (source/genlex.ml (lurette/h/24_genlex.ml 1.1.1.1 644))
329

330 331 332 333

;; Files added by populate at Tue, 16 Mar 2004 15:20:06 +0100,
;; to version 1.26(w), by jahier:

334
  (source/rif.ml (lurette/h/27_rif.ml 1.4 644))
335 336 337 338 339
  (source/rif.mli (lurette/h/28_rif.mli 1.1 644))

;; Files added by populate at Wed, 17 Mar 2004 17:20:32 +0100,
;; to version 1.26(w), by jahier:

340
  (source/sut.ml (lurette/h/29_sut.ml 1.2 644))
341 342 343 344

;; Files added by populate at Wed, 17 Mar 2004 17:20:34 +0100,
;; to version 1.26(w), by jahier:

345
  (source/sut.mli (lurette/h/30_sut.mli 1.3 644))
346 347 348 349

;; Files added by populate at Wed, 17 Mar 2004 17:31:35 +0100,
;; to version 1.26(w), by jahier:

350
  (source/oracle.ml (lurette/h/31_oracle.ml 1.3 644))
351 352 353 354

;; Files added by populate at Wed, 17 Mar 2004 17:31:37 +0100,
;; to version 1.26(w), by jahier:

355 356 357 358 359
  (source/oracle.mli (lurette/h/32_oracle.mli 1.2 644))

;; Files added by populate at Tue, 01 Jun 2004 10:04:18 +0200,
;; to version 1.29(w), by jahier:

360
  (doc/lurette-man/lurette-man.tex (lurette/h/33_lurette-ma 1.4 644))
361 362 363 364

;; Files added by populate at Tue, 01 Jun 2004 10:04:29 +0200,
;; to version 1.29(w), by jahier:

365
  (doc/lucky-man/lucky-man.tex (lurette/h/34_lucky-man. 1.3 644))
366 367 368 369

;; Files added by populate at Wed, 16 Jun 2004 10:21:19 +0200,
;; to version 1.29(w), by jahier:

370
  (source/parse_sildex.mli (lurette/h/35_parse_sild 1.2 644))
371
  (source/parse_sildex.ml (lurette/h/36_parse_sild 1.4 644))
372
  (source/gen_stubs_sildex.mli (lurette/h/37_gen_stubs_ 1.2 644))
373
  (source/gen_stubs_sildex.ml (lurette/h/38_gen_stubs_ 1.5 644))
374 375 376 377 378


;; Files added by populate at Mon, 28 Jun 2004 10:29:06 +0200,
;; to version 1.29(w), by jahier:

379
  (test/time-asti.res (lurette/h/40_time-asti. 1.12 644))
380
  (test/time-asti.exp (lurette/h/41_time-asti. 1.10 644))
381 382 383 384 385


;; Files added by populate at Tue, 20 Jul 2004 15:29:35 +0200,
;; to version 1.32(w), by jahier:

386
  (utils/lucky.vim (lurette/h/44_lucky.vim 1.1 640))
387 388 389 390

;; Files added by populate at Tue, 27 Jul 2004 12:24:20 +0200,
;; to version 1.35(w), by jahier:

391
  (RELEASE-NOTES (lurette/h/45_RELEASE-NO 1.7.1.2 644))
392 393 394 395

;; Files added by populate at Wed, 06 Oct 2004 11:46:42 +0200,
;; to version 1.37(w), by jahier:

396
  (FAQ (lurette/i/15_FAQ 1.2 644))
397 398 399 400 401 402

;; Files added by populate at Fri, 05 Nov 2004 11:28:53 +0100,
;; to version 1.37(w), by jahier:

  (source/sol_nb.mli (lurette/i/16_sol_nb.mli 1.1 644))
  (source/sol_nb.ml (lurette/i/17_sol_nb.ml 1.1 644))
403 404 405 406

;; Files added by populate at Fri, 15 Apr 2005 18:14:04 +0200,
;; to version 1.39(w), by jahier:

407
  (source/gnuplot-socket.ml (lurette/i/18_gnuplot-so 1.3 644))
408 409 410
  (source/Makefile.gnuplot (lurette/i/19_Makefile.g 1.1 644))

  (xlurette/Scade/lucky.ini (lurette/i/20_lucky.ini 1.1 644))
411 412 413 414 415 416 417 418
  (xlurette/Scade/Images/luset.bmp (lurette/i/21_luset.bmp 1.1 666) :no-keywords)
  (xlurette/Scade/Images/lurun.bmp (lurette/i/22_lurun.bmp 1.1 666) :no-keywords)
  (xlurette/Scade/Images/lupref.bmp (lurette/i/23_lupref.bmp 1.1 666) :no-keywords)
  (xlurette/Scade/Images/lugenor.bmp (lurette/i/24_lugenor.bm 1.1 666) :no-keywords)
  (xlurette/Scade/Images/lugenlu.bmp (lurette/i/25_lugenlu.bm 1.1 666) :no-keywords)
  (xlurette/Scade/Images/gnuplot.bmp (lurette/i/26_gnuplot.bm 1.1 666) :no-keywords)
  (xlurette/Scade/Images/aboutlurette.bmp (lurette/i/27_aboutluret 1.1 666) :no-keywords)
  (xlurette/Scade/LuretteGUILauncher.tcl (lurette/i/28_LuretteGUI 1.1.1.1 644))
419 420 421 422

;; Files added by populate at Fri, 27 May 2005 08:59:51 +0200,
;; to version 1.39(w), by jahier:

423
  (source/luc4ocaml.ml (lurette/i/30_lucaml.ml 1.3 644))
424
  (source/luc4ocaml.mli (lurette/i/31_lucaml.mli 1.3 644))
425
  (source/Makefile.gnuplot-socket (lurette/i/32_Makefile.g 1.2 644))
426
  (source/Makefile.gnuplot-rif (lurette/i/33_Makefile.g 1.2 644))
427
  (source/gnuplot-rif.ml (lurette/i/34_gnuplot-ri 1.5 644))
428 429 430 431 432 433

;; Files added by populate at Wed, 20 Jul 2005 13:36:54 +0200,
;; to version 1.39(w), by jahier:

  (source/lutin_caml.mli (lurette/i/35_lutin_caml 1.1 644))

434 435
  (source/luckyDraw.mli (lurette/i/36_luckyDraw. 1.3.1.3 644))
  (source/luckyDraw.ml (lurette/i/37_luckyDraw. 1.3.1.2 644))
436 437
  (source/luc4ocaml_nolbl.mli (lurette/i/38_lucaml_nol 1.2 644))
  (source/luc4ocaml_nolbl.ml (lurette/i/39_lucaml_nol 1.2 644))
438 439 440 441 442 443 444

  (source/socket_server.ml (lurette/i/40_socket_ser 1.1 644))
  (source/socket_pair.ml (lurette/i/41_socket_pai 1.1 644))
  (source/socket_client_serveur.ml (lurette/i/42_socket_cli 1.1 644))
  (source/socket_client.ml (lurette/i/43_socket_cli 1.1 644))
  (source/socket.ml (lurette/i/44_socket.ml 1.1 644))
  (source/sockel.ml (lurette/i/45_sockel.ml 1.1 644))
445 446
  (source/essai-maitre.ml (lurette/i/46_essai-mait 1.2 644))
  (source/essai-esclave.ml (lurette/i/47_essai-escl 1.2 644))
447
  (source/lurette_ocaml.ml (lurette/i/48_lurette_oc 1.1 644))
448
  (source/lucky2lus.ml (lurette/i/49_lucky2lus. 1.2 644))
449 450 451
  (source/gen_lustre_calling_C_code.ml (lurette/i/50_gen_lustre 1.1 644))

  (source/Makefile.oplot (lurette/i/51_Makefile.o 1.1 644))
452
  (source/Makefile.luc4ocaml (lurette/j/0_Makefile.o 1.3.1.3 644))
453
  (source/Makefile.lurette_ocaml_lib (lurette/j/1_Makefile.l 1.2 644))
454 455 456
  (source/Makefile.lurette_debug4 (lurette/j/2_Makefile.l 1.1 644))
  (source/Makefile.lurette_debug3 (lurette/j/3_Makefile.l 1.1 644))
  (source/Makefile.lurette_debug2 (lurette/j/4_Makefile.l 1.1 644))
457
  (source/Makefile.lurette_debug (lurette/j/5_Makefile.l 1.2 644))
458
  (source/Makefile.luckyDraw (lurette/j/6_Makefile.l 1.5 644))
459
  (source/Makefile.lucky2lus (lurette/j/7_Makefile.l 1.3 644))
460 461 462 463 464 465 466 467 468 469 470
  (source/Makefile.gen_lustre (lurette/j/8_Makefile.g 1.1 644))
  (source/Makefile.bug (lurette/j/9_Makefile.b 1.1 644))



;; Files added by populate at Wed, 20 Jul 2005 13:49:02 +0200,
;; to version 1.39(w), by jahier:

  (xlurette/Scade/tcldemo.def (lurette/j/10_tcldemo.de 1.1 644))
  (xlurette/Scade/rif.ini (lurette/j/11_rif.ini 1.1 644))
  (xlurette/Scade/luctcl.tcl (lurette/j/12_luctcl.tcl 1.1 644))
471
  (xlurette/Scade/Makefile (lurette/j/13_Makefile 1.2.1.1 644))
472 473
  (xlurette/Scade/LuretteTcl.def (lurette/j/14_LuretteTcl 1.1 644))
  (xlurette/Scade/LuretteTcl.c (lurette/j/15_LuretteTcl 1.1 644))
474
  (xlurette/Scade/GenMake_l4sim.tcl (lurette/j/16_GenMake_l4 1.2.1.1 644))
475

476 477 478 479 480 481 482
;; Files added by populate at Wed, 31 Aug 2005 17:02:22 +0200,
;; to version 1.40(w), by jahier:

  (source/Ezdl.ml (lurette/j/17_Ezdl.ml 1.1 644))
  (source/Ezdl.mli (lurette/j/18_Ezdl.mli 1.1 644))
  (source/Ezdl_c.c (lurette/j/19_Ezdl_c.c 1.1 644))

483
  (source/liblutin_c.c (lurette/j/20_liblutin_c 1.1.2.1 644))
484 485 486 487 488
  (source/liblutin.idl (lurette/j/21_liblutin.i 1.1 644))

;; Files added by populate at Fri, 16 Sep 2005 14:33:01 +0200,
;; to version 1.40(w), by jahier:

489 490 491
  (examples/lucky/external_code/foo.c (lurette/j/22_foo.c 1.2 644))
  (examples/lucky/external_code/call_external_c_code.luc (lurette/j/23_call_exter 1.4 644))
  (examples/lucky/external_code/Makefile (lurette/j/24_Makefile 1.5 644))
492 493 494 495

;; Files added by populate at Fri, 16 Sep 2005 14:49:05 +0200,
;; to version 1.40(w), by jahier:

496
  (VERSION (lurette/j/25_VERSION 1.2.1.4 644))
497

498

499 500
;; Files added by populate at Fri, 16 Sep 2005 14:50:55 +0200,
;; to version 1.40(w), by jahier:
501

502
  (install/set_env_var.bat.in (lurette/j/29_set_env_va 1.3 644))
503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520
  (install/lurettetop.in (lurette/j/30_lurettetop 1.1 644))

;; Files added by populate at Tue, 04 Oct 2005 10:51:08 +0200,
;; to version 1.41(w), by jahier:

  (source/sorted_list.mli (lurette/j/32_sorted_lis 1.1 644))
  (source/sorted_list.ml (lurette/j/33_sorted_lis 1.1 644))

;; Files added by populate at Thu, 20 Oct 2005 11:20:50 +0200,
;; to version 1.41(w), by jahier:

  (utils/rif.el (lurette/j/34_rif.el 1.1 644))

;; Files added by populate at Tue, 13 Dec 2005 17:37:48 +0100,
;; to version 1.41(w), by jahier:

  (README-lurette (lurette/j/35_README-lur 1.1 644))
  (README-luckyDraw (lurette/j/36_README-luc 1.1 644))
521
  (README-luc4ocaml (lurette/j/37_README-luc 1.2 644))
522 523 524 525 526

;; Files added by populate at Thu, 19 Jan 2006 14:54:59 +0100,
;; to version 1.41(w), by jahier:


527
  (examples/Makefile (lurette/j/38_Makefile 1.7 644))
528
  (examples/lib (../i386-linux-gcc3/lib) :symlink)
529 530 531
  (examples/ocaml/crazy-rabbit/crazy_rabbit-moving_obstacle3.luc (lurette/j/39_crazy_rabb 1.1 644))
  (examples/ocaml/crazy-rabbit/crazy_rabbit-rabbit_dir.luc (lurette/j/40_crazy_rabb 1.1 644))
  (examples/ocaml/crazy-rabbit/crazy_rabbit-rabbit_speed.luc (lurette/j/41_crazy_rabb 1.1 644))
532
  (examples/ocaml/crazy-rabbit/moving-obstacle2.luc (lurette/j/42_moving-obs 1.1 664))
533
  (examples/ocaml/crazy-rabbit/moving-obstacle3.luc (lurette/j/43_moving-obs 1.1 644))
534 535 536
  (examples/ocaml/crazy-rabbit/obstacle.luc (lurette/j/44_obstacle.l 1.1 664))
  (examples/ocaml/crazy-rabbit/moving-obstacle.luc (lurette/j/45_moving-obs 1.1 664))
  (examples/ocaml/crazy-rabbit/rabbit-dir-line.luc (lurette/j/46_rabbit-dir 1.1 664))
537
  (examples/ocaml/crazy-rabbit/synchron2005.pdf (lurette/j/47_synchron20 1.1 644) :no-keywords)
538
  (examples/ocaml/crazy-rabbit/rabbit-dir-obstacle.luc (lurette/j/48_rabbit-dir 1.2 664))
539 540
  (examples/ocaml/crazy-rabbit/rabbit-dir.luc (lurette/j/49_rabbit-dir 1.1 644))
  (examples/ocaml/crazy-rabbit/rabbit.out.exp (lurette/j/50_rabbit.out 1.1 644))
541
  (examples/ocaml/crazy-rabbit/rabbit-obstacle.luc (lurette/j/51_rabbit-obs 1.1 664))
542 543 544
  (examples/ocaml/crazy-rabbit/rabbit.out (lurette/k/0_rabbit.out 1.1 644))
  (examples/ocaml/crazy-rabbit/rabbit-speed.luc (lurette/k/1_rabbit-spe 1.1 644))
  (examples/ocaml/crazy-rabbit/test.res (lurette/k/2_test.res 1.1 644))
545 546
  (examples/ocaml/crazy-rabbit/Makefile (lurette/k/3_Makefile 1.4 644))
  (examples/ocaml/crazy-rabbit/rabbit.ml (lurette/k/4_rabbit.ml 1.3 644))
547
  (examples/ocaml/crazy-rabbit/up_and_down_macro (lurette/k/5_up_and_dow 1.1 644))
548
  (examples/bin (../i386-linux-gcc3/bin) :symlink)
549 550
  (examples/rml/window.out.exp (lurette/k/6_window.out 1.1 644))
  (examples/rml/window.out (lurette/k/7_window.out 1.1 644))
551
  (examples/rml/window.rml (lurette/k/8_window.rml 1.2 644))
552 553
  (examples/rml/test.res (lurette/k/9_test.res 1.1 644))
  (examples/rml/window.luc (lurette/k/10_window.luc 1.1 644))
554 555
  
  
556
  (examples/rml/Makefile (lurette/k/13_Makefile 1.1.1.4 644))
557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582
  (examples/lucky/tut-solution/test.rif.exp (lurette/k/14_test.rif.e 1.1 644))
  (examples/lucky/tut-solution/test.res (lurette/k/15_test.res 1.1 644))
  (examples/lucky/tut-solution/Makefile (lurette/k/17_Makefile 1.1 644))
  (examples/lucky/tut-solution/six_lines.luc (lurette/k/18_six_lines. 1.1 644))
  (examples/lucky/external_code/test.rif.exp (lurette/k/19_test.rif.e 1.1 644))
  (examples/lucky/external_code/test.res (lurette/k/21_test.res 1.1 644))
  (examples/lucky/tut-examples/test.rif.exp (lurette/k/22_test.rif.e 1.1 644))
  (examples/lucky/tut-examples/test.res (lurette/k/23_test.res 1.1 644))
  (examples/lucky/tut-examples/Makefile (lurette/k/25_Makefile 1.1 644))
  (examples/lucky/tut-examples/simpler.luc (lurette/k/26_simpler.lu 1.1 644))
  (examples/lucky/tut-examples/simple.luc (lurette/k/27_simple.luc 1.1 644))
  (examples/lucky/tut-examples/mandatory.luc (lurette/k/28_mandatory. 1.1 644))
  (examples/lucky/tut-examples/lustre_automaton.luc (lurette/k/29_lustre_aut 1.1 644))
  (examples/lucky/tut-examples/fairness.luc (lurette/k/30_fairness.l 1.1 644))
  (examples/lucky/other/time-joly.res (lurette/k/31_time-joly. 1.1 644))
  (examples/lucky/other/bj.luc (lurette/k/32_bj.luc 1.1 644))
  (examples/lucky/other/test4.rif.exp (lurette/k/33_test4.rif. 1.1 644))
  (examples/lucky/other/test3.rif.exp (lurette/k/35_test3.rif. 1.1 644))
  (examples/lucky/other/test4.res (lurette/k/36_test4.res 1.1 644))
  (examples/lucky/other/test2.rif.exp (lurette/k/38_test2.rif. 1.1 644))
  (examples/lucky/other/test3.res (lurette/k/39_test3.res 1.1 644))
  (examples/lucky/other/test1.rif.exp (lurette/k/41_test1.rif. 1.1 644))
  (examples/lucky/other/test2.res (lurette/k/42_test2.res 1.1 644))
  (examples/lucky/other/test1.res (lurette/k/43_test1.res 1.1 644))
  (examples/lucky/other/losange-3d2.luc (lurette/k/44_losange-3d 1.1 644))
  (examples/lucky/other/losange-3d.luc (lurette/k/46_losange-3d 1.1 644))
583
  (examples/lucky/other/Makefile (lurette/k/47_Makefile 1.2 644))
584 585 586
  (examples/lucky/other/dynamic_weight.luc (lurette/k/48_dynamic_we 1.1 644))
  (examples/lucky/other/infinite_weight.luc (lurette/k/49_infinite_w 1.1 644))
  (examples/lucky/other/structured_type.luc (lurette/k/50_structured 1.1 644))
587 588
  (examples/luckyDraw/c/luckyDrawC_stubs.h (lurette/k/51_luckyDrawC 1.2 640))
  (examples/luckyDraw/c/luckyDrawC_stubs.c.m4 (lurette/l/0_luckyDrawC 1.2 640))
589
  (examples/luckyDraw/c/luckyDrawC_caml.ml (lurette/l/1_luckyDrawC 1.1 640))
590
  (examples/luckyDraw/c/essai.c (lurette/l/2_essai.c 1.2 640))
591
  
592
  (examples/luckyDraw/c/Makefile (lurette/l/4_Makefile 1.7 640))
593
  (examples/luckyDraw/ocaml/draw-ex.out.exp (lurette/l/5_draw-ex.ou 1.2 644))
594
  (examples/luckyDraw/ocaml/draw-ex.out (lurette/l/6_draw-ex.ou 1.4 644))
595
  (examples/luckyDraw/ocaml/test.res (lurette/l/7_test.res 1.1 644))
596
  (examples/luckyDraw/ocaml/draw-ex.ml (lurette/l/8_draw-ex.ml 1.2 644))
597
  (examples/luckyDraw/ocaml/Makefile (lurette/l/9_Makefile 1.4 644))
598 599 600 601 602 603 604 605 606 607 608 609 610 611 612 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627 628 629 630 631 632 633 634 635 636 637 638 639 640 641 642 643 644
  (examples/xlurette/Scade-sparc/Makefile (lurette/l/10_Makefile 1.1 644))
  (examples/xlurette/Scade-sparc/config_types.h (lurette/l/11_config_typ 1.1 644))
  (examples/xlurette/Scade-sparc/libpwlinear.saofdm (lurette/l/12_libpwlinea 1.1 644))
  (examples/xlurette/Scade-sparc/libmathadvanced.saofdm (lurette/l/13_libmathadv 1.1 644))
  (examples/xlurette/Scade-sparc/libmath.saofdm (lurette/l/14_libmath.sa 1.1 644))
  (examples/xlurette/Scade-sparc/liblinear.saofdm (lurette/l/15_liblinear. 1.1 644))
  (examples/xlurette/Scade-sparc/exo1.vsw (lurette/l/16_exo1.vsw 1.1 644))
  (examples/xlurette/Scade-sparc/exo1.vsp (lurette/l/17_exo1.vsp 1.1 644))
  (examples/xlurette/Scade-sparc/exo1.saofdm (lurette/l/18_exo1.saofd 1.1 644))
  (examples/xlurette/Scade-sparc/Direction_D1_env.luc (lurette/l/19_Direction_ 1.1 644))
  (examples/xlurette/Scade-sparc/libdigital.saofdm (lurette/l/20_libdigital 1.1 644))
  (examples/xlurette/Scade-sparc/Direction_D1.saofd (lurette/l/21_Direction_ 1.1 644))
  (examples/xlurette/Scade-sparc/RisingHysteresis () :directory)
  (examples/xlurette/Scade-sparc/Direction_D1/Direction_D1_var.corresp (lurette/l/22_Direction_ 1.1 644))
  (examples/xlurette/Scade-sparc/Direction_D1/definitions.h (lurette/l/23_definition 1.1 644))
  (examples/xlurette/Scade-sparc/Direction_D1/Direction_D1.h (lurette/l/24_Direction_ 1.1 644))
  (examples/xlurette/Scade-sparc/Direction_D1/Direction_D1.c (lurette/l/25_Direction_ 1.1 644))
  (examples/xlurette/Scade-sparc/Direction_D1/Direction_D1.files (lurette/l/26_Direction_ 1.1 644))
  (examples/xlurette/Scade-win32/Makefile (lurette/l/27_Makefile 1.1 644))
  (examples/xlurette/Scade-win32/Pilot.ewo (lurette/l/28_Pilot.ewo 1.1 644))
  (examples/xlurette/Scade-win32/regulation.saofd (lurette/l/29_regulation 1.1 644))
  (examples/xlurette/Scade-win32/telemetry_validation.saofd (lurette/l/30_telemetry_ 1.1 644))
  (examples/xlurette/Scade-win32/pilot.saofdm (lurette/l/31_pilot.saof 1.1 644))
  (examples/xlurette/Scade-win32/lib_pilot.vsw (lurette/l/32_lib_pilot. 1.1 644))
  (examples/xlurette/Scade-win32/lib_pilot.vsp (lurette/l/33_lib_pilot. 1.1 644))
  (examples/xlurette/Scade-win32/lib_pilot.etp (lurette/l/34_lib_pilot. 1.1 644))
  (examples/xlurette/Scade-win32/lib_pilot.err (lurette/l/35_lib_pilot. 1.1 644))
  (examples/xlurette/Scade-win32/det_mvt_mode_env.luc (lurette/l/36_det_mvt_mo 1.1 644))
  (examples/xlurette/Scade-win32/position_validation.saofd (lurette/l/37_position_v 1.1 644))
  (examples/xlurette/Scade-win32/det_mvt_mode.saofd (lurette/l/38_det_mvt_mo 1.1 644))
  (examples/xlurette/Scade-win32/det_center.saofd (lurette/l/39_det_center 1.1 644))
  (examples/xlurette/Scade-win32/counter.saofd (lurette/l/40_counter.sa 1.1 644))
  (examples/xlurette/Scade-win32/compute_path.saofd (lurette/l/41_compute_pa 1.1 644))
  (examples/xlurette/Scade-win32/det_mvt_mode_cstext.c (lurette/l/42_det_mvt_mo 1.1 644))
  (examples/xlurette/Scade-win32/Pilot_cst.saofd (lurette/l/43_Pilot_cst. 1.1 644))
  (examples/xlurette/Scade-win32/Pilot.vsw (lurette/l/44_Pilot.vsw 1.1 644))
  (examples/xlurette/Scade-win32/Pilot.vsp (lurette/l/45_Pilot.vsp 1.1 644))
  (examples/xlurette/Scade-win32/Pilot.saofd (lurette/l/46_Pilot.saof 1.1 644))
  (examples/xlurette/Scade-win32/Pilot.etp (lurette/l/47_Pilot.etp 1.1 644))
  (examples/xlurette/Scade-win32/MyConsts.saofd (lurette/l/48_MyConsts.s 1.1 644))
  (examples/xlurette/Scade-win32/MODULE.saofd (lurette/l/49_MODULE.sao 1.1 644))
  (examples/xlurette/Scade-win32/Pilot_type.saofd (lurette/l/50_Pilot_type 1.1 644))
  (examples/xlurette/Scade-win32/Control.saofd (lurette/l/51_Control.sa 1.1 644))
  (examples/xlurette/Scade-win32/ConfAnnot.aty (lurette/m/0_ConfAnnot. 1.1 644))
  (examples/xlurette/Scade-win32/Command.saofd (lurette/m/1_Command.sa 1.1 644))
  (examples/xlurette/Scade-win32/C_SQRT.saofd (lurette/m/2_C_SQRT.sao 1.1 644))
  (examples/xlurette/Scade-win32/Direction_D1.saofd (lurette/m/3_Direction_ 1.1 644))
645
  
646 647 648 649 650 651 652 653 654 655 656
  (examples/xlurette/heater/up_and_down_macro (lurette/m/5_up_and_dow 1.1 644))
  (examples/xlurette/heater/heater_ctrl.lus (lurette/m/6_heater_ctr 1.1 644))
  (examples/xlurette/heater/temp_int.luc (lurette/m/7_temp_int.l 1.1 644))
  (examples/xlurette/heater/heater_ctrl_int.lus (lurette/m/8_heater_ctr 1.1 644))
  (examples/xlurette/heater/temp_float.luc (lurette/m/9_temp_float 1.1 644))
  (examples/xlurette/heater/buggy_heater_ctrl.lus (lurette/m/10_buggy_heat 1.1 644))
  (examples/xlurette/heater/test2.rif.exp (lurette/m/11_test2.rif. 1.1 644))
  (examples/xlurette/heater/heater_oracle.lus (lurette/m/13_heater_ora 1.1 644))
  (examples/xlurette/heater/test1.rif.exp (lurette/m/14_test1.rif. 1.1 644))
  (examples/xlurette/heater/test3.rif.exp (lurette/m/15_test3.rif. 1.1 644))
  (examples/xlurette/heater/time-joly.res (lurette/m/17_time-joly. 1.1 644))
657
  (examples/xlurette/heater/Makefile (lurette/m/18_Makefile 1.2 644))
658 659
  (examples/xlurette/heater/heater_ctrl2.lus (lurette/m/21_heater_ctr 1.1 644))
  (examples/xlurette/heater/test1.res (lurette/m/22_test1.res 1.1 644))
660
  
661
  (examples/xlurette/heater/test3.res (lurette/m/24_test3.res 1.1 644))
662
  
663
  (examples/xlurette/heater/test2.res (lurette/m/26_test2.res 1.1 644))
664
  
665 666 667
  (examples/xlurette/heater/window.luc (lurette/m/28_window.luc 1.1 644))

  (examples/xlurette/Gyro/onlyroll2.lus (lurette/m/30_onlyroll2. 1.1 644))
668
  (examples/xlurette/Gyro/onlyroll.lus (lurette/m/31_onlyroll.l 1.2 644))
669 670
  (examples/xlurette/Gyro/onlyroll.batch (lurette/m/32_onlyroll.b 1.1 644))
  (examples/xlurette/Gyro/giro.luc (lurette/m/33_giro.luc 1.1 644))
671 672
  (examples/xlurette/Gyro/test.rif.exp (lurette/m/34_test.rif.e 1.1.2.1 644))
  
673
  (examples/xlurette/Gyro/test.res (lurette/m/37_test.res 1.1 644))
674
  (examples/xlurette/Gyro/Makefile (lurette/m/38_Makefile 1.1.2.3 644))
675 676 677 678 679 680 681 682 683 684 685 686 687 688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 723 724
  (examples/xlurette/Gyro/env_onlyroll.luc (lurette/m/39_env_onlyro 1.1 644))
  (examples/xlurette/Gyro/allocator.lus (lurette/m/40_allocator. 1.1 644))
  (examples/xlurette/Gyro/giro2.luc (lurette/m/41_giro2.luc 1.1 644))

  (install/pixmaps/stop.bmp (lurette/m/42_stop.bmp 1.1 644) :no-keywords)
  (install/pixmaps/run.bmp (lurette/m/43_run.bmp 1.1 644) :no-keywords)
  (install/pixmaps/myrun.bmp (lurette/m/44_myrun.bmp 1.1 644) :no-keywords)
  (install/pixmaps/env.bmp (lurette/m/45_env.bmp 1.1 644) :no-keywords)
  (install/pixmaps/config-params2.bmp (lurette/m/46_config-par 1.1 644) :no-keywords)
  (install/pixmaps/config-params.bmp (lurette/m/47_config-par 1.1 644) :no-keywords)
  (install/pixmaps/gnuplot-rif.bmp (lurette/m/48_gnuplot-ri 1.1 644) :no-keywords)
  (install/pixmaps/luset.bmp (lurette/m/49_luset.bmp 1.1 644) :no-keywords)
  (install/pixmaps/lurun.bmp (lurette/m/50_lurun.bmp 1.1 644) :no-keywords)
  (install/pixmaps/lupref.bmp (lurette/m/51_lupref.bmp 1.1 644) :no-keywords)
  (install/pixmaps/lugenor.bmp (lurette/n/0_lugenor.bm 1.1 644) :no-keywords)
  (install/pixmaps/lugenlu.bmp (lurette/n/1_lugenlu.bm 1.1 644) :no-keywords)
  (install/pixmaps/gnuplot.bmp (lurette/n/2_gnuplot.bm 1.1 644) :no-keywords)
  (install/pixmaps/linegraph.xpm (lurette/n/3_linegraph. 1.1 644))
  (install/pixmaps/gnome-run.png (lurette/n/4_gnome-run. 1.1 644) :no-keywords)
  (install/pixmaps/build.xpm (lurette/n/5_build.xpm 1.1 644))
  (install/pixmaps/open.ppm (lurette/n/6_open.ppm 1.1 644) :no-keywords)
  (install/pixmaps/lurette.xpm (lurette/n/7_lurette.xp 1.1 644))
  (install/pixmaps/lurette.jpg (lurette/n/8_lurette.jp 1.1 644) :no-keywords)
  (install/pixmaps/help.xpm (lurette/n/9_help.xpm 1.1 644))
  (install/pixmaps/config-params2.xpm (lurette/n/10_config-par 1.1 644))
  (install/pixmaps/aboutlurette.bmp (lurette/n/11_aboutluret 1.1 644) :no-keywords)
  (install/pixmaps/config-params.xpm (lurette/n/12_config-par 1.1 644) :no-keywords)
  (install/pixmaps/batch.xpm (lurette/n/13_batch.xpm 1.1 644))


  (install/pixmaps/stock_save.xpm (lurette/n/14_stock_save 1.1 644))
  (install/pixmaps/step.xpm (lurette/n/15_step.xpm 1.1 644))
  (install/pixmaps/save.xpm (lurette/n/16_save.xpm 1.1 644))
  (install/pixmaps/run.xpm (lurette/n/17_run.xpm 1.1 644))
  (install/pixmaps/quit.xpm (lurette/n/18_quit.xpm 1.1 644))
  (install/pixmaps/open_plus.xpm (lurette/n/19_open_plus. 1.1 644))
  (install/pixmaps/open.xpm (lurette/n/20_open.xpm 1.1 644))
  (install/pixmaps/halt.xpm (lurette/n/21_halt.xpm 1.1 644))
  (install/pixmaps/gnuplot-rif.xpm (lurette/n/22_gnuplot-ri 1.1 644))
  (install/pixmaps/ediff-quit.xpm (lurette/n/23_ediff-quit 1.1 644))
  (install/pixmaps/close.xpm (lurette/n/24_close.xpm 1.1 644))
  (install/pixmaps/chrono.xpm (lurette/n/25_chrono.xpm 1.1 644))
  (install/pixmaps/clean-up.xpm (lurette/n/26_clean-up.x 1.1 644))
  (install/pixmaps/button-close.xpm (lurette/n/27_button-clo 1.1 644))


;; Files added by populate at Thu, 19 Jan 2006 15:11:48 +0100,
;; to version 1.41(w), by jahier:

  (utils/getsaonodes (lurette/n/28_getsaonode 1.1 755))
725
  (utils/lucky_cpp (lurette/n/29_lucky_cpp 1.2 755))
726
  (utils/luckytolatex (lurette/n/30_luckytolat 1.2 755))
727 728 729 730 731 732 733

;; Files added by populate at Thu, 19 Jan 2006 15:20:56 +0100,
;; to version 1.41(w), by jahier:

  (source/Makefile.luckydraw.src (lurette/n/31_Makefile.l 1.1 644))
  (source/Makefile. (lurette/n/32_Makefile. 1.1 644))
  (source/error.ml (lurette/n/33_error.ml 1.1 644))
734
  (source/graphUtil.ml (lurette/n/34_graphUtil. 1.2 644))
735 736 737 738 739 740
  (source/util2.ml (lurette/n/35_util2.ml 1.1 644))
  (source/lurette_debug.ml (lurette/n/36_lurette_de 1.1 644))
  (source/lurette.plot (lurette/n/37_lurette.pl 1.1 644))
  (source/luckyCapi_stubs.c (lurette/n/38_luckyCapi_ 1.1 644))
  (source/luckyCapi.idl (lurette/n/39_luckyCapi. 1.1 644))
  (source/luckyCapi.ml (lurette/n/40_luckyCapi. 1.1 644))
741
  (source/Makefile.release (lurette/n/41_Makefile.r 1.12 644))
742

743 744


745
  (source/version.ml (lurette/n/43_version.ml 1.12 644))
746
  (source/Makefile.lutinlib (lurette/n/44_Makefile.l 1.1 644))
747
  (source/Makefile.luc2c (lurette/n/45_Makefile.l 1.3 644))
748 749
  (source/luc2c.ml (lurette/n/46_luc2c.ml 1.7 644))
  (examples/xlurette/fault-tolerant-heater/Makefile (lurette/n/47_Makefile 1.1.1.3 644))
750 751 752
  (examples/xlurette/fault-tolerant-heater/test.rif.exp (lurette/n/48_test.rif.e 1.1 644))
  (examples/xlurette/tram/test2.rif.exp (lurette/n/51_test2.rif. 1.1 644))
  (examples/xlurette/tram/test1.rif.exp (lurette/o/0_test1.rif. 1.1 644))
753
  
754
  (examples/xlurette/tram/test2.res (lurette/o/7_test2.res 1.1 644))
755
  
756 757 758 759 760 761 762 763 764
  (examples/xlurette/tram/test11.res (lurette/o/9_test11.res 1.1 644))
  (examples/xlurette/tram/test1.res (lurette/o/11_test1.res 1.1 644))
  (examples/xlurette/tram/time-joly.res (lurette/o/12_time-joly. 1.1 644))
  (examples/xlurette/tram/utiles.lus (lurette/o/13_utiles.lus 1.1 644))
  (examples/xlurette/tram/tramway.lus (lurette/o/14_tramway.lu 1.1 644))
  (examples/xlurette/tram/tramway.luc (lurette/o/15_tramway.lu 1.1 644))
  (examples/xlurette/tram/porte.luc (lurette/o/16_porte.luc 1.1 644))
  (examples/xlurette/tram/passerelle.luc (lurette/o/17_passerelle 1.1 644))
  (examples/xlurette/tram/passager.luc (lurette/o/18_passager.l 1.1 644))
765
  (examples/xlurette/tram/Makefile (lurette/o/19_Makefile 1.1.1.4 644))
766 767 768 769 770 771 772 773 774
  (examples/xlurette/tram/controleur_env.luc (lurette/o/20_controleur 1.1 644))
  (examples/xlurette/Sildex/sut_sildex_io.c (lurette/o/21_sut_sildex 1.1 644))
  (examples/xlurette/Sildex/sut_sildex.h (lurette/o/22_sut_sildex 1.1 644))
  (examples/xlurette/Sildex/sut_sildex.c (lurette/o/23_sut_sildex 1.1 644))
  (examples/xlurette/Sildex/sut_sildex.batch (lurette/o/24_sut_sildex 1.1 644))
  (examples/xlurette/Sildex/test.rif.exp (lurette/o/25_test.rif.e 1.1 644))
  (examples/xlurette/Sildex/oracle_sildex.h (lurette/o/26_oracle_sil 1.1 644))
  (examples/xlurette/Sildex/oracle_sildex_io.c (lurette/o/27_oracle_sil 1.1 644))
  (examples/xlurette/Sildex/oracle_sildex.c (lurette/o/28_oracle_sil 1.1 644))
775
  (examples/xlurette/Sildex/Makefile (lurette/o/29_Makefile 1.2 644))
776 777
  (examples/xlurette/Sildex/env.luc (lurette/o/30_env.luc 1.1 644))
  (i386-linux-gcc3/include/ocaml2c.h (lurette/o/33_ocaml2c.h 1.1 644))
778 779 780 781 782 783 784 785 786 787 788 789
  (doc/lurette-man/browse-button.jpg (lurette/q/2_browse-but 1.1 644) :no-keywords)
  (doc/lurette-man/batch.jpg (lurette/q/3_batch.jpg 1.1 644) :no-keywords)
  (doc/lurette-man/wearing_sensors.tex (lurette/q/4_wearing_se 1.1 644))
  (doc/lurette-man/sensors.tex (lurette/q/5_sensors.te 1.1 644))
  (doc/lurette-man/macros2.tex (lurette/q/6_macros2.te 1.1 644))
  (doc/lurette-man/macros.tex (lurette/q/7_macros.tex 1.1 644))
  (doc/lurette-man/lurette-start.tex (lurette/q/8_lurette-st 1.1 644))
  (doc/lurette-man/heater_control_env.tex (lurette/q/9_heater_con 1.1 644))
  (doc/lurette-man/heater_control.tex (lurette/q/10_heater_con 1.1 644))
  (doc/lurette-man/fault-tolerant-tut.tex (lurette/q/11_fault-tole 1.1 644))
  (doc/lurette-man/examplereport.tex (lurette/q/12_examplerep 1.1 644))
  (doc/lurette-man/desante.tex (lurette/q/13_desante.te 1.1 644))
790
  (doc/lurette-man/Makefile (lurette/q/14_Makefile 1.2 644))
791
  (i386-linux-gcc3/bin/getsaonodes (lurette/q/20_getsaonode 1.1 755))
792
  (xlurette/makefile (lurette/q/21_makefile 1.2 644))
793
  (xlurette/xlurette.glade (lurette/q/22_xlurette.g 1.1 644))
794
  (xlurette/xlurette_glade_main.ml (lurette/q/23_xlurette_g 1.2 644))
795 796 797 798 799 800 801 802 803 804 805
  (doc/tutorial/wearing_sensors.tex (lurette/q/24_wearing_se 1.1 644))
  (doc/tutorial/tutorial.tex (lurette/q/25_tutorial.t 1.1 644))
  (doc/tutorial/simple.tex (lurette/q/26_simple.tex 1.1 644))
  (doc/tutorial/sensors.tex (lurette/q/27_sensors.te 1.1 644))
  (doc/tutorial/macros.tex (lurette/q/28_macros.tex 1.1 644))
  (doc/tutorial/intro-lucky.tex (lurette/q/29_intro-luck 1.1 644))
  (doc/tutorial/heater_control_env.tex (lurette/q/30_heater_con 1.1 644))
  (doc/tutorial/heater_control.tex (lurette/q/31_heater_con 1.1 644))
  (doc/tutorial/fault-tolerant-tut.tex (lurette/q/32_fault-tole 1.1 644))
  (doc/tutorial/Makefile (lurette/q/33_Makefile 1.1 644))
  (doc/tutorial/figs/lucky-ex.fig (lurette/q/34_lucky-ex.f 1.1 644))
806
  (lnsw (lurette/q/35_lnsw 1.3 744))
807 808 809 810 811 812 813 814 815 816 817 818 819 820 821 822 823 824 825 826 827 828 829 830 831 832
  (doc/figs/windows.fig (lurette/q/36_windows.fi 1.1 644))
  (doc/figs/thick.fig (lurette/q/37_thick.fig 1.1 644))
  (doc/figs/para.fig (lurette/q/38_para.fig 1.1 644))
  (doc/figs/obj-code-gen.fig.bak (lurette/q/39_obj-code-g 1.1 644))
  (doc/figs/obj-code-gen.fig (lurette/q/40_obj-code-g 1.1 644))
  (doc/figs/nh-lurette-try.fig (lurette/q/41_nh-lurette 1.1 644))
  (doc/figs/nh-lurette-start-fin.fig (lurette/q/42_nh-lurette 1.1 644))
  (doc/figs/nh-gen-pict.fig (lurette/q/43_nh-gen-pic 1.1 644))
  (doc/figs/lurette.fig (lurette/q/44_lurette.fi 1.1 644))
  (doc/figs/lurette-try.fig (lurette/q/45_lurette-tr 1.1 644))
  (doc/figs/lurette-step.fig (lurette/q/46_lurette-st 1.1 644))
  (doc/figs/lurette-start.fig (lurette/q/47_lurette-st 1.1 644))
  (doc/figs/lurette.fig.bak (lurette/q/48_lurette.fi 1.1 644))
  (doc/figs/nh-lurette-start.fig (lurette/q/49_nh-lurette 1.1 644))
  (doc/figs/lucky-ex.fig (lurette/q/50_lucky-ex.f 1.1 644))
  (doc/figs/logo-ist.pdf (lurette/q/51_logo-ist.p 1.1 644) :no-keywords)
  (doc/figs/logo-ist.gif (lurette/r/0_logo-ist.g 1.1 644) :no-keywords)
  (doc/figs/lucky-ex.fig.bak (lurette/r/1_lucky-ex.f 1.1 644))
  (doc/figs/logo-ist.df (lurette/r/2_logo-ist.d 1.1 644) :no-keywords)
  (doc/figs/logo-ist.eps (lurette/r/3_logo-ist.e 1.1 644))
  (doc/figs/heater_sensors.fig (lurette/r/4_heater_sen 1.1 644))
  (doc/figs/heater_sensors.fig.bak (lurette/r/5_heater_sen 1.1 644))
  (doc/figs/components-diagram.fig (lurette/r/6_components 1.1 644))
  (doc/figs/components-diagram.fig.bak (lurette/r/7_components 1.1 644))
  (doc/figs/archi.fig (lurette/r/8_archi.fig 1.1 644))
  (doc/figs/gen-pict.fig (lurette/r/9_gen-pict.f 1.1 644))
833 834
;; Files added by populate at Tue, 06 Jun 2006 09:31:51 +0200,
;; to version 1.42(w), by jahier:
835

836
  (test/test_losange.lus (lurette/r/29_test_losan 1.1 644))
837

838 839
;; Files added by populate at Tue, 06 Jun 2006 09:37:33 +0200,
;; to version 1.42(w), by jahier:
840

841
  (test/losange-3d.luc (../examples/lucky/other/losange-3d.luc) :symlink)
842 843


844 845 846
  (source/graphUtil.mli (lurette/n/42_graphUtil. 1.2 644))
  (LIMITATIONS (lurette/r/10_LIMITATION 1.1 644))
  (TODO.SCADEGUI (lurette/r/11_TODO.SCADE 1.1 644))
847 848
  (source/luc4c_stubs.h (lurette/r/12_luc4c_stub 1.2 644))
  (source/luc4c_stubs.c (lurette/r/13_luc4c_stub 1.4 644))
849 850
  (source/luc4c_caml.ml (lurette/r/14_luc4c_caml 1.1 644))
  (source/luc4c.mli (lurette/r/15_luc4c.mli 1.1 644))
851
  (source/luc4c.ml (lurette/r/16_luc4c.ml 1.3 644))
852 853 854 855
  (examples/lucky/C/test.rif.exp (lurette/r/17_test.rif.e 1.1 644))
  (examples/lucky/C/test.res (lurette/r/18_test.res 1.1 644))
  (examples/lucky/C/foo.luc (lurette/r/19_foo.luc 1.1 644))
  (examples/lucky/C/call_foo.c (lurette/r/20_call_foo.c 1.1 644))
856
  (examples/lucky/C/Makefile (lurette/r/21_Makefile 1.4 644))
857
  (source/Makefile.luc4c (lurette/r/23_Makefile.l 1.2 644))
858 859

  (examples/lucky/lustre/call_foo.lus (lurette/r/24_call_foo.l 1.1 644))
860
  (examples/lucky/lustre/Makefile (lurette/r/25_Makefile 1.5 644))
861 862
  (examples/lucky/lustre/test.rif.exp (lurette/r/26_test.rif.e 1.1 644))
  (examples/lucky/lustre/test.res (lurette/r/27_test.res 1.1 644))
863 864 865 866
  (examples/lucky/lustre/foo.luc (lurette/r/28_foo.luc 1.1 644))
;; Files added by populate at Thu, 01 Feb 2007 10:31:55 +0100,
;; to version unstable.2(w), by jahier:

867
  (GBDDML/Makefile (lurette/r/30_Makefile 1.2 644))
868 869
  (GBDDML/test.ml (lurette/r/31_test.ml 1.1 644))
  (GBDDML/gbdd_cml.cc (lurette/r/32_gbdd_cml.c 1.1 644))
870 871
  (GBDDML/gbdd.h (lurette/r/33_gbdd.h 1.2 644))
  (GBDDML/gbdd.cc (lurette/r/34_gbdd.cc 1.2 644))
872 873 874 875 876 877 878
  (GBDDML/bdd.mli.hide (lurette/r/35_bdd.mli.hi 1.1 644))
  (GBDDML/bdd.ml (lurette/r/36_bdd.ml 1.1 644))
  (GBDDML/OCamlMakefile (lurette/r/37_OCamlMakef 1.1 644))
  (GBDDML/Makefile.pascal2 (lurette/r/38_Makefile.p 1.1 644))
  (GBDDML/Makefile.R1 (lurette/r/39_Makefile.R 1.1 644))
  (GBDDML/.test.ml.swp (lurette/r/40_.test.ml.s 1.1 600) :no-keywords)
  (GBDDML/._d/bdd.d (lurette/r/41_bdd.d 1.1 644))
879 880 881 882 883

;; Files added by populate at Tue, 06 Feb 2007 14:19:11 +0100,
;; to version unstable.3(w), by jahier:

  (source/luciole.ml (lurette/r/42_luciole.ml 1.1 644))
884
)
885

886
(Merge-Parents)
887
(New-Merge-Parents)