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.57 KB
Newer Older
1
2
;; -*- Prcs -*-
(Created-By-Prcs-Version 1 3 3)
3
(Project-Description "Lurette")
4
5
6
(Project-Version lurette 0 123)
(Parent-Version lurette 0 122)
(Version-Log "
7
8
source/rnumsolver.mli:
source/rnumsolver.ml:
9
10
11
source/store.mli:
source/store.ml:
   Rename rnumsolver into store.
12

13
source/solver.ml:
14
15
16
17
18
19
source/parse_env.ml:
   Do not explicitely handle dis-equalities but transform it using 
   not and = instead. The rational for this change is to avoid code duplication
   (which was buggy !!!), but also to allow handle dis-equalities with
   the optimized algorithm I had for eqalities (for free) !

20
21
22
")
(New-Version-Log ""
)
23
(Checkin-Time "Tue, 18 Feb 2003 09:49:47 +0100")
24
25
26
27
28
(Checkin-Login jahier)
(Populate-Ignore ())
(Project-Keywords)
(Files

29
30
31

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

32

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

37
  (source/command_line_luc_exe.ml (lurette/b/33_command_li 1.9 644))
38
  (source/command_line_luc_exe.mli (lurette/b/34_command_li 1.6 644))
39
40

;; Sources files for lurette only
41
  (source/lurette.mli (lurette/11_lurette.ml 1.12 644))
42
  (source/lurette.ml (lurette/12_lurette.ml 1.61 644))
43

44
45
  (source/command_line.ml (lurette/b/20_command_li 1.10 644))
  (source/command_line.mli (lurette/b/21_command_li 1.9 644))
46

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

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

54
  (source/util.ml (lurette/35_util.ml 1.38 444))
55

56
  (source/solver.mli (lurette/38_solver.mli 1.13 644))
57
  (source/solver.ml (lurette/39_solver.ml 1.41 644))
58

59
  (source/polyhedron.ml (lurette/d/25_polyhedron 1.2 644))
60
  (source/polyhedron.mli (lurette/d/26_polyhedron 1.1 644))
61

62
63
  (source/store.mli (lurette/b/26_rnumsolver 1.13 644))
  (source/store.ml (lurette/b/27_rnumsolver 1.20 644))
64
65
66

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

68
  (source/parse_env.mli (lurette/40_parse_env. 1.11 644))
69
  (source/parse_env.ml (lurette/41_parse_env. 1.36 644))
70

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

74
75
  (source/formula.mli (lurette/44_formula.ml 1.20 644))
  (source/formula.ml (lurette/45_formula.ml 1.25 644))
76

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

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

83
  (source/env_state.mli (lurette/50_env_state. 1.25 644))
84
  (source/env_state.ml (lurette/51_env_state. 1.36 644))
85

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

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

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

95
  (source/lurettetop.ml (lurette/c/1_lurettetop 1.24 644))
96
  (source/gen_stubs.ml (lurette/24_generate_l 1.41 644))
97

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

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

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

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

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

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

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

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

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

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

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

151
152
153
154
  (test/time-ossau.exp (lurette/b/48_time.exp 1.28 644))
  (test/time-ossau.res (lurette/b/49_time.res 1.31 644))
  (test/time-ecrins.res (lurette/d/20_time-ecrin 1.5 644))
  (test/time-ecrins.exp (lurette/d/21_time-ecrin 1.5 644))
155

156
;; Various files used for testing purposes
157
158
159
160
161
  (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))
162
  (test/temp_float.luc (lurette/b/51_temp_float 1.4 644))
163

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

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

173
174
175
  (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))
176
  (test/heater_int.lus (lurette/b/43_heater_int 1.1 644))
177
  (test/heater_float.lus (lurette/b/44_heater_flo 1.2 644))
178
  (test/test_gen_stubs.h (lurette/b/45_test_gen_s 1.1 644))
179

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

189
  (test/Makefile (lurette/c/0_Makefile 1.8 644))
190
191

;; xlurette
192
  (ihm/xlurette/xlurette_glade_main.ml (lurette/c/12_xlurette_g 1.15 644))
193
194
  (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))
195
  (ihm/xlurette/makefile (lurette/c/16_makefile 1.7 644))
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
239
240


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


241
  (TODO (lurette/d/22_TODO 1.3 644))
242

243
244
245
)
(Merge-Parents)
(New-Merge-Parents)