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.47 KB
Newer Older
1
2
;; -*- Prcs -*-
(Created-By-Prcs-Version 1 3 3)
3
(Project-Description "Lurette")
4
5
(Project-Version lurette 0 125)
(Parent-Version lurette 0 124)
6
(Version-Log "
7
8
9
10
11
12
13
14
15

source/parse_env.ml:
   Make most fields of the automata syntax optional so that
   people are not obliged to refer to empty list of, eg, 
   formula.

   Also add a field formula that let one defines global formula.
   This field is currently unplugged (ie, it parses, but the information
   contained in that fied in ignored).
16
17
18
")
(New-Version-Log ""
)
19
(Checkin-Time "Fri, 21 Feb 2003 16:30:11 +0100")
20
21
22
23
24
(Checkin-Login jahier)
(Populate-Ignore ())
(Project-Keywords)
(Files

25
26
27

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

28

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

33
  (source/command_line_luc_exe.ml (lurette/b/33_command_li 1.9 644))
34
  (source/command_line_luc_exe.mli (lurette/b/34_command_li 1.6 644))
35
36

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

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

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

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

50
  (source/util.ml (lurette/35_util.ml 1.39 444))
51

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

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

58
59
  (source/store.mli (lurette/b/26_rnumsolver 1.14 644))
  (source/store.ml (lurette/b/27_rnumsolver 1.21 644))
60
61
62

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

64
65
  (source/parse_env.mli (lurette/40_parse_env. 1.12 644))
  (source/parse_env.ml (lurette/41_parse_env. 1.37 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
71
  (source/formula.mli (lurette/44_formula.ml 1.21 644))
  (source/formula.ml (lurette/45_formula.ml 1.26 644))
72

73
74
  (source/print.mli (lurette/46_print.mli 1.13 644))
  (source/print.ml (lurette/47_print.ml 1.22 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.37 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
  (source/lurettetop.ml (lurette/c/1_lurettetop 1.24 644))
92
  (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.5 644))
  (source/constraint.ml (lurette/c/19_constraint 1.6 644))
99

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

103
  (source/value.ml (lurette/c/23_value.ml 1.2 644))
104
  (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.47 644))
119
  (Makefile.lurette (lurette/b/38_Makefile.l 1.16 644))
120
  (user-rules (lurette/c/14_myrules 1.24 644))
121
  (user-rules.skel (lurette/c/25_user-rules 1.2 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.14 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.14 644))
130
  (source/Makefile (lurette/c/20_Makefile 1.10 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
149
150
  (test/time-ossau.exp (lurette/b/48_time.exp 1.30 644))
  (test/time-ossau.res (lurette/b/49_time.res 1.33 644))
  (test/time-ecrins.res (lurette/d/20_time-ecrin 1.7 644))
  (test/time-ecrins.exp (lurette/d/21_time-ecrin 1.7 644))
151

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

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

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

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

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

185
  (test/Makefile (lurette/c/0_Makefile 1.8 644))
186
187

;; xlurette
188
  (ihm/xlurette/xlurette_glade_main.ml (lurette/c/12_xlurette_g 1.15 644))
189
190
  (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))
191
  (ihm/xlurette/makefile (lurette/c/16_makefile 1.7 644))
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
235
236


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


237
  (TODO (lurette/d/22_TODO 1.5 644))
238

239
240
241
)
(Merge-Parents)
(New-Merge-Parents)