lurette.prj 4.67 KB
Newer Older
1
2
;; -*- Prcs -*-
(Created-By-Prcs-Version 1 3 3)
3
(Project-Description "Lurette")
4
5
(Project-Version lurette 0 23)
(Parent-Version lurette 0 22)
6
(Version-Log "
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
Add a bdd-based boolean solver to draw inside formula. 

Also remove several module opening and use explicit module
qualification instead

lurette.ml:
env_state.ml:
    Define a function in env.ml to get the list of input and outputs var names
    and use it in lurette.ml

env_state.ml:
    Add several fields to the env_state structure: 
    * node_to_file_name: to be able to retrieve the list of vars that
      ougth to be generated from a list of nodes (Indeed, some vars
      that should be tossed up do no necessarily appear in formula; and
      once the whole bdd has been traversed for the draw, we need to be able 
      to know what variable are still to be drawn).
    * var_name_to_index and index_to_var_name: to index output and local
      variable names. Indeed, the bdd library we use manipulates var as int,
      not string.  
    * bdd_tbl: be cause transforming a formula into a bdd is expensive, 
      we store the result of this transformation in a table. 

    Define the var_names field as an Hashtbl instead of a list for homogeneity.

    Define functions that retrieve the list of input (resp output and local)
    vars from env_state to avois code duplication.

env.ml:
    Initialize the new fields of env_state.

util.ml:
util.mli:
    Add a new function that computes the intersection of 2 lists.

solver.ml:
    Implement a real boolean solver using bdds.

")
46
(New-Version-Log "")
47
(Checkin-Time "Thu, 24 Jan 2002 15:14:37 +0100")
48
49
50
51
52
(Checkin-Login jahier)
(Populate-Ignore ())
(Project-Keywords)
(Files

53
54
55

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

56

57
;; Sources files
58
  (source/lurette.mli (lurette/11_lurette.ml 1.9 644))
59
  (source/lurette.ml (lurette/12_lurette.ml 1.13 644))
60

61
  (source/graph.mli (lurette/13_graph.mli 1.3 644))
62
  (source/graph.ml (lurette/14_graph.ml 1.2 644))
63

64
  (source/env.mli (lurette/15_env.mli 1.7 644))
65
  (source/env.ml (lurette/16_env.ml 1.11 644))
66

67
  (source/util.ml (lurette/35_util.ml 1.6 644))
68

69
70
  (source/solver.mli (lurette/38_solver.mli 1.4 644))
  (source/solver.ml (lurette/39_solver.ml 1.4 644))
71

72
73
  (source/parse_env.mli (lurette/40_parse_env. 1.3 644))
  (source/parse_env.ml (lurette/41_parse_env. 1.3 644))
74

75
  (source/show_env.mli (lurette/42_show_env.m 1.2 644))
76
77
  (source/show_env.ml (lurette/43_show_env.m 1.1 644))

78
79
  (source/formula.mli (lurette/44_formula.ml 1.3 644))
  (source/formula.ml (lurette/45_formula.ml 1.3 644))
80

81
82
  (source/print.mli (lurette/46_print.mli 1.2 644))
  (source/print.ml (lurette/47_print.ml 1.3 644))
83

84
  (source/eval.mli (lurette/48_eval.mli 1.3 644))
85
  (source/eval.ml (lurette/49_eval.ml 1.2 644))
86

87
88
  (source/env_state.mli (lurette/50_env_state. 1.4 644))
  (source/env_state.ml (lurette/51_env_state. 1.4 644))
89

90
  (source/wtree.mli (lurette/b/0_wtree.mli 1.3 644))
91
  (source/wtree.ml (lurette/b/1_wtree.ml 1.4 644))
92

93
  (source/gen_stubs.ml (lurette/24_generate_l 1.13 644))
94
95

;; Make files
96
97
  (OcamlMakefile (lurette/17_OcamlMakef 1.9 644))
  (Makefile (lurette/18_Makefile 1.14 644))
98
  (test/Makefile (../Makefile) :symlink)
99
  (interface/Makefile (lurette/25_Makefile 1.6 644))
100
  (make_lurette (lurette/27_make_luret 1.5 744))
101
102
103
104
105


;; Documentation
  (doc/Interface_draft (lurette/19_Interface_ 1.1 644))
  (doc/archi.fig (lurette/20_archi.fig 1.1 644))
106
107
  (doc/synthese (lurette/b/2_synthese 1.1 644))
  (doc/automata_format (lurette/b/3_automata_f 1.1 644))
108
109
  (doc/ocamldoc.sty (lurette/b/12_ocamldoc.s 1.1 644))
  (doc/ocamldoc.hva (lurette/b/13_ocamldoc.h 1.1 644))
110
111

;; Misc
112
  (README (lurette/10_README 1.2 644))  
113
  (ID_EN_VRAC (lurette/0_ID_EN_VRAC 1.1 644))
114
115
  (lurette.dep.dot (lurette/b/4_lurette.de 1.2 644))
  (lurette.depfull.dot (lurette/b/5_lurette.de 1.2 644))
116
  (TAGS (lurette/21_TAGS 1.6 644))
117
  (interface/TAGS (lurette/26_TAGS 1.3 644))
118

119
120
;; Various files used for testing purposes

121
122
123
  (test/vrai.lus (lurette/28_vrai.lus 1.1 644))
  (test/vrai.c (lurette/30_vrai.c 1.1 644))
  (test/vrai.h (lurette/31_vrai.h 1.1 644))
124

125
126
  (test/edge.c (lurette/32_edge.c 1.1 640))
  (test/edge.h (lurette/33_edge.h 1.1 640))
127

128
  (interface/sut_idl_stub.ml (lurette/34_sut_idl_st 1.1 644))
129

130
131
132
133
134
  (test/tram_simple.h (lurette/36_tram_simpl 1.1 644))
  (test/tram_simple.c (lurette/37_tram_simpl 1.1 644))
  (test/vrai_tram.lus (lurette/b/6_vrai_tram. 1.1 644))
  (test/vrai_tram.h (lurette/b/7_vrai_tram. 1.1 644))
  (test/vrai_tram.c (lurette/b/8_vrai_tram. 1.1 644))
135
136
137
  (test/tram_env_usager.env (lurette/b/9_tram_env_u 1.2 644))
  (test/tram_env_tramway.env (lurette/b/10_tram_env_t 1.2 644))
  (test/tram_env_porte.env (lurette/b/11_tram_env_p 1.2 644))
138
139
140
)
(Merge-Parents)
(New-Merge-Parents)