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 7.08 KB
Newer Older
1
2
;; -*- Prcs -*-
(Created-By-Prcs-Version 1 3 3)
3
(Project-Description "Lurette")
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
(Project-Version lurette 0 69)
(Parent-Version lurette 0 68)
(Version-Log " 

wtree.ml,mli:   (deleted)
automa.ml,mli:  (new files)
control.ml,mli: (new files)

   Replace the [wtree] module by an [automata] module, that basically
   does the same job, but in a different way. Namely, it no more uses
   the [wtree] DS to use [graph]s instead.  Indeed, the product of
   wtrees introduces some problems, in particular to ensure its
   correctness wrt to the automata run concurrently. Now, everything a
   dead-simple wrt product: we simply perform a quasi-classical automata
   product (well, at least, much closer from a classical product, cf
   paper).


   The way loop counters are handled has also changed. Now, counters are
   handled via expressions of a simple arithmetic language that
   basically lets one initialise a variable to an exact or a random
   value (uniform or normal draw) and decrement it. Arcs are now
   labelled by a formula plus 2 expressions of that mini-language (no
   more weigth nor cpt_init stuff). The 1st expression is evaluated
   during the draw, basically performs any operations on counters, and
   returns a positive int that is used as the formula weigth. The second
   expression (a kind of post-condition) is evaluated if its arc is the
   one that has been elected to perform the step.


At several locations long lines (< 80) are reindented.

parse_env.ml:
   In the ima format, IfThenElseExpr becomes IfThenElseNum.
   Also, parse list more cleanly.

graph.ml,mli:
    Add a function that test whether a transition is in the graph.

    Do not sort list of transitions anymore (what was the point?).
    Also do not sort nodes in any way.   



show_env_env.ml,mli:
   Abstract away nodes and arcs data types (so that I can display
   Automata graphs). rename generate_env_graph into ima_to_dot.

lurette.ml:
ima_exe.ml:
   Fix a bug where bbd table were filled by asserted non regression expr.

lurette.ml:
   Fix a bug where incorrect data was sent to sim2chro (ie, the output of the 
   previous step instead of the ones of the current step.   

env_state.ml:
solver.ml:
gne.ml:
   Fix a performance bug where I was storing formula indexes even if
   they were depending on inputs or pre, which is stupid as they generally
   won't be used again. In order to fix that, I introduced  new
   atomic_formula <-> indexes table to stote the ones that do not depend
   on inputs apart. It was also necassery to propogate the <<depend on pre>>
   flag inside Gne.gn_expr (which i renamed Gne.t BTW).
69
70


71
")
72
(New-Version-Log "")
73
(Checkin-Time "Fri, 19 Jul 2002 10:19:59 +0200")
74
75
76
77
78
(Checkin-Login jahier)
(Populate-Ignore ())
(Project-Keywords)
(Files

79
80
81

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

82

83
84
;; Sources files for ima_exe
  (source/ima_exe.mli (lurette/b/31_ima_exe.ml 1.1 644))
85
  (source/ima_exe.ml (lurette/b/32_ima_exe.ml 1.13 644))
86

87
88
  (source/command_line_ima_exe.ml (lurette/b/33_command_li 1.4 644))
  (source/command_line_ima_exe.mli (lurette/b/34_command_li 1.3 644))
89
90

;; Sources files for lurette only
91
  (source/lurette.mli (lurette/11_lurette.ml 1.12 644))
92
  (source/lurette.ml (lurette/12_lurette.ml 1.40 644))
93

94
  (source/command_line.ml (lurette/b/20_command_li 1.7 644))
95
  (source/command_line.mli (lurette/b/21_command_li 1.6 644))
96
97

;; Sources files common to lurette and ima_exe
98
99
  (source/graph.mli (lurette/13_graph.mli 1.9 644))
  (source/graph.ml (lurette/14_graph.ml 1.7 644))
100

101
102
  (source/env.mli (lurette/15_env.mli 1.14 644))
  (source/env.ml (lurette/16_env.ml 1.28 644))
103

104
  (source/util.ml (lurette/35_util.ml 1.21 644))
105

106
107
  (source/solver.mli (lurette/38_solver.mli 1.12 644))
  (source/solver.ml (lurette/39_solver.ml 1.23 644))
108

109
  (source/rnumsolver.mli (lurette/b/26_rnumsolver 1.3 644))
110
  (source/rnumsolver.ml (lurette/b/27_rnumsolver 1.6 644))
111

112
113
  (source/parse_env.mli (lurette/40_parse_env. 1.9 644))
  (source/parse_env.ml (lurette/41_parse_env. 1.20 644))
114

115
116
  (source/show_env.mli (lurette/42_show_env.m 1.7 644))
  (source/show_env.ml (lurette/43_show_env.m 1.10 644))
117

118
119
  (source/formula.mli (lurette/44_formula.ml 1.14 644))
  (source/formula.ml (lurette/45_formula.ml 1.16 644))
120

121
122
  (source/print.mli (lurette/46_print.mli 1.10 644))
  (source/print.ml (lurette/47_print.ml 1.17 644))
123

124
125
  (source/eval.mli (lurette/48_eval.mli 1.10 644))
  (source/eval.ml (lurette/49_eval.ml 1.13 644))
126

127
128
  (source/env_state.mli (lurette/50_env_state. 1.20 644))
  (source/env_state.ml (lurette/51_env_state. 1.23 644))
129

130
131
  (source/automata.mli (lurette/b/46_automata.m 1.1 644))
  (source/automata.ml (lurette/b/47_automata.m 1.1 644))
132

133
  (source/sim2chro.mli (lurette/b/23_sim2chro.m 1.4 644))
134
  (source/sim2chro.ml (lurette/b/24_sim2chro.m 1.8 644))
135

136
137
  (source/gne.mli (lurette/b/36_gne.mli 1.2 644))
  (source/gne.ml (lurette/b/37_gne.ml 1.2 644))
138

139
  (source/gen_stubs.ml (lurette/24_generate_l 1.26 644))
140
141

; little script that sets env vars and starts the lurette build
142
  (make_lurette (lurette/27_make_luret 1.13 744))
143
144

;; Make files
145
146
  (OcamlMakefile (lurette/17_OcamlMakef 1.30 644))
  (Makefile.lurette (lurette/b/38_Makefile.l 1.4 644))
147

148
149
  (bin/Makefile.show_ima (lurette/b/40_Makefile.s 1.4 644))
  (bin/Makefile.ima_exe (lurette/b/41_Makefile.i 1.3 644))
150
  (bin/Makefile.gen_stubs (lurette/b/42_Makefile.g 1.1 644))
151
152
153
154

;; Documentation
  (doc/Interface_draft (lurette/19_Interface_ 1.1 644))
  (doc/archi.fig (lurette/20_archi.fig 1.1 644))
155
156
  (doc/synthese (lurette/b/2_synthese 1.1 644))
  (doc/automata_format (lurette/b/3_automata_f 1.1 644))
157
158
  (doc/ocamldoc.sty (lurette/b/12_ocamldoc.s 1.1 644))
  (doc/ocamldoc.hva (lurette/b/13_ocamldoc.h 1.1 644))
159
160

;; Misc
161
  (README (lurette/10_README 1.2 644))  
162
  (ID_EN_VRAC (lurette/0_ID_EN_VRAC 1.1 644))
163
164
  (lurette.dep.dot (lurette/b/4_lurette.de 1.2 644))
  (lurette.depfull.dot (lurette/b/5_lurette.de 1.2 644))
165
  (TAGS (lurette/21_TAGS 1.6 644))
166

167
168
169
  (test/time.exp (lurette/b/48_time.exp 1.1 644))
  (test/time.res (lurette/b/49_time.res 1.1 644))

170
;; Various files used for testing purposes
171
172
173
174
175
176
  (test/usager.env (lurette/b/14_usager.env 1.8 644))
  (test/tram.env (lurette/b/15_tram.env 1.7 644))
  (test/porte.env (lurette/b/16_porte.env 1.7 644))
  (test/passerelle.env (lurette/b/17_passerelle 1.7 644))
  (test/temp_int.env (lurette/b/50_temp_int.e 1.1 644))
  (test/temp_float.env (lurette/b/51_temp_float 1.1 644))
177

178
179
  (test/ControleurPorte.h (lurette/b/18_Controleur 1.1 644))
  (test/ControleurPorte.c (lurette/b/19_Controleur 1.1 644))
180

181
182
183
  (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))
184
  (test/tram_simple.h (lurette/b/25_tram_simpl 1.1 644))
185

186
187
188
  (test/heater_int.rif.exp (lurette/b/28_heater_int 1.3 644))
  (test/ControleurPorte.rif.exp (lurette/b/29_Controleur 1.5 644))
  (test/heater_float.rif.exp (lurette/b/30_heater_flo 1.3 644))
189
190
191
  (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))
192

193
194
195
  (test/Makefile (lurette/c/0_Makefile 1.1 644))


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