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.24 KB
Newer Older
1
2
;; -*- Prcs -*-
(Created-By-Prcs-Version 1 3 3)
3
(Project-Description "Lurette")
4
5
(Project-Version lurette 0 117)
(Parent-Version lurette 0 116)
6
(Version-Log "
7

8
Various minor fixes in the documentation
9

10
11
12
+ Use a version of ocaml-3.06 that has been configured with -no-curses,
which make things sligthly slower, but that avoid the need to find
the curses lib...
13

14
15
16
17
18
19
20
21
source/ne.ml:
source/*.ml:
   Ne.find now returns an option value instead of raising a Not_found
   exp, which was not trap in some circumstances...

source/ne.ml:
   Also, fix a couple of bugs where the code was supposing (falsely) 
   that the constant (empty string) was always in the Map.
22
23
24
")
(New-Version-Log ""
)
25
(Checkin-Time "Mon, 18 Nov 2002 14:26:30 +0100")
26
27
28
29
30
(Checkin-Login jahier)
(Populate-Ignore ())
(Project-Keywords)
(Files

31
32
33

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

34

35
36
;; Sources files for luc_exe
  (source/luc_exe.mli (lurette/b/31_ima_exe.ml 1.2 644))
37
  (source/luc_exe.ml (lurette/b/32_ima_exe.ml 1.23 644))
38

39
40
  (source/command_line_luc_exe.ml (lurette/b/33_command_li 1.8 644))
  (source/command_line_luc_exe.mli (lurette/b/34_command_li 1.6 644))
41
42

;; Sources files for lurette only
43
  (source/lurette.mli (lurette/11_lurette.ml 1.12 644))
44
  (source/lurette.ml (lurette/12_lurette.ml 1.60 644))
45

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

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

53
  (source/env.mli (lurette/15_env.mli 1.16 644))
54
  (source/env.ml (lurette/16_env.ml 1.29 644))
55

56
  (source/util.ml (lurette/35_util.ml 1.36 444))
57

58
  (source/solver.mli (lurette/38_solver.mli 1.13 644))
59
  (source/solver.ml (lurette/39_solver.ml 1.36 644))
60

61
  (source/rnumsolver.mli (lurette/b/26_rnumsolver 1.9 644))
62
  (source/rnumsolver.ml (lurette/b/27_rnumsolver 1.16 644))
63

64
  (source/parse_env.mli (lurette/40_parse_env. 1.11 644))
65
  (source/parse_env.ml (lurette/41_parse_env. 1.32 644))
66

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

70
  (source/formula.mli (lurette/44_formula.ml 1.19 644))
71
  (source/formula.ml (lurette/45_formula.ml 1.24 644))
72

73
  (source/print.mli (lurette/46_print.mli 1.12 644))
74
  (source/print.ml (lurette/47_print.ml 1.21 644))
75

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

79
  (source/env_state.mli (lurette/50_env_state. 1.25 644))
80
  (source/env_state.ml (lurette/51_env_state. 1.33 644))
81

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

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

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

91
92
  (source/lurettetop.ml (lurette/c/1_lurettetop 1.22 644))
  (source/gen_stubs.ml (lurette/24_generate_l 1.41 644))
93

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

97
98
  (source/constraint.mli (lurette/c/18_constraint 1.4 644))
  (source/constraint.ml (lurette/c/19_constraint 1.4 644))
99

100
101
  (source/ne.ml (lurette/c/21_ne.ml 1.3 644))
  (source/ne.mli (lurette/c/22_ne.mli 1.2 644))
102
103
104

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

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

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

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

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

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

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

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

147
148
  (test/time.exp (lurette/b/48_time.exp 1.22 644))
  (test/time.res (lurette/b/49_time.res 1.25 644))
149

150
;; Various files used for testing purposes
151
152
153
154
155
  (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))
156
  (test/temp_float.luc (lurette/b/51_temp_float 1.4 644))
157

158
159
  (test/ControleurPorte.h (lurette/b/18_Controleur 1.1 644))
  (test/ControleurPorte.c (lurette/b/19_Controleur 1.1 644))
160
  (test/ControleurPorte.lus (lurette/c/17_Controleur 1.1 644))
161

162
163
164
  (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))
165
  (test/tram_simple.h (lurette/b/25_tram_simpl 1.1 644))
166

167
168
169
  (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))
170
  (test/heater_int.lus (lurette/b/43_heater_int 1.1 644))
171
  (test/heater_float.lus (lurette/b/44_heater_flo 1.2 644))
172
  (test/test_gen_stubs.h (lurette/b/45_test_gen_s 1.1 644))
173

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

183
  (test/Makefile (lurette/c/0_Makefile 1.8 644))
184
185

;; xlurette
186
  (ihm/xlurette/xlurette_glade_main.ml (lurette/c/12_xlurette_g 1.15 644))
187
188
  (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))
189
  (ihm/xlurette/makefile (lurette/c/16_makefile 1.6 644))
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
228
229
230
231
232
233
234


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


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