lurette.prj 9.02 KB
Newer Older
1
2
;; -*- Prcs -*-
(Created-By-Prcs-Version 1 3 3)
3
(Project-Description "Lurette")
4
5
(Project-Version lurette 0 114)
(Parent-Version lurette 0 113)
6
(Version-Log "
7
source/parse_env.ml:
8
9
10
11
   When floats output vars are not constraint, use [-10^11, 10^11]
   as default domain. The rational for this change is that sim2chro
   does not seem to be able to print bigger floats (probably because 
   it does not understand the 123e+234 notation.
12

13
14
15
")
(New-Version-Log ""
)
16
(Checkin-Time "Wed, 06 Nov 2002 13:22:44 +0100")
17
18
19
20
21
(Checkin-Login jahier)
(Populate-Ignore ())
(Project-Keywords)
(Files

22
23
24

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

25

26
27
;; Sources files for luc_exe
  (source/luc_exe.mli (lurette/b/31_ima_exe.ml 1.2 644))
28
  (source/luc_exe.ml (lurette/b/32_ima_exe.ml 1.21 644))
29

30
31
  (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))
32
33

;; Sources files for lurette only
34
  (source/lurette.mli (lurette/11_lurette.ml 1.12 644))
35
  (source/lurette.ml (lurette/12_lurette.ml 1.59 644))
36

37
38
  (source/command_line.ml (lurette/b/20_command_li 1.10 644))
  (source/command_line.mli (lurette/b/21_command_li 1.9 644))
39

40
;; Sources files common to lurette and luc_exe
41
42
  (source/graph.mli (lurette/13_graph.mli 1.9 644))
  (source/graph.ml (lurette/14_graph.ml 1.7 644))
43

44
  (source/env.mli (lurette/15_env.mli 1.16 644))
45
  (source/env.ml (lurette/16_env.ml 1.29 644))
46

47
  (source/util.ml (lurette/35_util.ml 1.34 444))
48

49
  (source/solver.mli (lurette/38_solver.mli 1.13 644))
50
  (source/solver.ml (lurette/39_solver.ml 1.33 644))
51

52
  (source/rnumsolver.mli (lurette/b/26_rnumsolver 1.9 644))
53
  (source/rnumsolver.ml (lurette/b/27_rnumsolver 1.14 644))
54

55
  (source/parse_env.mli (lurette/40_parse_env. 1.11 644))
56
  (source/parse_env.ml (lurette/41_parse_env. 1.31 644))
57

58
  (source/show_env.mli (lurette/42_show_env.m 1.8 644))
59
  (source/show_env.ml (lurette/43_show_env.m 1.14 644))
60

61
  (source/formula.mli (lurette/44_formula.ml 1.18 644))
62
  (source/formula.ml (lurette/45_formula.ml 1.22 644))
63

64
  (source/print.mli (lurette/46_print.mli 1.12 644))
65
  (source/print.ml (lurette/47_print.ml 1.21 644))
66

67
68
  (source/eval.mli (lurette/48_eval.mli 1.10 644))
  (source/eval.ml (lurette/49_eval.ml 1.13 644))
69

70
  (source/env_state.mli (lurette/50_env_state. 1.24 644))
71
  (source/env_state.ml (lurette/51_env_state. 1.31 644))
72

73
  (source/automata.mli (lurette/b/46_automata.m 1.3 644))
74
  (source/automata.ml (lurette/b/47_automata.m 1.5 644))
75

76
  (source/sim2chro.mli (lurette/b/23_sim2chro.m 1.5 644))
77
  (source/sim2chro.ml (lurette/b/24_sim2chro.m 1.14 644))
78

79
80
  (source/gne.mli (lurette/b/36_gne.mli 1.4 644))
  (source/gne.ml (lurette/b/37_gne.ml 1.4 644))
81

82
83
  (source/lurettetop.ml (lurette/c/1_lurettetop 1.22 644))
  (source/gen_stubs.ml (lurette/24_generate_l 1.41 644))
84

85
  (source/control.mli (lurette/c/3_control.ml 1.2 644))
86
  (source/control.ml (lurette/c/4_control.ml 1.3 644))
87

88
89
  (source/constraint.mli (lurette/c/18_constraint 1.4 644))
  (source/constraint.ml (lurette/c/19_constraint 1.4 644))
90
91
92
93
94
95

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

97
98
99
100

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

101
; little script that sets env vars and starts the lurette build
102
  (make_lurette (lurette/27_make_luret 1.17 755))
103
104

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

113
114
  (source/Makefile.lurettetop (lurette/d/14_Makefile.l 1.1 644))
  (source/Makefile.gen_fake_lutin (lurette/d/17_Makefile.g 1.1 644))
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.5 644))
118
  (source/Makefile.lurette_lib (lurette/c/2_Makefile.l 1.8 644))
119
  (source/Makefile (lurette/c/20_Makefile 1.9 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.19 644))
  (test/time.res (lurette/b/49_time.res 1.22 644))
138

139
;; Various files used for testing purposes
140
141
142
143
144
  (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))
145
  (test/temp_float.luc (lurette/b/51_temp_float 1.4 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
  (ihm/xlurette/xlurette_glade_main.ml (lurette/c/12_xlurette_g 1.14 644))
176
177
  (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.6 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

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

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