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

8
9
source/solver.ml: 
   Give a better error message when users do not initialize pre vars.
10

11
12
13
14
source/parse_env.ml:
source/formula.ml: 
source/prevar.ml/mli: (new files)
   Put here everything that handles the internal representation of pre var names.
15

16
   Pretty print internal pre var names.
17
18
19
")
(New-Version-Log ""
)
20
(Checkin-Time "Wed, 13 Nov 2002 13:56:29 +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.22 644))
33

34
35
  (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))
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.60 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.35 444))
52

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

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

59
  (source/parse_env.mli (lurette/40_parse_env. 1.11 644))
60
  (source/parse_env.ml (lurette/41_parse_env. 1.32 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.16 644))
64

65
66
  (source/formula.mli (lurette/44_formula.ml 1.19 644))
  (source/formula.ml (lurette/45_formula.ml 1.23 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
75
  (source/env_state.mli (lurette/50_env_state. 1.25 644))
  (source/env_state.ml (lurette/51_env_state. 1.32 644))
76

77
  (source/automata.mli (lurette/b/46_automata.m 1.3 644))
78
  (source/automata.ml (lurette/b/47_automata.m 1.6 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
90
  (source/control.mli (lurette/c/3_control.ml 1.3 644))
  (source/control.ml (lurette/c/4_control.ml 1.4 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
  (source/ne.ml (lurette/c/21_ne.ml 1.2 644))
96
97
98
99
  (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
  (source/prevar.ml (lurette/d/18_prevar.ml 1.1 644))
  (source/prevar.mli (lurette/d/19_prevar.mli 1.1 644))
103
104
105
106

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

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

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

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

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

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

142
143
  (test/time.exp (lurette/b/48_time.exp 1.21 644))
  (test/time.res (lurette/b/49_time.res 1.24 644))
144

145
;; Various files used for testing purposes
146
147
148
149
150
  (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))
151
  (test/temp_float.luc (lurette/b/51_temp_float 1.4 644))
152

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

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

162
163
164
  (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))
165
  (test/heater_int.lus (lurette/b/43_heater_int 1.1 644))
166
  (test/heater_float.lus (lurette/b/44_heater_flo 1.2 644))
167
  (test/test_gen_stubs.h (lurette/b/45_test_gen_s 1.1 644))
168

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

178
  (test/Makefile (lurette/c/0_Makefile 1.8 644))
179
180

;; xlurette
181
  (ihm/xlurette/xlurette_glade_main.ml (lurette/c/12_xlurette_g 1.15 644))
182
183
  (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))
184
  (ihm/xlurette/makefile (lurette/c/16_makefile 1.6 644))
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
228
229


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


230
231
232
)
(Merge-Parents)
(New-Merge-Parents)