lurette.prj 7.09 KB
Newer Older
1
2
;; -*- Prcs -*-
(Created-By-Prcs-Version 1 3 3)
3
(Project-Description "Lurette")
4
5
(Project-Version lurette 0 94)
(Parent-Version lurette 0 93)
6
(Version-Log "
7
8
9
10
11


Prepare things for the next change (which will try to handle equalities
smartly).

12
source/solver.ml:
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
source/rnumsolver.ml:
   atomic_formula do not need both < and > (ditto for <= and >=).
   Indeed, I just need to take the opposite, and everything is fine.
   One advantage is that there are less cases to handle. But the key 
   advantage is that it make the representation of constraint normal,
   which is important at least when I will try to detect equalities.

   Also add a subst list and constraint list fields to the store
   that will ebe used in the forthcoming change. They will resp.
   be used for removeing a dimension when an equality is encountered
   and to delay constraint with more than one variable.


source/constraint.ml,mli: (new files)
   Move there from formula.ml everything that is related to the internal 
   representation of constraints.

   Also change the name of atomic_formula to linear_constraint, which is
   more informative.

33

34
35
36
")
(New-Version-Log ""
)
37
(Checkin-Time "Fri, 27 Sep 2002 13:20:05 +0200")
38
39
40
41
42
(Checkin-Login jahier)
(Populate-Ignore ())
(Project-Keywords)
(Files

43
44
45

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

46

47
48
;; Sources files for ima_exe
  (source/ima_exe.mli (lurette/b/31_ima_exe.ml 1.1 644))
49
  (source/ima_exe.ml (lurette/b/32_ima_exe.ml 1.18 644))
50

51
  (source/command_line_ima_exe.ml (lurette/b/33_command_li 1.5 644))
52
  (source/command_line_ima_exe.mli (lurette/b/34_command_li 1.3 644))
53
54

;; Sources files for lurette only
55
  (source/lurette.mli (lurette/11_lurette.ml 1.12 644))
56
  (source/lurette.ml (lurette/12_lurette.ml 1.52 644))
57

58
59
  (source/command_line.ml (lurette/b/20_command_li 1.8 644))
  (source/command_line.mli (lurette/b/21_command_li 1.7 644))
60
61

;; Sources files common to lurette and ima_exe
62
63
  (source/graph.mli (lurette/13_graph.mli 1.9 644))
  (source/graph.ml (lurette/14_graph.ml 1.7 644))
64

65
66
  (source/env.mli (lurette/15_env.mli 1.15 644))
  (source/env.ml (lurette/16_env.ml 1.29 644))
67

68
  (source/util.ml (lurette/35_util.ml 1.26 644))
69

70
  (source/solver.mli (lurette/38_solver.mli 1.13 644))
71
  (source/solver.ml (lurette/39_solver.ml 1.28 644))
72

73
74
  (source/rnumsolver.mli (lurette/b/26_rnumsolver 1.5 644))
  (source/rnumsolver.ml (lurette/b/27_rnumsolver 1.8 644))
75

76
  (source/parse_env.mli (lurette/40_parse_env. 1.9 644))
77
  (source/parse_env.ml (lurette/41_parse_env. 1.28 644))
78

79
  (source/show_env.mli (lurette/42_show_env.m 1.7 644))
80
  (source/show_env.ml (lurette/43_show_env.m 1.12 644))
81

82
83
  (source/formula.mli (lurette/44_formula.ml 1.17 644))
  (source/formula.ml (lurette/45_formula.ml 1.20 644))
84

85
86
  (source/print.mli (lurette/46_print.mli 1.11 644))
  (source/print.ml (lurette/47_print.ml 1.19 644))
87

88
89
  (source/eval.mli (lurette/48_eval.mli 1.10 644))
  (source/eval.ml (lurette/49_eval.ml 1.13 644))
90

91
92
  (source/env_state.mli (lurette/50_env_state. 1.24 644))
  (source/env_state.ml (lurette/51_env_state. 1.29 644))
93

94
  (source/automata.mli (lurette/b/46_automata.m 1.2 644))
95
  (source/automata.ml (lurette/b/47_automata.m 1.4 644))
96

97
  (source/sim2chro.mli (lurette/b/23_sim2chro.m 1.5 644))
98
  (source/sim2chro.ml (lurette/b/24_sim2chro.m 1.13 644))
99

100
101
  (source/gne.mli (lurette/b/36_gne.mli 1.3 644))
  (source/gne.ml (lurette/b/37_gne.ml 1.3 644))
102

103
  (source/lurettetop.ml (lurette/c/1_lurettetop 1.10 644))
104
  (source/gen_stubs.ml (lurette/24_generate_l 1.35 644))
105

106
  (source/control.mli (lurette/c/3_control.ml 1.2 644))
107
  (source/control.ml (lurette/c/4_control.ml 1.3 644))
108

109
110
111
  (source/constraint.mli (lurette/c/18_constraint 1.1 644))
  (source/constraint.ml (lurette/c/19_constraint 1.1 644))

112
; little script that sets env vars and starts the lurette build
113
  (make_lurette (lurette/27_make_luret 1.16 755))
114
115

;; Make files
116
  (OcamlMakefile (lurette/17_OcamlMakef 1.41 644))
117
  (Makefile.lurette (lurette/b/38_Makefile.l 1.11 644))
118
  (myrules (lurette/c/14_myrules 1.5 644))
119

120
121
  (bin/Makefile.show_ima (lurette/b/40_Makefile.s 1.4 644))
  (bin/Makefile.ima_exe (lurette/b/41_Makefile.i 1.3 644))
122
  (bin/Makefile.gen_stubs (lurette/b/42_Makefile.g 1.2 644))
123
  (bin/Makefile.lurette_lib (lurette/c/2_Makefile.l 1.3 644))
124
125
126
127

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

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

140
141
  (test/time.exp (lurette/b/48_time.exp 1.5 644))
  (test/time.res (lurette/b/49_time.res 1.8 644))
142

143
;; Various files used for testing purposes
144
145
146
147
148
149
  (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))
150

151
152
  (test/ControleurPorte.h (lurette/b/18_Controleur 1.1 644))
  (test/ControleurPorte.c (lurette/b/19_Controleur 1.1 644))
153

154
155
156
  (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))
157
  (test/tram_simple.h (lurette/b/25_tram_simpl 1.1 644))
158

159
  (test/heater_int.rif.exp (lurette/b/28_heater_int 1.6 644))
160
  (test/ControleurPorte.rif.exp (lurette/b/29_Controleur 1.9 644))
161
  (test/heater_float.rif.exp (lurette/b/30_heater_flo 1.7 644))
162
163
164
  (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))
165

166
  (test/Makefile (lurette/c/0_Makefile 1.4 644))
167

168
;; xlurette
169
  (ihm/xlurette/xlurette_glade_main.ml (lurette/c/12_xlurette_g 1.6 644))
170
171
  (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))
172
173
  (ihm/xlurette/makefile (lurette/c/16_makefile 1.1 644))

174
175
176
177
178

;; 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))
179
  (test/giro/giro.ima (lurette/c/6_giro.ima 1.2 644))
180
181
182
183
184
185
186
187
  (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))
188
  (demo/chaudiere/chaudiere.ima (lurette/c/11_chaudiere. 1.5 644))
189
190


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

194
  (test/ControleurPorte.lus (lurette/c/17_Controleur 1.1 644))
195

196
197
198
)
(Merge-Parents)
(New-Merge-Parents)