lurette.prj 4.9 KB
Newer Older
1
2
;; -*- Prcs -*-
(Created-By-Prcs-Version 1 3 3)
3
(Project-Description "Lurette")
4
5
(Project-Version lurette 0 72)
(Parent-Version lurette 0 71)
6
(Version-Log "
7
8
9
10
sim2cro.ml:
   switch inputs and output in the sim2chro display. The rational
   is that local vars, are closer from ima outputs than sut ones.
   and should then be displayed close to them.
11

12
13
gen_stubs.ml:
   indent generated code better.
14

15
")
16
(New-Version-Log "")
17
(Checkin-Time "Tue, 23 Jul 2002 16:58:52 +0200")
18
19
20
21
22
(Checkin-Login jahier)
(Populate-Ignore ())
(Project-Keywords)
(Files

23
24
25

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

26

27
28
;; Sources files for ima_exe
  (source/ima_exe.mli (lurette/b/31_ima_exe.ml 1.1 644))
29
  (source/ima_exe.ml (lurette/b/32_ima_exe.ml 1.15 644))
30

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

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

38
  (source/command_line.ml (lurette/b/20_command_li 1.7 644))
39
  (source/command_line.mli (lurette/b/21_command_li 1.6 644))
40
41

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

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

48
  (source/util.ml (lurette/35_util.ml 1.22 644))
49

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

53
  (source/rnumsolver.mli (lurette/b/26_rnumsolver 1.3 644))
54
  (source/rnumsolver.ml (lurette/b/27_rnumsolver 1.6 644))
55

56
57
  (source/parse_env.mli (lurette/40_parse_env. 1.9 644))
  (source/parse_env.ml (lurette/41_parse_env. 1.20 644))
58

59
  (source/show_env.mli (lurette/42_show_env.m 1.7 644))
60
  (source/show_env.ml (lurette/43_show_env.m 1.11 644))
61

62
63
  (source/formula.mli (lurette/44_formula.ml 1.14 644))
  (source/formula.ml (lurette/45_formula.ml 1.16 644))
64

65
66
  (source/print.mli (lurette/46_print.mli 1.10 644))
  (source/print.ml (lurette/47_print.ml 1.17 644))
67

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

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

74
75
  (source/automata.mli (lurette/b/46_automata.m 1.2 644))
  (source/automata.ml (lurette/b/47_automata.m 1.2 644))
76

77
  (source/sim2chro.mli (lurette/b/23_sim2chro.m 1.4 644))
78
  (source/sim2chro.ml (lurette/b/24_sim2chro.m 1.9 644))
79

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

83
  (source/gen_stubs.ml (lurette/24_generate_l 1.27 644))
84
85

; little script that sets env vars and starts the lurette build
86
  (make_lurette (lurette/27_make_luret 1.14 744))
87
88

;; Make files
89
  (OcamlMakefile (lurette/17_OcamlMakef 1.32 644))
90
  (Makefile.lurette (lurette/b/38_Makefile.l 1.4 644))
91

92
93
  (bin/Makefile.show_ima (lurette/b/40_Makefile.s 1.4 644))
  (bin/Makefile.ima_exe (lurette/b/41_Makefile.i 1.3 644))
94
  (bin/Makefile.gen_stubs (lurette/b/42_Makefile.g 1.1 644))
95
96
97
98

;; Documentation
  (doc/Interface_draft (lurette/19_Interface_ 1.1 644))
  (doc/archi.fig (lurette/20_archi.fig 1.1 644))
99
100
  (doc/synthese (lurette/b/2_synthese 1.1 644))
  (doc/automata_format (lurette/b/3_automata_f 1.1 644))
101
102
  (doc/ocamldoc.sty (lurette/b/12_ocamldoc.s 1.1 644))
  (doc/ocamldoc.hva (lurette/b/13_ocamldoc.h 1.1 644))
103
104

;; Misc
105
  (README (lurette/10_README 1.2 644))  
106
  (ID_EN_VRAC (lurette/0_ID_EN_VRAC 1.1 644))
107
108
  (lurette.dep.dot (lurette/b/4_lurette.de 1.2 644))
  (lurette.depfull.dot (lurette/b/5_lurette.de 1.2 644))
109
  (TAGS (lurette/21_TAGS 1.6 644))
110

111
  (test/time.exp (lurette/b/48_time.exp 1.1 644))
112
  (test/time.res (lurette/b/49_time.res 1.3 644))
113

114
;; Various files used for testing purposes
115
116
117
118
119
120
  (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))
121

122
123
  (test/ControleurPorte.h (lurette/b/18_Controleur 1.1 644))
  (test/ControleurPorte.c (lurette/b/19_Controleur 1.1 644))
124

125
126
127
  (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))
128
  (test/tram_simple.h (lurette/b/25_tram_simpl 1.1 644))
129

130
131
132
  (test/heater_int.rif.exp (lurette/b/28_heater_int 1.5 644))
  (test/ControleurPorte.rif.exp (lurette/b/29_Controleur 1.6 644))
  (test/heater_float.rif.exp (lurette/b/30_heater_flo 1.4 644))
133
134
135
  (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))
136

137
138
139
  (test/Makefile (lurette/c/0_Makefile 1.1 644))


140
141
142
)
(Merge-Parents)
(New-Merge-Parents)