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

source/util.ml:
9
10
11
12
13
14
source/formula.ml:
source/lurette.ml:
   Only print one counter example if the test failed.



15
source/lurettetop.ml:
16
source/gen_stubs.ml:
17
18
   try to guess the node name in lurettetop rather than in gen_stubs
   if not given.
19

20
21
22
")
(New-Version-Log ""
)
23
(Checkin-Time "Tue, 29 Oct 2002 14:30:40 +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.21 644))
36

37
38
  (source/command_line_luc_exe.ml (lurette/b/33_command_li 1.7 644))
  (source/command_line_luc_exe.mli (lurette/b/34_command_li 1.5 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.59 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.9 644))
  (source/graph.ml (lurette/14_graph.ml 1.7 644))
50

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

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

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

59
60
  (source/rnumsolver.mli (lurette/b/26_rnumsolver 1.9 644))
  (source/rnumsolver.ml (lurette/b/27_rnumsolver 1.13 644))
61

62
  (source/parse_env.mli (lurette/40_parse_env. 1.10 644))
63
  (source/parse_env.ml (lurette/41_parse_env. 1.29 644))
64

65
  (source/show_env.mli (lurette/42_show_env.m 1.8 644))
66
  (source/show_env.ml (lurette/43_show_env.m 1.14 644))
67

68
  (source/formula.mli (lurette/44_formula.ml 1.18 644))
69
  (source/formula.ml (lurette/45_formula.ml 1.22 644))
70

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

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

77
78
  (source/env_state.mli (lurette/50_env_state. 1.24 644))
  (source/env_state.ml (lurette/51_env_state. 1.29 644))
79

80
  (source/automata.mli (lurette/b/46_automata.m 1.3 644))
81
  (source/automata.ml (lurette/b/47_automata.m 1.5 644))
82

83
  (source/sim2chro.mli (lurette/b/23_sim2chro.m 1.5 644))
84
  (source/sim2chro.ml (lurette/b/24_sim2chro.m 1.14 644))
85

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

89
90
  (source/lurettetop.ml (lurette/c/1_lurettetop 1.21 644))
  (source/gen_stubs.ml (lurette/24_generate_l 1.40 644))
91

92
  (source/control.mli (lurette/c/3_control.ml 1.2 644))
93
  (source/control.ml (lurette/c/4_control.ml 1.3 644))
94

95
96
  (source/constraint.mli (lurette/c/18_constraint 1.4 644))
  (source/constraint.ml (lurette/c/19_constraint 1.4 644))
97
98
99
100
101
102

  (source/ne.ml (lurette/c/21_ne.ml 1.1 644))
  (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))
103

104
; little script that sets env vars and starts the lurette build
105
  (make_lurette (lurette/27_make_luret 1.17 755))
106
107

;; Make files
108
  (configure.in (lurette/d/11_configure. 1.1 644))
109
110
111
  (Makefile.common.in (lurette/d/12_Makefile.c 1.2 644))
  (OcamlMakefile (lurette/17_OcamlMakef 1.45 644))
  (Makefile.lurette (lurette/b/38_Makefile.l 1.14 644))
112
  (user-rules (lurette/c/14_myrules 1.16 644))
113
  (user-rules.skel (lurette/c/25_user-rules 1.1 644))
114

115
  (source/Makefile.show_luc (lurette/b/40_Makefile.s 1.7 644))
116
  (source/Makefile.lucky (lurette/b/41_Makefile.i 1.8 644))
117
  (source/Makefile.gen_stubs (lurette/b/42_Makefile.g 1.4 644))
118
119
  (source/Makefile.lurette_lib (lurette/c/2_Makefile.l 1.8 644))
  (source/Makefile (lurette/c/20_Makefile 1.7 644))
120
121
122
123

;; Documentation
  (doc/Interface_draft (lurette/19_Interface_ 1.1 644))
  (doc/archi.fig (lurette/20_archi.fig 1.1 644))
124
125
  (doc/synthese (lurette/b/2_synthese 1.1 644))
  (doc/automata_format (lurette/b/3_automata_f 1.1 644))
126
127
  (doc/ocamldoc.sty (lurette/b/12_ocamldoc.s 1.1 644))
  (doc/ocamldoc.hva (lurette/b/13_ocamldoc.h 1.1 644))
128
129

;; Misc
130
  (README (lurette/10_README 1.4 644))  
131
  (ID_EN_VRAC (lurette/0_ID_EN_VRAC 1.1 644))
132
133
  (lurette.dep.dot (lurette/b/4_lurette.de 1.2 644))
  (lurette.depfull.dot (lurette/b/5_lurette.de 1.2 644))
134
  (TAGS (lurette/21_TAGS 1.6 644))
135

136
137
  (test/time.exp (lurette/b/48_time.exp 1.16 644))
  (test/time.res (lurette/b/49_time.res 1.19 644))
138

139
;; Various files used for testing purposes
140
141
142
143
144
145
  (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))
  (test/temp_float.luc (lurette/b/51_temp_float 1.3 644))
146

147
148
  (test/ControleurPorte.h (lurette/b/18_Controleur 1.1 644))
  (test/ControleurPorte.c (lurette/b/19_Controleur 1.1 644))
149
  (test/ControleurPorte.lus (lurette/c/17_Controleur 1.1 644))
150

151
152
153
  (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))
154
  (test/tram_simple.h (lurette/b/25_tram_simpl 1.1 644))
155

156
157
158
  (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))
159
  (test/heater_int.lus (lurette/b/43_heater_int 1.1 644))
160
  (test/heater_float.lus (lurette/b/44_heater_flo 1.2 644))
161
  (test/test_gen_stubs.h (lurette/b/45_test_gen_s 1.1 644))
162

163
  (test/giro/allocator.lus (lurette/c/5_allocator. 1.1 644))
164
  (test/giro/giro.luc (lurette/c/6_giro.ima 1.4 644))
165
166
167
168
169
  (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))
170
  (demo/chaudiere/chaudiere.luc (lurette/c/11_chaudiere. 1.5 644))
171

172
  (test/Makefile (lurette/c/0_Makefile 1.8 644))
173
174

;; xlurette
175
176
177
  (ihm/xlurette/xlurette_glade_main.ml (lurette/c/12_xlurette_g 1.13 644))
  (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))
178
  (ihm/xlurette/makefile (lurette/c/16_makefile 1.5 644))
179
180
181
182
183
184
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


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


224
225


226
227
228
229
230
231
232
233
234
235

;; Files added by populate at Thu, 24 Oct 2002 15:46:40 +0200,
;; to version 0.105(w), by jahier:

  (Makefile (lurette/d/13_Makefile 1.1 644))

;; Files added by populate at Thu, 24 Oct 2002 15:50:53 +0200,
;; to version 0.105(w), by jahier:

  (source/Makefile.lurettetop (lurette/d/14_Makefile.l 1.1 644))
236
237
238
)
(Merge-Parents)
(New-Merge-Parents)