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.42 KB
Newer Older
1
2
;; -*- Prcs -*-
(Created-By-Prcs-Version 1 3 3)
3
(Project-Description "Lurette")
4
5
(Project-Version lurette 0 127)
(Parent-Version lurette 0 126)
6
(Version-Log "
7
8
9
source/command_line_luc_exe.ml:
source/command_line_luc_exe.mli:
source/luc_exe.ml:
10
source/store.ml:
11
12
source/lurette.ml:
source/lurettetop.ml:
13
14
   Put back the verteces draw. It was not such a great idea to remove 
   after all...
15

16
   Also change verteces into vertices (oops...).
17

18
19
20
")
(New-Version-Log ""
)
21
(Checkin-Time "Mon, 24 Feb 2003 09:14:09 +0100")
22
23
24
25
26
(Checkin-Login jahier)
(Populate-Ignore ())
(Project-Keywords)
(Files

27
28
29

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

30

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

35
36
  (source/command_line_luc_exe.ml (lurette/b/33_command_li 1.11 644))
  (source/command_line_luc_exe.mli (lurette/b/34_command_li 1.8 644))
37
38

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

42
43
  (source/command_line.ml (lurette/b/20_command_li 1.12 644))
  (source/command_line.mli (lurette/b/21_command_li 1.11 644))
44

45
;; Sources files common to lurette and luc_exe
46
47
  (source/graph.mli (lurette/13_graph.mli 1.10 644))
  (source/graph.ml (lurette/14_graph.ml 1.8 644))
48

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

52
  (source/util.ml (lurette/35_util.ml 1.40 444))
53

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

57
  (source/polyhedron.ml (lurette/d/25_polyhedron 1.3 644))
58
  (source/polyhedron.mli (lurette/d/26_polyhedron 1.1 644))
59

60
61
  (source/store.mli (lurette/b/26_rnumsolver 1.16 644))
  (source/store.ml (lurette/b/27_rnumsolver 1.23 644))
62
63
64

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

66
  (source/parse_env.mli (lurette/40_parse_env. 1.12 644))
67
  (source/parse_env.ml (lurette/41_parse_env. 1.38 644))
68

69
  (source/show_env.mli (lurette/42_show_env.m 1.8 644))
70
  (source/show_env.ml (lurette/43_show_env.m 1.16 644))
71

72
  (source/formula.mli (lurette/44_formula.ml 1.21 644))
73
  (source/formula.ml (lurette/45_formula.ml 1.27 644))
74

75
76
  (source/print.mli (lurette/46_print.mli 1.13 644))
  (source/print.ml (lurette/47_print.ml 1.22 644))
77

78
79
  (source/eval.mli (lurette/48_eval.mli 1.10 644))
  (source/eval.ml (lurette/49_eval.ml 1.13 644))
80

81
82
  (source/env_state.mli (lurette/50_env_state. 1.27 644))
  (source/env_state.ml (lurette/51_env_state. 1.39 644))
83

84
  (source/automata.mli (lurette/b/46_automata.m 1.3 644))
85
  (source/automata.ml (lurette/b/47_automata.m 1.6 644))
86

87
  (source/sim2chro.mli (lurette/b/23_sim2chro.m 1.6 644))
88
  (source/sim2chro.ml (lurette/b/24_sim2chro.m 1.14 644))
89

90
91
  (source/gne.mli (lurette/b/36_gne.mli 1.4 644))
  (source/gne.ml (lurette/b/37_gne.ml 1.4 644))
92

93
  (source/lurettetop.ml (lurette/c/1_lurettetop 1.26 644))
94
  (source/gen_stubs.ml (lurette/24_generate_l 1.41 644))
95

96
97
  (source/control.mli (lurette/c/3_control.ml 1.3 644))
  (source/control.ml (lurette/c/4_control.ml 1.4 644))
98

99
100
  (source/constraint.mli (lurette/c/18_constraint 1.5 644))
  (source/constraint.ml (lurette/c/19_constraint 1.6 644))
101

102
  (source/ne.ml (lurette/c/21_ne.ml 1.5 644))
103
  (source/ne.mli (lurette/c/22_ne.mli 1.5 644))
104

105
  (source/value.ml (lurette/c/23_value.ml 1.3 644))
106
  (source/value.mli (lurette/c/24_value.mli 1.1 644))
107

108
109
  (source/prevar.ml (lurette/d/18_prevar.ml 1.1 644))
  (source/prevar.mli (lurette/d/19_prevar.mli 1.1 644))
110
111
112
113

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

114
; little script that sets env vars and starts the lurette build
115
  (make_lurette (lurette/27_make_luret 1.17 755))
116
117

;; Make files
118
  (configure.in (lurette/d/11_configure. 1.1 644))
119
  (Makefile.common.in (lurette/d/12_Makefile.c 1.2 644))
120
  (OcamlMakefile (lurette/17_OcamlMakef 1.47 644))
121
  (Makefile.lurette (lurette/b/38_Makefile.l 1.16 644))
122
  (user-rules (lurette/c/14_myrules 1.25 644))
123
  (user-rules.skel (lurette/c/25_user-rules 1.2 644))
124
  (Makefile (lurette/d/13_Makefile 1.1 644))
125

126
  (source/Makefile.lurettetop (lurette/d/14_Makefile.l 1.2 644))
127
  (source/Makefile.gen_fake_lutin (lurette/d/17_Makefile.g 1.1 644))
128
  (source/Makefile.show_luc (lurette/b/40_Makefile.s 1.8 644))
129
  (source/Makefile.lucky (lurette/b/41_Makefile.i 1.14 644))
130
  (source/Makefile.gen_stubs (lurette/b/42_Makefile.g 1.5 644))
131
  (source/Makefile.lurette_lib (lurette/c/2_Makefile.l 1.14 644))
132
  (source/Makefile (lurette/c/20_Makefile 1.10 644))
133
134
135
136

;; Documentation
  (doc/Interface_draft (lurette/19_Interface_ 1.1 644))
  (doc/archi.fig (lurette/20_archi.fig 1.1 644))
137
138
  (doc/synthese (lurette/b/2_synthese 1.1 644))
  (doc/automata_format (lurette/b/3_automata_f 1.1 644))
139
140
  (doc/ocamldoc.sty (lurette/b/12_ocamldoc.s 1.1 644))
  (doc/ocamldoc.hva (lurette/b/13_ocamldoc.h 1.1 644))
141
142

;; Misc
143
  (README (lurette/10_README 1.5 644))  
144
  (ID_EN_VRAC (lurette/0_ID_EN_VRAC 1.1 644))
145
146
  (lurette.dep.dot (lurette/b/4_lurette.de 1.2 644))
  (lurette.depfull.dot (lurette/b/5_lurette.de 1.2 644))
147
  (TAGS (lurette/21_TAGS 1.6 644))
148

149
150
151
152
  (test/time-ossau.exp (lurette/b/48_time.exp 1.32 644))
  (test/time-ossau.res (lurette/b/49_time.res 1.35 644))
  (test/time-ecrins.res (lurette/d/20_time-ecrin 1.9 644))
  (test/time-ecrins.exp (lurette/d/21_time-ecrin 1.9 644))
153

154
;; Various files used for testing purposes
155
156
157
158
159
160
  (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))
161

162
163
  (test/ControleurPorte.h (lurette/b/18_Controleur 1.1 644))
  (test/ControleurPorte.c (lurette/b/19_Controleur 1.1 644))
164
  (test/ControleurPorte.lus (lurette/c/17_Controleur 1.1 644))
165

166
167
168
  (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))
169
  (test/tram_simple.h (lurette/b/25_tram_simpl 1.1 644))
170

171
172
  (test/heater_int.rif.exp (lurette/b/28_heater_int 1.10 644))
  (test/ControleurPorte.rif.exp (lurette/b/29_Controleur 1.11 644))
173
  (test/heater_float.rif.exp (lurette/b/30_heater_flo 1.12 644))
174
  (test/heater_int.lus (lurette/b/43_heater_int 1.1 644))
175
  (test/heater_float.lus (lurette/b/44_heater_flo 1.2 644))
176
  (test/test_gen_stubs.h (lurette/b/45_test_gen_s 1.1 644))
177

178
  (test/giro/allocator.lus (lurette/c/5_allocator. 1.1 644))
179
  (test/giro/giro.luc (lurette/c/6_giro.ima 1.4 644))
180
181
182
183
184
  (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))
185
  (demo/chaudiere/chaudiere.luc (lurette/c/11_chaudiere. 1.5 644))
186

187
  (test/Makefile (lurette/c/0_Makefile 1.8 644))
188
189

;; xlurette
190
191
192
  (ihm/xlurette/xlurette_glade_main.ml (lurette/c/12_xlurette_g 1.16 644))
  (ihm/xlurette/xlurette.glade (lurette/c/13_xlurette.g 1.10 644))
  (ihm/xlurette/xlurette_glade_interface.ml (lurette/c/15_xlurette_g 1.9 644))
193
  (ihm/xlurette/makefile (lurette/c/16_makefile 1.7 644))
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
228
229
230
231
232
233
234
235
236
237
238


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


239
  (TODO (lurette/d/22_TODO 1.6 644))
240

241
242
243
)
(Merge-Parents)
(New-Merge-Parents)