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.03 KB
Newer Older
1
2
;; -*- Prcs -*-
(Created-By-Prcs-Version 1 3 3)
3
(Project-Description "Lurette")
4
5
(Project-Version lurette 0 112)
(Parent-Version lurette 0 111)
6
(Version-Log "
7
source/parse_poc.ml: (new file)
8
source/gen_stubs.ml:
9
10
11
12
13
14
15
   put everything that is related to poc parsing into
   parse_poc.ml.

source/gen_fake_lutin.ml: (new file)
source/parse_poc.ml: (new file)
source/Makefile.gen_fake_lutin: (new file)
   When no .lut is provided, we generate a fake one.   
16

17
18
19
")
(New-Version-Log ""
)
20
(Checkin-Time "Thu, 31 Oct 2002 08:21:03 +0100")
21
22
23
24
25
(Checkin-Login jahier)
(Populate-Ignore ())
(Project-Keywords)
(Files

26
27
28

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

29

30
31
;; Sources files for luc_exe
  (source/luc_exe.mli (lurette/b/31_ima_exe.ml 1.2 644))
32
  (source/luc_exe.ml (lurette/b/32_ima_exe.ml 1.21 644))
33

34
35
  (source/command_line_luc_exe.ml (lurette/b/33_command_li 1.7 644))
  (source/command_line_luc_exe.mli (lurette/b/34_command_li 1.5 644))
36
37

;; Sources files for lurette only
38
  (source/lurette.mli (lurette/11_lurette.ml 1.12 644))
39
  (source/lurette.ml (lurette/12_lurette.ml 1.59 644))
40

41
42
  (source/command_line.ml (lurette/b/20_command_li 1.10 644))
  (source/command_line.mli (lurette/b/21_command_li 1.9 644))
43

44
;; Sources files common to lurette and luc_exe
45
46
  (source/graph.mli (lurette/13_graph.mli 1.9 644))
  (source/graph.ml (lurette/14_graph.ml 1.7 644))
47

48
  (source/env.mli (lurette/15_env.mli 1.16 644))
49
  (source/env.ml (lurette/16_env.ml 1.29 644))
50

51
  (source/util.ml (lurette/35_util.ml 1.34 444))
52

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

56
  (source/rnumsolver.mli (lurette/b/26_rnumsolver 1.9 644))
57
  (source/rnumsolver.ml (lurette/b/27_rnumsolver 1.14 644))
58

59
  (source/parse_env.mli (lurette/40_parse_env. 1.10 644))
60
  (source/parse_env.ml (lurette/41_parse_env. 1.29 644))
61

62
  (source/show_env.mli (lurette/42_show_env.m 1.8 644))
63
  (source/show_env.ml (lurette/43_show_env.m 1.14 644))
64

65
  (source/formula.mli (lurette/44_formula.ml 1.18 644))
66
  (source/formula.ml (lurette/45_formula.ml 1.22 644))
67

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

71
72
  (source/eval.mli (lurette/48_eval.mli 1.10 644))
  (source/eval.ml (lurette/49_eval.ml 1.13 644))
73

74
  (source/env_state.mli (lurette/50_env_state. 1.24 644))
75
  (source/env_state.ml (lurette/51_env_state. 1.30 644))
76

77
  (source/automata.mli (lurette/b/46_automata.m 1.3 644))
78
  (source/automata.ml (lurette/b/47_automata.m 1.5 644))
79

80
  (source/sim2chro.mli (lurette/b/23_sim2chro.m 1.5 644))
81
  (source/sim2chro.ml (lurette/b/24_sim2chro.m 1.14 644))
82

83
84
  (source/gne.mli (lurette/b/36_gne.mli 1.4 644))
  (source/gne.ml (lurette/b/37_gne.ml 1.4 644))
85

86
87
  (source/lurettetop.ml (lurette/c/1_lurettetop 1.22 644))
  (source/gen_stubs.ml (lurette/24_generate_l 1.41 644))
88

89
  (source/control.mli (lurette/c/3_control.ml 1.2 644))
90
  (source/control.ml (lurette/c/4_control.ml 1.3 644))
91

92
93
  (source/constraint.mli (lurette/c/18_constraint 1.4 644))
  (source/constraint.ml (lurette/c/19_constraint 1.4 644))
94
95
96
97
98
99

  (source/ne.ml (lurette/c/21_ne.ml 1.1 644))
  (source/ne.mli (lurette/c/22_ne.mli 1.1 644))

  (source/value.ml (lurette/c/23_value.ml 1.1 644))
  (source/value.mli (lurette/c/24_value.mli 1.1 644))
100

101
102
103
104

  (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))

105
; little script that sets env vars and starts the lurette build
106
  (make_lurette (lurette/27_make_luret 1.17 755))
107
108

;; Make files
109
  (configure.in (lurette/d/11_configure. 1.1 644))
110
111
  (Makefile.common.in (lurette/d/12_Makefile.c 1.2 644))
  (OcamlMakefile (lurette/17_OcamlMakef 1.45 644))
112
113
  (Makefile.lurette (lurette/b/38_Makefile.l 1.15 644))
  (user-rules (lurette/c/14_myrules 1.17 644))
114
  (user-rules.skel (lurette/c/25_user-rules 1.1 644))
115
  (Makefile (lurette/d/13_Makefile 1.1 644))
116

117
118
  (source/Makefile.lurettetop (lurette/d/14_Makefile.l 1.1 644))
  (source/Makefile.gen_fake_lutin (lurette/d/17_Makefile.g 1.1 644))
119
  (source/Makefile.show_luc (lurette/b/40_Makefile.s 1.7 644))
120
  (source/Makefile.lucky (lurette/b/41_Makefile.i 1.8 644))
121
  (source/Makefile.gen_stubs (lurette/b/42_Makefile.g 1.5 644))
122
  (source/Makefile.lurette_lib (lurette/c/2_Makefile.l 1.8 644))
123
  (source/Makefile (lurette/c/20_Makefile 1.8 644))
124
125
126
127

;; Documentation
  (doc/Interface_draft (lurette/19_Interface_ 1.1 644))
  (doc/archi.fig (lurette/20_archi.fig 1.1 644))
128
129
  (doc/synthese (lurette/b/2_synthese 1.1 644))
  (doc/automata_format (lurette/b/3_automata_f 1.1 644))
130
131
  (doc/ocamldoc.sty (lurette/b/12_ocamldoc.s 1.1 644))
  (doc/ocamldoc.hva (lurette/b/13_ocamldoc.h 1.1 644))
132
133

;; Misc
134
  (README (lurette/10_README 1.4 644))  
135
  (ID_EN_VRAC (lurette/0_ID_EN_VRAC 1.1 644))
136
137
  (lurette.dep.dot (lurette/b/4_lurette.de 1.2 644))
  (lurette.depfull.dot (lurette/b/5_lurette.de 1.2 644))
138
  (TAGS (lurette/21_TAGS 1.6 644))
139

140
141
  (test/time.exp (lurette/b/48_time.exp 1.17 644))
  (test/time.res (lurette/b/49_time.res 1.20 644))
142

143
;; Various files used for testing purposes
144
145
146
147
148
149
  (test/usager.luc (lurette/b/14_usager.env 1.9 644))
  (test/tram.luc (lurette/b/15_tram.env 1.8 644))
  (test/porte.luc (lurette/b/16_porte.env 1.8 644))
  (test/passerelle.luc (lurette/b/17_passerelle 1.8 644))
  (test/temp_int.luc (lurette/b/50_temp_int.e 1.3 644))
  (test/temp_float.luc (lurette/b/51_temp_float 1.3 644))
150

151
152
  (test/ControleurPorte.h (lurette/b/18_Controleur 1.1 644))
  (test/ControleurPorte.c (lurette/b/19_Controleur 1.1 644))
153
  (test/ControleurPorte.lus (lurette/c/17_Controleur 1.1 644))
154

155
156
157
  (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))
158
  (test/tram_simple.h (lurette/b/25_tram_simpl 1.1 644))
159

160
161
162
  (test/heater_int.rif.exp (lurette/b/28_heater_int 1.10 644))
  (test/ControleurPorte.rif.exp (lurette/b/29_Controleur 1.11 644))
  (test/heater_float.rif.exp (lurette/b/30_heater_flo 1.11 644))
163
  (test/heater_int.lus (lurette/b/43_heater_int 1.1 644))
164
  (test/heater_float.lus (lurette/b/44_heater_flo 1.2 644))
165
  (test/test_gen_stubs.h (lurette/b/45_test_gen_s 1.1 644))
166

167
  (test/giro/allocator.lus (lurette/c/5_allocator. 1.1 644))
168
  (test/giro/giro.luc (lurette/c/6_giro.ima 1.4 644))
169
170
171
172
173
  (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))
174
  (demo/chaudiere/chaudiere.luc (lurette/c/11_chaudiere. 1.5 644))
175

176
  (test/Makefile (lurette/c/0_Makefile 1.8 644))
177
178

;; xlurette
179
  (ihm/xlurette/xlurette_glade_main.ml (lurette/c/12_xlurette_g 1.14 644))
180
181
  (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))
182
  (ihm/xlurette/makefile (lurette/c/16_makefile 1.6 644))
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227


;; 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))


228
229


230
231
232
233

;; Files added by populate at Thu, 24 Oct 2002 15:46:40 +0200,
;; to version 0.105(w), by jahier:

234
235
236
)
(Merge-Parents)
(New-Merge-Parents)