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 4.57 KB
Newer Older
1
2
;; -*- Prcs -*-
(Created-By-Prcs-Version 1 3 3)
3
(Project-Description "Lurette")
4
5
(Project-Version lurette 0 68)
(Parent-Version lurette 0 67)
6
(Version-Log "
7
8
9
10
11
Add a verbose option in ima_exe.

Fix a bug in show_env.ml introduced in the previuos pci.

Add support to dynamically load another ima from ima_exe (will usefull for Ludic).
12
")
13
(New-Version-Log "")
14
(Checkin-Time "Fri, 17 May 2002 17:59:13 +0200")
15
16
17
18
19
(Checkin-Login jahier)
(Populate-Ignore ())
(Project-Keywords)
(Files

20
21
22

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

23

24
25
;; Sources files for ima_exe
  (source/ima_exe.mli (lurette/b/31_ima_exe.ml 1.1 644))
26
  (source/ima_exe.ml (lurette/b/32_ima_exe.ml 1.12 644))
27

28
29
  (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))
30
31

;; Sources files for lurette only
32
  (source/lurette.mli (lurette/11_lurette.ml 1.12 644))
33
  (source/lurette.ml (lurette/12_lurette.ml 1.39 644))
34

35
  (source/command_line.ml (lurette/b/20_command_li 1.7 644))
36
  (source/command_line.mli (lurette/b/21_command_li 1.6 644))
37
38

;; Sources files common to lurette and ima_exe
39
40
  (source/graph.mli (lurette/13_graph.mli 1.8 644))
  (source/graph.ml (lurette/14_graph.ml 1.6 644))
41

42
  (source/env.mli (lurette/15_env.mli 1.13 644))
43
  (source/env.ml (lurette/16_env.ml 1.27 644))
44

45
  (source/util.ml (lurette/35_util.ml 1.20 644))
46

47
  (source/solver.mli (lurette/38_solver.mli 1.11 644))
48
  (source/solver.ml (lurette/39_solver.ml 1.22 644))
49

50
  (source/rnumsolver.mli (lurette/b/26_rnumsolver 1.3 644))
51
  (source/rnumsolver.ml (lurette/b/27_rnumsolver 1.6 644))
52

53
  (source/parse_env.mli (lurette/40_parse_env. 1.8 644))
54
  (source/parse_env.ml (lurette/41_parse_env. 1.19 644))
55

56
  (source/show_env.mli (lurette/42_show_env.m 1.6 644))
57
  (source/show_env.ml (lurette/43_show_env.m 1.9 644))
58

59
60
  (source/formula.mli (lurette/44_formula.ml 1.13 644))
  (source/formula.ml (lurette/45_formula.ml 1.15 644))
61

62
63
  (source/print.mli (lurette/46_print.mli 1.9 644))
  (source/print.ml (lurette/47_print.ml 1.16 644))
64

65
66
  (source/eval.mli (lurette/48_eval.mli 1.9 644))
  (source/eval.ml (lurette/49_eval.ml 1.12 644))
67

68
69
  (source/env_state.mli (lurette/50_env_state. 1.19 644))
  (source/env_state.ml (lurette/51_env_state. 1.22 644))
70

71
72
  (source/wtree.mli (lurette/b/0_wtree.mli 1.11 644))
  (source/wtree.ml (lurette/b/1_wtree.ml 1.13 644))
73

74
  (source/sim2chro.mli (lurette/b/23_sim2chro.m 1.4 644))
75
  (source/sim2chro.ml (lurette/b/24_sim2chro.m 1.8 644))
76

77
78
79
  (source/gne.mli (lurette/b/36_gne.mli 1.1 644))
  (source/gne.ml (lurette/b/37_gne.ml 1.1 644))

80
  (source/gen_stubs.ml (lurette/24_generate_l 1.26 644))
81
82

; little script that sets env vars and starts the lurette build
83
  (make_lurette (lurette/27_make_luret 1.12 744))
84
85

;; Make files
86
  (OcamlMakefile (lurette/17_OcamlMakef 1.29 644))
87
  (Makefile.lurette (lurette/b/38_Makefile.l 1.3 644))
88

89
  (bin/Makefile.show_ima (lurette/b/40_Makefile.s 1.3 644))
90
  (bin/Makefile.ima_exe (lurette/b/41_Makefile.i 1.2 644))
91
  (bin/Makefile.gen_stubs (lurette/b/42_Makefile.g 1.1 644))
92
93
94
95

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

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

108
;; Various files used for testing purposes
109
110
111
112
  (test/usager.env (lurette/b/14_usager.env 1.7 644))
  (test/tram.env (lurette/b/15_tram.env 1.6 644))
  (test/porte.env (lurette/b/16_porte.env 1.6 644))
  (test/passerelle.env (lurette/b/17_passerelle 1.6 644))
113

114
115
  (test/ControleurPorte.h (lurette/b/18_Controleur 1.1 644))
  (test/ControleurPorte.c (lurette/b/19_Controleur 1.1 644))
116

117
  (test/vrai_tram.lus (lurette/b/6_vrai_tram. 1.1 644))
118
119
  (test/vrai_tram.h (lurette/b/7_vrai_tram. 1.2 644))
  (test/vrai_tram.c (lurette/b/8_vrai_tram. 1.2 644))
120
  (test/tram_simple.h (lurette/b/25_tram_simpl 1.1 644))
121

122
  (test/heater_int.rif.exp (lurette/b/28_heater_int 1.2 644))
123
  (test/ControleurPorte.rif.exp (lurette/b/29_Controleur 1.4 644))
124
  (test/heater_float.rif.exp (lurette/b/30_heater_flo 1.2 644))
125
126
127
  (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))
128

129
130
131
)
(Merge-Parents)
(New-Merge-Parents)