lurette.prj 3.81 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
(Project-Version lurette 0 30)
(Parent-Version lurette 0 29)
(Version-Log " 

gen_stubs.ml: 
    Updates the stubs files (lurette_stub.ml, sut_stub.c,
    sut_idl_stub.idl, oracle_stub.c, oracle_idl_stub.idl) iff they have
    changed to avoid unnecessary recompilations.

Makefile:
    Minor cosmetic changes.

wtree.ml,mli:
env.ml:

    Also remove a loop in the dependencies that was confusing
    ocamldot (but how could it work before with that loop ?). To do that,
    pass Solver.is_satisfiable as a argument of Wtree.choose_n_formula so
    that Wtree does not depend on Solver anymore.

24
")
25
(New-Version-Log "")
26
(Checkin-Time "Tue, 12 Feb 2002 13:42:18 +0100")
27
28
29
30
31
(Checkin-Login jahier)
(Populate-Ignore ())
(Project-Keywords)
(Files

32
33
34

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

35

36
;; Sources files
37
  (source/lurette.mli (lurette/11_lurette.ml 1.10 644))
38
  (source/lurette.ml (lurette/12_lurette.ml 1.18 644))
39

40
41
  (source/graph.mli (lurette/13_graph.mli 1.4 644))
  (source/graph.ml (lurette/14_graph.ml 1.3 644))
42

43
  (source/env.mli (lurette/15_env.mli 1.8 644))
44
  (source/env.ml (lurette/16_env.ml 1.14 644))
45

46
  (source/util.ml (lurette/35_util.ml 1.7 644))
47

48
49
  (source/solver.mli (lurette/38_solver.mli 1.6 644))
  (source/solver.ml (lurette/39_solver.ml 1.7 644))
50

51
  (source/parse_env.mli (lurette/40_parse_env. 1.3 644))
52
  (source/parse_env.ml (lurette/41_parse_env. 1.4 644))
53

54
55
  (source/show_env.mli (lurette/42_show_env.m 1.3 644))
  (source/show_env.ml (lurette/43_show_env.m 1.2 644))
56

57
58
  (source/formula.mli (lurette/44_formula.ml 1.4 644))
  (source/formula.ml (lurette/45_formula.ml 1.5 644))
59

60
61
  (source/print.mli (lurette/46_print.mli 1.4 644))
  (source/print.ml (lurette/47_print.ml 1.5 644))
62

63
64
  (source/eval.mli (lurette/48_eval.mli 1.4 644))
  (source/eval.ml (lurette/49_eval.ml 1.4 644))
65

66
67
  (source/env_state.mli (lurette/50_env_state. 1.6 644))
  (source/env_state.ml (lurette/51_env_state. 1.7 644))
68

69
70
  (source/wtree.mli (lurette/b/0_wtree.mli 1.5 644))
  (source/wtree.ml (lurette/b/1_wtree.ml 1.7 644))
71

72
73
  (source/command_line.ml (lurette/b/20_command_li 1.2 644))
  (source/command_line.mli (lurette/b/21_command_li 1.2 644))
74

75
  (source/gen_stubs.ml (lurette/24_generate_l 1.15 644))
76
77

;; Make files
78
  (OcamlMakefile (lurette/17_OcamlMakef 1.14 644))
79
  (Makefile (lurette/18_Makefile 1.17 644))
80
  (test/Makefile (../Makefile) :symlink)
81
  (interface/Makefile (lurette/25_Makefile 1.6 644))
82
  (make_lurette (lurette/27_make_luret 1.7 744))
83
84
85
86
87


;; Documentation
  (doc/Interface_draft (lurette/19_Interface_ 1.1 644))
  (doc/archi.fig (lurette/20_archi.fig 1.1 644))
88
89
  (doc/synthese (lurette/b/2_synthese 1.1 644))
  (doc/automata_format (lurette/b/3_automata_f 1.1 644))
90
91
  (doc/ocamldoc.sty (lurette/b/12_ocamldoc.s 1.1 644))
  (doc/ocamldoc.hva (lurette/b/13_ocamldoc.h 1.1 644))
92
93

;; Misc
94
  (README (lurette/10_README 1.2 644))  
95
  (ID_EN_VRAC (lurette/0_ID_EN_VRAC 1.1 644))
96
97
  (lurette.dep.dot (lurette/b/4_lurette.de 1.2 644))
  (lurette.depfull.dot (lurette/b/5_lurette.de 1.2 644))
98
  (TAGS (lurette/21_TAGS 1.6 644))
99
  (interface/TAGS (lurette/26_TAGS 1.3 644))
100

101
102
;; Various files used for testing purposes

103
  (interface/sut_idl_stub.ml (lurette/34_sut_idl_st 1.1 644))
104

105
  (test/usager.env (lurette/b/14_usager.env 1.2 644))
106
107
108
  (test/tram.env (lurette/b/15_tram.env 1.1 644))
  (test/porte.env (lurette/b/16_porte.env 1.1 644))
  (test/passerelle.env (lurette/b/17_passerelle 1.1 644))
109

110
111
  (test/ControleurPorte.h (lurette/b/18_Controleur 1.1 644))
  (test/ControleurPorte.c (lurette/b/19_Controleur 1.1 644))
112

113
  (test/vrai_tram.lus (lurette/b/6_vrai_tram. 1.1 644))
114
115
116
  (test/vrai_tram.h (lurette/b/7_vrai_tram. 1.2 644))
  (test/vrai_tram.c (lurette/b/8_vrai_tram. 1.2 644))

117
  (test/lurette.rif.exp (lurette/b/22_lurette.ri 1.2 644))
118
119


120
121
122
)
(Merge-Parents)
(New-Merge-Parents)