lurette.prj 6.95 KB
Newer Older
1
2
;; -*- Prcs -*-
(Created-By-Prcs-Version 1 3 3)
3
(Project-Description "Lurette")
4
5
(Project-Version lurette 0 95)
(Parent-Version lurette 0 94)
6
(Version-Log "
7

8
9
Continue to prepare things for the next change (which will try to
handle equalities smartly). 
10

11
12
13
14

test/test*.res:
   fix the expected results as this change adds a random toss
   that disturbs the random values.
15

16
source/solver.ml:
17
source/rnumsolver.ml:
18
19
20
21
   Add code to handle the fact that the negation of a equality
   is the disjunction of two inegalities, which can not be added 
   to store as it is. So we first try with >, and if it fails,
   we try with < (or the other way aroung, depending on a fair toss).
22

23
24
   Also split up the code in Solver.draw_in_bdd depending on the 
   fact that the current constraint is a boolean, an eq, or an ineg.
25

26
27
28
source/solver.ml:
   split toss_up_one_var into toss_up_one_var and toss_up_one_var_index,
   one performing the the toss from a var, the other one from a var index. 
29
30
31
")
(New-Version-Log ""
)
32
(Checkin-Time "Mon, 30 Sep 2002 09:32:45 +0200")
33
34
35
36
37
(Checkin-Login jahier)
(Populate-Ignore ())
(Project-Keywords)
(Files

38
39
40

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

41

42
43
;; Sources files for ima_exe
  (source/ima_exe.mli (lurette/b/31_ima_exe.ml 1.1 644))
44
  (source/ima_exe.ml (lurette/b/32_ima_exe.ml 1.18 644))
45

46
  (source/command_line_ima_exe.ml (lurette/b/33_command_li 1.5 644))
47
  (source/command_line_ima_exe.mli (lurette/b/34_command_li 1.3 644))
48
49

;; Sources files for lurette only
50
  (source/lurette.mli (lurette/11_lurette.ml 1.12 644))
51
  (source/lurette.ml (lurette/12_lurette.ml 1.52 644))
52

53
54
  (source/command_line.ml (lurette/b/20_command_li 1.8 644))
  (source/command_line.mli (lurette/b/21_command_li 1.7 644))
55
56

;; Sources files common to lurette and ima_exe
57
58
  (source/graph.mli (lurette/13_graph.mli 1.9 644))
  (source/graph.ml (lurette/14_graph.ml 1.7 644))
59

60
61
  (source/env.mli (lurette/15_env.mli 1.15 644))
  (source/env.ml (lurette/16_env.ml 1.29 644))
62

63
  (source/util.ml (lurette/35_util.ml 1.26 644))
64

65
  (source/solver.mli (lurette/38_solver.mli 1.13 644))
66
  (source/solver.ml (lurette/39_solver.ml 1.29 644))
67

68
69
  (source/rnumsolver.mli (lurette/b/26_rnumsolver 1.6 644))
  (source/rnumsolver.ml (lurette/b/27_rnumsolver 1.9 644))
70

71
  (source/parse_env.mli (lurette/40_parse_env. 1.9 644))
72
  (source/parse_env.ml (lurette/41_parse_env. 1.28 644))
73

74
  (source/show_env.mli (lurette/42_show_env.m 1.7 644))
75
  (source/show_env.ml (lurette/43_show_env.m 1.12 644))
76

77
78
  (source/formula.mli (lurette/44_formula.ml 1.17 644))
  (source/formula.ml (lurette/45_formula.ml 1.20 644))
79

80
81
  (source/print.mli (lurette/46_print.mli 1.11 644))
  (source/print.ml (lurette/47_print.ml 1.19 644))
82

83
84
  (source/eval.mli (lurette/48_eval.mli 1.10 644))
  (source/eval.ml (lurette/49_eval.ml 1.13 644))
85

86
87
  (source/env_state.mli (lurette/50_env_state. 1.24 644))
  (source/env_state.ml (lurette/51_env_state. 1.29 644))
88

89
  (source/automata.mli (lurette/b/46_automata.m 1.2 644))
90
  (source/automata.ml (lurette/b/47_automata.m 1.4 644))
91

92
  (source/sim2chro.mli (lurette/b/23_sim2chro.m 1.5 644))
93
  (source/sim2chro.ml (lurette/b/24_sim2chro.m 1.13 644))
94

95
96
  (source/gne.mli (lurette/b/36_gne.mli 1.3 644))
  (source/gne.ml (lurette/b/37_gne.ml 1.3 644))
97

98
  (source/lurettetop.ml (lurette/c/1_lurettetop 1.10 644))
99
  (source/gen_stubs.ml (lurette/24_generate_l 1.35 644))
100

101
  (source/control.mli (lurette/c/3_control.ml 1.2 644))
102
  (source/control.ml (lurette/c/4_control.ml 1.3 644))
103

104
105
106
  (source/constraint.mli (lurette/c/18_constraint 1.1 644))
  (source/constraint.ml (lurette/c/19_constraint 1.1 644))

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

;; Make files
111
  (OcamlMakefile (lurette/17_OcamlMakef 1.41 644))
112
  (Makefile.lurette (lurette/b/38_Makefile.l 1.11 644))
113
  (myrules (lurette/c/14_myrules 1.5 644))
114

115
116
  (bin/Makefile.show_ima (lurette/b/40_Makefile.s 1.4 644))
  (bin/Makefile.ima_exe (lurette/b/41_Makefile.i 1.3 644))
117
  (bin/Makefile.gen_stubs (lurette/b/42_Makefile.g 1.2 644))
118
  (bin/Makefile.lurette_lib (lurette/c/2_Makefile.l 1.3 644))
119
120
121
122

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

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

135
136
  (test/time.exp (lurette/b/48_time.exp 1.6 644))
  (test/time.res (lurette/b/49_time.res 1.9 644))
137

138
;; Various files used for testing purposes
139
140
141
142
143
144
  (test/usager.ima (lurette/b/14_usager.env 1.9 644))
  (test/tram.ima (lurette/b/15_tram.env 1.8 644))
  (test/porte.ima (lurette/b/16_porte.env 1.8 644))
  (test/passerelle.ima (lurette/b/17_passerelle 1.8 644))
  (test/temp_int.ima (lurette/b/50_temp_int.e 1.2 644))
  (test/temp_float.ima (lurette/b/51_temp_float 1.3 644))
145

146
147
  (test/ControleurPorte.h (lurette/b/18_Controleur 1.1 644))
  (test/ControleurPorte.c (lurette/b/19_Controleur 1.1 644))
148

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

154
  (test/heater_int.rif.exp (lurette/b/28_heater_int 1.7 644))
155
  (test/ControleurPorte.rif.exp (lurette/b/29_Controleur 1.9 644))
156
  (test/heater_float.rif.exp (lurette/b/30_heater_flo 1.8 644))
157
158
159
  (test/heater_int.lus (lurette/b/43_heater_int 1.1 644))
  (test/heater_float.lus (lurette/b/44_heater_flo 1.1 644))
  (test/test_gen_stubs.h (lurette/b/45_test_gen_s 1.1 644))
160

161
  (test/Makefile (lurette/c/0_Makefile 1.4 644))
162

163
;; xlurette
164
  (ihm/xlurette/xlurette_glade_main.ml (lurette/c/12_xlurette_g 1.6 644))
165
166
  (ihm/xlurette/xlurette.glade (lurette/c/13_xlurette.g 1.4 644))
  (ihm/xlurette/xlurette_glade_interface.ml (lurette/c/15_xlurette_g 1.3 644))
167
168
  (ihm/xlurette/makefile (lurette/c/16_makefile 1.1 644))

169
170
171
172
173

;; Files added by populate at Wed, 04 Sep 2002 09:46:46 +0200,
;; to version 0.83(w), by jahier:

  (test/giro/allocator.lus (lurette/c/5_allocator. 1.1 644))
174
  (test/giro/giro.ima (lurette/c/6_giro.ima 1.2 644))
175
176
177
178
179
180
181
182
  (test/giro/onlyroll.lus (lurette/c/7_onlyroll.l 1.1 644))

;; Files added by populate at Wed, 04 Sep 2002 09:47:29 +0200,
;; to version 0.83(w), by jahier:

  (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.ima (lurette/c/11_chaudiere. 1.5 644))
184
185


186
187
;; Files added by populate at Tue, 24 Sep 2002 15:30:27 +0200,
;; to version 0.92(w), by jahier:
188

189
  (test/ControleurPorte.lus (lurette/c/17_Controleur 1.1 644))
190

191
192
193
)
(Merge-Parents)
(New-Merge-Parents)