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 2.33 KB
Newer Older
1
2
;; -*- Prcs -*-
(Created-By-Prcs-Version 1 3 3)
3
(Project-Description "Lurette")
4
5
6
7
8
9
(Project-Version lurette 0 10)
(Parent-Version lurette perso 6)
(Version-Log "
lurette.ml: 
        Removing dead code.
")
10
(New-Version-Log "")
11
(Checkin-Time "Mon, 19 Nov 2001 16:25:51 +0100")
12
13
14
15
16
(Checkin-Login jahier)
(Populate-Ignore ())
(Project-Keywords)
(Files

17
18
19

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

20

21
;; Sources files
22
23
  (lurette.mli (lurette/11_lurette.ml 1.3 644))
  (lurette.ml (lurette/12_lurette.ml 1.6 644))
24

25
26
  (graph.mli (lurette/13_graph.mli 1.2 644))
  (graph.ml (lurette/14_graph.ml 1.2 644))
27

28
29
  (env.mli (lurette/15_env.mli 1.3 644))
  (env.ml (lurette/16_env.ml 1.5 644))
30

31
  (interface/gen_stubs.ml (lurette/24_generate_l 1.6 644))
32
33

;; Make files
34
  (OcamlMakefile (lurette/17_OcamlMakef 1.2 644))
35
36
  (Makefile (lurette/18_Makefile 1.5 644))
  (interface/Makefile (lurette/25_Makefile 1.3 644))
37
  (make_lurette (lurette/27_make_luret 1.2 744))
38
39
40
41
42
43
44
45
46


;; Documentation
  (doc/Interface_draft (lurette/19_Interface_ 1.1 644))
  (doc/archi.fig (lurette/20_archi.fig 1.1 644))

;; Misc
  (README (lurette/10_README 1.1 644))  
  (ID_EN_VRAC (lurette/0_ID_EN_VRAC 1.1 644))
47
48
  (TAGS (lurette/21_TAGS 1.5 644))
  (interface/TAGS (lurette/26_TAGS 1.2 644))
49
  (test.aut (lurette/22_test.aut 1.1 644))
50

51
52
53
54
55
56
57
58
59
60
61
62
;; Various files used for testing purposes

  (vrai.lus (lurette/28_vrai.lus 1.1 644))
  (random_bool.aut (lurette/29_random_boo 1.1 644))
  (vrai.c (lurette/30_vrai.c 1.1 644))
  (vrai.h (lurette/31_vrai.h 1.1 644))
  (edge.c (../Lustre/edge.c) :symlink)
  (edge.h (interface/edge.h) :symlink)




63
64
65
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
; Lurette source files Version Mercury
  (Mercury/memory.m (lurette/3_memory.m 1.1 644))
66
  (Mercury/env.m (lurette/4_env_automa 1.5 640))
67
68
69
70
71
  (Mercury/lurette.m (lurette/5_lurette.m 1.5 644))
  (Mercury/Mmakefile (lurette/1_Mmakefile 1.3 640))

  (Mercury/test.aut (lurette/8_test2.aut 1.1 640))

72

73
; a Mercury module to display graph with dot (should not be in that .prj)
74
  (Mercury/dot.m (lurette/6_dot.m 1.2 644))
75
; A version of dot.m dedicated to display of lurette automata
76
  (Mercury/dot_automata.m (lurette/9_dot_automa 1.1 640))
77
78

; I have added graph__arc_content in the interface of this library module 
79
80
  (Mercury/graph.m (lurette/7_graph.m 1.1 644))

81
82
83
)
(Merge-Parents)
(New-Merge-Parents)